|
Program |
||
|
Time |
Speaker |
Topic |
|
|
|
|
|
Thursday, 17th July 2008 |
||
|
9:00 - 9:30 |
Registration |
|
|
9:30 - 10:30 |
R. Ramanujam |
Some decidable fragments of first order logics |
|
10:30 - 11:30 |
Paritosh Pandya |
Kleene Algebra with Tests |
|
11:30 - 12:00 |
Tea Break |
|
|
12:00 - 13:00 |
Uday Khedkar |
Pointer Analysis |
|
13:00 - 14:30 |
Lunch |
|
|
14:30 - 15:30 |
N. Raja |
Survey of OS Verification |
|
15:30 - 16:00 |
Tea Break |
|
|
16:00 - 17:00 |
Shrawan Kumar |
Saturn |
|
|
|
|
|
Friday, 18th July 2008 |
||
|
9:30 - 10:30 |
R. K. Shyamasundar |
Correctness of Transformations underlying Refactoring |
|
10:30 - 11:30 |
Kamal Lodaya |
Doing automata theory over dense linear orders |
|
11:30 - 12:00 |
Tea Break |
|
|
12:00 - 13:00 |
Prahlad Sampath |
Survey of Compiler Verification |
|
13:00 - 14:30 |
Lunch |
|
|
14:30 - 15:30 |
Sujata Ghosh |
On Game Logics |
|
15:30 - 16:00 |
Tea Break |
|
|
16:00 - 17:00 |
Janardan Misra + Prahlad + Venky |
Formal Methods in the Industry |
|
|
|
|
|
Saturday, 19th July 2008 |
||
|
9:30 - 10:30 |
Madhavan M |
Software Transactional Memory |
|
10:30 - 11:30 |
Supratik Chakraborty |
Verification of Parameterized systems by regular model checking |
|
11:30 - 12:00 |
Tea Break |
|
|
12:00 - 13:00 |
S. P. Suresh |
Proof Theory for security protocols |
|
13:00 |
Lunch |
|
|
End Of Program |
||