*** Apologies for multiple copies ***
CALL FOR PARTICIPATION
ICFEM 2015
17th International Conference on Formal Engineering Methods
CNAM, Paris, France
November 3-6, 2015
http://icfem2015.lri.fr/
Since 1997, ICFEM has been serving as an international forum for researchers
and practitioners who have been seriously applying formal methods to practical
applications.
In recent years, ICFEM has taken place in Luxembourg (2014), Queenstown, New
Zealand (2013), Kyoto, Japan (2012), Durham, UK (2011), Shanghai, China (2010),
and Rio de Janeiro, Brazil (2009). The 17th edition of ICFEM will take place in
CNAM, Paris during 3-5 November 2015.
The main event will be followed by the fourth International Workshop on Formal
Techniques for Safety-Critical Systems (FTSCS 2015) and the fifth International
Workshop SOFL+MSVL.
----------------------
REGISTRATION
----------------------
http://www.ocamlpro.com/events/icfem2015/registration.php
(Early registration deadline is October 5, 2015)
-----------------------------
INVITED SPEAKERS
-----------------------------
Ana Calvacanti, U. of York, UK
Can Java ever be Safe? The hiJaC Project
Sava Krstic, Intel Corporation, USA
Specification and Analysis of SoC Flows
Rupak Majumdar, MPI, Germany
Algorithmic Analysis for Asynchronous Programs
Invited speaker of the FTSCS Workshop :
José Meseguer (University of Illinois at Urbana Champaign)
-----------------------------
ACCEPTED PAPERS
-----------------------------
http://icfem2015.lri.fr/#accepted
-------------------
WORKSHOPS
-------------------
(held after the main conference on November 6, 2015)
WSOFL+MSL - Fifth International Workshop
FTSCS - Fourth International Workshop on formal Techniques for Safety-Critical
Systems
Details can be found at http://icfem2015.lri.fr
----------
VENUE
----------
ICFEM and the associated workshops will take place at CNAM in Paris.
------------------------
GENERAL CHAIR
------------------------
Fatiha Zaidi (University of Paris Sud, France)
---------------------------------------------------
PROGRAM COMMITTEE CO-CHAIRS
---------------------------------------------------
Michael Butler, University of Southampton, United Kingdom
Sylvain Conchon, University of Paris-Sud, France
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
