Mosel Feed 2007-11-26T15:06:24Z Mosel webmaster http://www.loria.fr/equipes/mosel http://www.loria.fr/equipes/mosel/events/#news0 Best paper award 2006-02-28T14:28:38Z Best paper award at ZB2005 for the paper Refinement and Reachability in Event_B by J.-R. Abrial, D. Cansell, and D. Méry. http://www.loria.fr/equipes/mosel/events/#news1 DIXIT available 2006-02-28T14:27:25Z The DIXIT toolkit for designing and analysing predicate diagrams is available for download. http://www.loria.fr/equipes/mosel/events/#news2 Click'n'prove available 2006-02-28T14:27:30Z 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. http://www.loria.fr/equipes/mosel/events/#news3 Formal Methods 2006 2006-03-06T08:50:41Z FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS. McMaster University Hamilton, Ontario Canada August 21 - 27, 2006 http://www.loria.fr/equipes/mosel/events/#news4 VeriTLA+ Internship on Modeling and verifying SPL programs in TLA+ 2006-03-22T14:02:10Z We are proposing an internship on Modeling and verifying SPL programs in TLA+. http://www.loria.fr/equipes/mosel/events/#news5 Professor Dines Bjørner's is visiting us. 2007-10-31T18:09:09Z Professor Dines Bjørner is visiting us. He will stay in office B266. http://www.loria.fr/equipes/mosel/events/#news6 Kang PhD Defense 2007-10-31T18:00:57Z Eun-Young Kang will defense her PhD the 8th of november. http://www.loria.fr/equipes/mosel/events/#news7 Seminar Formal Modelling Methodologies, Techniques and Tools 2007-11-21T07:59:58Z 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 . http://www.loria.fr/equipes/mosel/events/#news8 2007 Isola Workshop On Leveraging Applications of Formal Methods, Verification and Validation 2007-11-21T07:53:51Z 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.. http://www.loria.fr/equipes/mosel/events/#news9 Cérémonie des Doctorats Honoris Causa et Prix de thèse de Nancy-Université 2007-11-26T15:05:17Z Cérémonie des Doctorats Honoris Causa et Prix de thèse de Nancy-Université a eu lieu le 12 novembre..