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 Jebelean Proving Termination Extracting the Induction Scheme Automatically

 

 

 

 

Monday, May 27

10:00 Tudor Jebelean Report preparation and organizational items

 

15:30 Tudor Jebelean Closing Remarks