[TYPES/announce] FroCoS 2013 Last Call for Participation

Christophe Ringeissen Christophe.Ringeissen at loria.fr
Mon Aug 26 10:51:14 EDT 2013


[Apologies for multiple copies]

		   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 Types-announce mailing list