Formal Methods Update 2006
Department of Computer Science & Engineering,
IIT Guwahati
3-6 July 2006

 Supported by

HomeProgramme ParticipantsPrevious UpdatesGetting to IITGRegistrationTravel SupportContact Us

 

Previous Update Meetings

  1. Models for Programs @ IMsc Sep 7--11, 1992.
  2. Timed Systems @ IMsc June 16--20 1997.
  3. Automata and Verification @ IMsc 29 Feb - 2 Mar, 2004.
  4. Advances in Concurrency, Logic and Verification @ IIT Bombay 18-22, July 2005.