Cérémonie des Doctorats Honoris Causa et Prix de thèse de Nancy-Université
Cérémonie des Doctorats Honoris Causa et Prix de thèse de Nancy-Université a eu lieu le 12 novembre..
learn more...2007 Isola Workshop On Leveraging Applications of Formal Methods, Verification and Validation
The workshop will took place at Poitiers from the 11th of december until the 14th. The special workshop theme is : Formal Methods in Avionics, Space and Transport..
learn more...Seminar Formal Modelling Methodologies, Techniques and Tools
The seminar about Formal Modelling Methodologies, Techniques and Tools will take place on the 6th of december in the Lecture Theatre A11 of Faculté des Sciences et Techniques .
learn more...Professor Dines Bjørner's is visiting us.
Professor Dines Bjørner is visiting us. He will stay in office B266.
VeriTLA+ Internship on Modeling and verifying SPL programs in TLA+
We are proposing an internship on Modeling and verifying SPL programs in TLA+.
learn more...Formal Methods 2006
FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS.
McMaster University
Hamilton, Ontario
Canada
August 21 - 27, 2006
Click'n'prove available
Dominique Cansell of MOSEL has contributed significantly to the design and development of the proactive interface for interacting with the interactive prover of Atelier B.
learn more...DIXIT available
The DIXIT toolkit for designing and analysing predicate diagrams is available for download.
learn more...Best paper award
Best paper award at ZB2005 for the paper
