I-Day

FME and CoLogNet are pleased to sponsor a special full-day meeting at FM 2003, devoted to formal methods and industry. The day will contain presentations by management level as well as discussions focused on industry issues.
Leading figures will take part from European industries that rely on the research, development and use of formal methods.

Topics for the day include the FM market, state of the art and future directions, the role of formal specifications and logics in phases of development including design and testing, technology transfer, suggested areas for academic research and tools development.

This event provides a unique opportunity for engineers and managers in industry to share experience, technology and concerns. It is also aimed squarely at all formal methods researchers wishing to keep in touch with the needs of practitioners.

I-Day Program

Call for Participation

Aims & Objectives of an FM Industry Association

Association Modalities

 

Contact

Please feel free, at any time, to contact:
 
Dines Bjørner
Computer Science and Engineering Informatics and Mathematical Modelling
Building 322, Richard Petersens Plads
Technical University of Denmark
DK-2800 Kgs.Lyngby, Denmark
Fax: +45 4593 0074
E-Mail: db@imm.dtu.dk,
URL: www.imm.dtu.dk/~db