Perspectives of Systems Informatics - Ershov Memorial Conference (PSI)

psi.nsc.ru

12th Ershov Informatics Conference 2019: Novosibirsk, Russia

11th Ershov Informatics Conference 2017: Moscow, Russia

10th Ershov Memorial Conference 2015: Kazan and Innopolis, Russia

9th Ershov Memorial Conference 2014: St. Petersburg, Russia

8th Ershov Memorial Conference 2011: Novosibirsk, Russia

7th Ershov Memorial Conference 2009: Novosibirsk, Russia

PSI 2009 Home Page

6th Ershov Memorial Conference 2006: Novosibirsk, Russia

5th Ershov Memorial Conference 2003: Novosibirsk, Russia

4th Ershov Memorial Conference 2001: Novosibirsk, Russia

3rd Ershov Memorial Conference 1999: Novosibirsk, Russia

2nd Ershov Memorial Conference 1996: Novosibirsk, Russia

Logic at Botik 1989: Pereslav-Zalessky, USSR

Formal Methods in Programming and Their Applications 1993: Novosibirsk, Russia

Algorithms in Modern Mathematics and Computer Science 1979: Urgench, Uzbek SSR

Methods of Algorithmic Language Implementation 1975: Novosibirsk, Russia

Theoretical Programming 1972: Novosibirsk, Russia

a service of Schloss Dagstuhl - Leibniz Center for Informatics