SB RAS Conference Information System

Reports summary for author: Anureev, Igor Sergeevich

1. Young scientiest conference - mol2000
   Novosibirsk, ICN SB RAS, 2000, Dec., 25-26
   • Anureev I.S. Automatic elimination of operations over data types defined by constructors (abstract in russian)

2. Conference devoted to the 90th anniversary of Alexei A. Lyapunov
   Akademgorodok, Novosibirsk, Russia, October 8-11, 2001, (state registration number 0320300064)
   • Anureev I.S. Specification language SIMPLE
   • Nepomniaschy V.A., Anureev I.S., Michailov I.N., Promsky A.V. Towards C programs verification. Language C-light.

3. Конференция молодых ученых по математике, математическому моделированию и информатике
   4-7 декабря 2001 года, Новосибирск, Академгородок
   • Anureev I.S. Application of verification methods developed in project SPECTRUM to optimum program of check of a list on cycling (abstract in russian)
   • Korovina M.V., Anureev I.S., Bodin E.V., Votintseva A.V. Specification and verification of complex systems (abstract in russian)

Summary: 5 reports at 3 conferences

Comments

© 1999-2000, Institute of Computational Techologies SB RAS, Novosibirsk
© 1999-2000, Siberian Branch of Russian Academy of Science, Novosibirsk
    Last modified: 14-Jul-2009 (18:15:53)