Saint Petersburg State University
Office of Naval Research Global
Russian Foundation for Basic Research
Formal Methods Europe
EMC2
ARQA Technologies
Microsoft Research
Intel
SUPPORT
LDBC
MSEE
STI Innsbruck
Third International Andrei Ershov Memorial Conference
Fourth International Andrei Ershov Memorial Conference
Fifth International Andrei Ershov Memorial Conference
Sixth International Andrei Ershov Memorial Conference
Seventh International Andrei Ershov Memorial Conference
Eighth A.P. Ershov Informatics Conference
Ninth A.P. Ershov Informatics Conference
Tenth A.P. Ershov Informatics Conference
Eleventh A.P. Ershov Informatics Conference
Twelfth A.P. Ershov Informatics Conference
Development: xTech
© 2008-2024 IIS SB RAS
Webmaster
A.P. Ershov
Institute of Informatics Systems
Webmaster