Formal Methods Update 2007    April  12 - 15
 Department Of Computer Science and Engineering
Indian Institute of Technology Kanpur
 

 

Home
About Conference
Program
Speakers
Sponsors
Previous Meetings
Registration
Registered Participants
Contact

 

 
Formal Methods Update Meeting

The Formal Methods Update Meetings are intended as a forum for Indian researchers and students in theoretical computer science to update themselves on current trends and to explore new research areas. The nature of presentations is that of technical surveys and advanced tutorials.

The last meeting was held in IIT Guwahati. For details of previous update meetings  click here. This year the meeting will take place at IIT Kanpur. There are no specialized themes for the meeting this year, talks related to theoretical foundations of formal methods are welcome in all area.

Following is a non-exhaustive list of topics.

     1. Logical foundations of verification, transition systems, modeling
     2. First-order, monadic second order and temporal logics
     3. Automata theoretic methods for infinite objects
     4. Infinite Games
     5. Algorithms for checking properties of infinite structures
     6. Expressive power and decidability of formal languages
     7. Formal methods in software verification
     8. Static analysis of programs  

 

   L-A-T-E-S-T:
 

 Home | About Conference | Program | Speakers | Sponsors | Previous Meetings | Registration | Registered Participants | Contact

This site was last updated 04/10/07