FM'99: World Congress on Formal Methods

20-24 September 1999

Toulouse, France

Sponsors:
  
ACM: Association for Computing Machinery,
AMAST: Algebraic Methods and Applications in Software Technology,
EATCS: European Association for Theoretical Computer Science,
ETAPS: European (Joint Conferences on) Theory and Practice of Software,
EU: European Union,
FME: Formal Methods Europe ,
IEEE CS: Institute of Electrical and Electronics Engineers -- Computer Society,
IFIP: International federation for Information Processing,
IPSJ: Information Processing Society of Japan,
JSSST: Japan Society for Software Science & Technology

• Congress
  
• Technical Symposium Call for Papers
  Technical Symposium Mini-track Call for Papers
  
• Tools Fair & Applications Forum
  
• Industrial Tutorials
  
• Users Group & Workshop Meetings
  

The FM'99 World Congress on Formal Methods (Techniques and Tools) in the Development of Computing Systems (Software and Hardware) is organised -- on behalf of the sponsors --by FME: Formal Methods Europe.