PROGRAM

 

of the Tbilisi meeting

May 26 – 27, 2009 

 

 

Sunday, May 26

 

10:00 Tudor Jebelean – Welcome and organizational items 

 

10:30 Tudor Jebelean – Project overview

 

11:00 Vladimir Zakharov – Parameterized Model Checking and Boolean Parameterization

 

12:00 Khimuri Rukhaia and Lali Tibua – Modified MtSR Theory

 

13:00 Jemal Antidze, Khimuri Rukhaia, David Mishelashvili, and Lali Tibua   Translation of Theorem Proving Text in MTSR to Natural Language Text

 

14:00 – 15:00    Lunch break

 

 

15:00 Nikolaj Popov – Completeness Conditions for Functional Programs

 

16:30 Tudor JebeleanProving Termination – Extracting the Induction Scheme Automatically

 

 

 

 

Monday, May 27

 

 

10:00 Tudor Jebelean – Report preparation and organizational items 

 

15:30 Tudor Jebelean – Closing Remarks