PSI'2011
A.P. Ershov Institute of Informatics Systems
A.P. Ershov Informatics Conference

June, 27 – July, 1, 2011, Novosibirsk, Akademgorodok, Russia


Error message

  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).
  • Notice: Undefined index: in _i18n_menu_link_title() (line 493 of /var/www/psi_7/sites/all/modules/i18n/i18n_menu/i18n_menu.module).

Steering Committee

Honorary Member:

Members:

  • Dines Bjørner
    Technical University of Denmark, Lyngby, Denmark
  • Manfred Broy
    Institut für Informatik, Technische Universität München, Germany
  • Victor Ivannikov
    Institute for System Programming RAS, Moscow, Russia
  • Bertrand Meyer
    ETH, Zürich, Switzerland, and Eiffel Software, Goleta, California, USA
  • Leonid Libkin
    University of Edinburgh, UK

 

Development: xTech

© 2008-2017 IIS SB RAS

WebmasterWebmaster