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 |
|