PROGRAM

of the Linz meeting

February 27 – 28, 2009

Friday, February 27

09:00 Tudor Jebelean – Welcome

10:00 Tudor Jebelean – Combining Automated Reasoning and Algebraic Methods in Theorema

10:45 Nikolaj Popov – Towards Verifying Wrongly Written Programs in Theorema

11:30 Madalina Erascu – Presentation

12:15 – 13:30 Lunch Break

13:30 Madalina Erascu – Presentation

14:15 Peter Bulychev – Game-theoretic approach to the simulation checking problem

15:00 Marius Minea – Presentation not yet available

16:00 Peret Bulychev – Duplicate code detection using anti-unification

17:00 Tudor Jebelean – Multi-Domain Logic and its Applications to SAT

19:00 – 22:00 Dinner

Saturday, February 28

09:00 Jemal Antidze – Translation of Theorem-Proving Text in MTSR to Natural Language Text

09:40 Alexander Lyaletski – EA and SAT: Past and Present

10:20 Stepan Potiyenko – Verification of Basic Protocol Systems

11:20 Oleksandr Letychevskyy – Application of Static Requirements Checking in Industrial Projects

12:30 – 14:00 Lunch break

14:00 Igor Konnov and Oleksandr Letychevskyy – Comparison of Spin and VRS on the model of Generic Attribute Registration Protocol Part I and Part II

15:00 Tudor Jebelean – Closing Remarks