| 3 July, Monday |
| 09:30 - 10:00 |
Registration and Welcome |
| 10:00 - 11:15 |
M. Mukund (Parity Games) |
| 11:15 - 11:45 |
Tea Break |
| 11:45 - 13:00 |
N. Kumar (LTL and Expressive Completeness) |
| 13:00 - 14:30 |
Lunch Break |
| 14:30 - 15:45 |
A. Meyer (Infinite state verification) |
| 15:45 - 16:15 |
Tea Break |
| 16:15 - 17:15 |
P. Pandya (Timed Logics) |
|
| 4 July, Tuesday |
| 09:30 - 10:00 |
S. Basu (Rough Grammar) |
| 10:00 - 11:15 |
M. Mukund (Parity Games) |
| 11:15 - 11:45 |
Tea Break |
| 11:45 - 13:00 |
N. Kumar (LTL and Expressive Completeness) |
| 13:00 - 14:30 |
Lunch Break |
| 14:30 - 15:45 |
R. Ramanujam (Infinite state verification) |
| 15:45 - 16:15 |
Tea Break |
| 16:15 - 17:15 |
P. Pandya (Timed Logics) |
|
| 5 July, Wednesday |
| 09:30 - 10:00 |
S. Roy (Symbolic Verification) |
| 10:00 - 11:15 |
A. Seth (Quantitative Games) |
| 11:15 - 11:45 |
Tea Break |
| 11:45 - 13:00 |
N. Raja (Gödel's Theorem) |
| 13:00 - 14:30 |
Lunch Break |
| 14:30 - 15:45 |
K. Lodaya (Infinite state verification) |
| 15:45 - 16:15 |
Tea Break |
| 16:15 - 17:15 |
Discussion |
|
| 6
July, Thursday |
| 09:30 - 10:00 |
A. Nori (SYNERGY) |
| 10:00 - 11:15 |
A. Seth (Quantitative Games) |
| 11:15 - 11:45 |
Tea Break |
| 11:45 - 13:00 |
A. Meyer (Infinite state verification) |
| 13:00 - 14:30 |
Lunch Break |
| 14:30 - 15:30 |
Bharat Adsul (Parity Games) |
| 15:30 - 15:45 |
Discussion and Closing |
| 15:45 - 16:15 |
Tea |
|
Tutorials/Lectures
- Automata theoretic aspects of infinite state verification
Lecturers: Antoine Meyer, Kamal Lodaya and R. Ramanujam (IMSc)
4 lectures Lecture Slides (R.Ramanujam)
A. Meyer (Lecture 1 Lecture
2)
- Parity Games
Lecturers: Madhavan Mukund and Bharat Adsul (CMI)
3 lectures Lecture 1 slides Lecture 1 slides (handout) Lecture 2 slides Lecture 2 slides (handout)
- LTL and Expressive Completeness
Lecturers: Narayan Kumar (CMI)
2 lectures Lecture 1 slides Lecture
2 slides
- Quantitative and Stochastic Games
Lecturer: Anil Seth (IIT Kanpur)
2 lectures
- Expressiveness and Decidability in Timed Logics: Some Recent
Advances
Lecturer: Paritosh Pandya (TIFR)
2 lectures Lecture slides
Gödel Centenary Lecture
An Incomplete Recapitulation of Gödel's Theorem
Lecturer: N. Raja (TIFR)
Research/Experience Talks
- Sumita Basu (Lady Brabourne College, Kolkata): Rough Grammar and Rough Language
- Aditya Nori (Microsoft Research): SYNERGY: A New Algorithm for Property Checking
- Suman Roy (Honeywell): Symbolic Verification of Infinite Systems modeled
as CFSMs using a Finite Union of DFAs
|
| |
