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