[Om-announce] FroCoS 2013: CALL FOR PARTICIPATION

[Renate Schmidt]

		     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: Early registration is until July 31. 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 will be available soon 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 

 31 Jul 2013     Early registration deadline
 16-19 Sep 2013  Tableaux Conference
 18-20 Sep 2013  FroCoS Conference

REGISTRATION

 For online registration, please visit:

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

 The early registration deadline is July 31. 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!