The Coq mailing list

[Pascal Fontaine <Pascal.Fontaine AT inria.fr>]

                     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, visithttp://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

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!