[ecoop-info] ICFEM 2015 - Call for participation

[Announcements of FME events]

		*** 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





-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events