Some recent events
Mahdi Benmoussa’s mid-PhD defense
Thursday, 8th of July 2015
- Specification and verification of real-time systems.
2nd French Singaporean Workshop in Formal Methods and Applications
May 2014, Singapore
- We take part in the organization of the second edition of FSFMA.
Kaïs Klaï’s habilitation defense
Monday 9th December 2013, LIPN
TRAN Khanh Dung’s PhD defense
Friday 20th September 2013, LIPN, B107
- Subject: Rigorous and formal approaches for modelling and designing service systems.
French Singaporean Workshop in Formal Methods and Applications
15–16th July 2013, Singapore
- We take part in the organization of the first edition of FSFMA.
Seminary by Li Li
21nd May 2013, 4pm
- Li Li, from the National University of Singapore, will give a talk on Specification and Symbolic Verification of an Electric Vehicle Charging Protocol.
Alfred Sanogo’s PhD defense
17th December 2012 at 2pm
- Alfred Sanogo will defend his Ph.D. "Methodology of conception of models expressed using Petri nets; Refinement of colored Petri nets". Room B107 at LIPN.
Formal Methods Symposium 2012
27-31 August 2012
Anna Dedova Ph.D. defense
July 9th 2012 at 2pm
- Anna Dedova Ph.D. defense: "Specification and Verification of the NEO Storage Distributed Protocol". In room B311.
MeFoSyLoMa seminary and CosyVerif Day
Friday March 23rd 2012 at LIPN
- MeFoSyLoMa seminary dedicated to the CosyVerif platform, of which several tools in the Specification and Verification axis are members.
CosyVerif Day
Friday March 23rd 2012 at LSV (ENS Cachan)
- Integration-party of the CosyVerif platform, of which several tools in the Specification and Verification axis are members.
Seminary by Hanen Ochi
Friday January 27th 2012 at 3pm30 at LIPN (room A304)
- Hanen Ochi, Ph.D. candidate at LIPN, will be giving a talk on Modular Verification of Inter-enterprise Business Processes.
Seminary by Jean-Claude Royer
Friday December 9th 2011 at 10.30am at LIPN
- Jean-Claude Royer, professor at École des Mines de Nantes, will be giving a talk on type controle in Web services with dynamic chanel discovery.
Mid-Ph.D. Defense of Alfred Sanogo
Friday December 9th 2011 at 1.30pm at LIPN
- Alfred Sanogo, Ph.D. candidate at LIPN, will be giving a talk on methodology of conception of models expressed using Petri nets.