[TYPES/announce] FroCoS 2013 Call for Participation

[Christophe Ringeissen]

		      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

QUICK REMINDER: Early registration closes on 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. 

 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. 

INVITED SPEAKERS

 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
 
IMPORTANT DATES 

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

REGISTRATION

For online registration, visit:
 http://frocos2013.loria.fr/registration.html

Early registration closes on July 31.

ORGANISATION

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

PROGRAM AND CONTACT

See http://frocos2013.loria.fr/