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