[loginf] FroCoS 2013 Last Call for Participation

Renate Schmidt schmidt at cs.man.ac.uk
Tue Aug 27 17:09:57 CEST 2013


		   LAST CALL FOR PARTICIPATION

			    FroCoS 2013
 9th International Symposium on Frontiers of Combining Systems
			   Nancy, France
		       September 18-20, 2013

		    http://frocos2013.loria.fr/

		   Co-located with TABLEAUX 2013

NOTE: For online registration, visit
 http://frocos2013.loria.fr/registration.html 
 Please note the reduced fees for the joint registration
 FroCoS+TABLEAUX.

GENERAL INFORMATION

 The 9th International Symposium on Frontiers of Combining
 Systems will be held in Nancy, France, from 18-20 September
 2013. The aim of the conference is to publish and promote
 progress in research areas requiring the development of general
 techniques and methods for the combination and integration of
 special, formally defined systems, as well as for the analysis
 and modularization of complex systems. 

PROGRAMME

 The conferences features 4 invited talks and 20 contributed
 papers. The full programme is available at the conference
 website.

INVITED TALKS

 - Stephane Demri, New York University & LSV, CNRS
     Counter Systems: The Quest for Pushing the Decidability
     Borders (joint invited talk with TABLEAUX 2013)

 - Konstantin Korovin, The University of Manchester
     From Resolution and DPLL to Solving Arithmetic Constraints

 - Joel Ouaknine, University of Oxford
     Specification and Verification of Linear Dynamical Systems: 
     Advances and Challenges

 - Lawrence C. Paulson, University of Cambridge
     MetiTarski's Menagerie of Cooperating Systems

CO-LOCATED EVENT

 FroCoS 2013 will be co-located with the 22nd International
 Conference on Automated Reasoning with Analytic Tableaux and
 Related Methods (TABLEAUX 2013) held 16-19 September 2013. 
 Participation in the TABLEAUX sessions is open to FroCoS
 participants on the overlapping days. There is also an
 attractive option for joint registration to both FroCoS
 and TABLEAUX.

IMPORTANT DATES 

 16-19 Sep 2013  Tableaux Conference
 18-20 Sep 2013  FroCoS Conference

REGISTRATION

 For online registration, please visit:

   http://frocos2013.loria.fr/registration.html

 Please refer to the conference website for registration,
 accommodation and travel information.

ORGANIZATION

 - Pascal Fontaine (PC Co-Chair), 
     LORIA, INRIA, University of Lorraine, France
 - Christophe Ringeissen (Conference Chair), 
     LORIA, INRIA, France
 - Renate Schmidt (PC Co-Chair), 
     The University of Manchester, UK

 We look forward to seeing you in Nancy!




More information about the loginf mailing list