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!
------------------------------------------------------------------------------
Learn the latest--Visual Studio 2012, SharePoint 2013, SQL 2012, more!
Discover the easy way to master current and previous Microsoft technologies
and advance your career. Get an incredible 1,500+ hours of step-by-step
tutorial videos with LearnDevNow. Subscribe today and save!
http://pubads.g.doubleclick.net/gampad/clk?id=58040911&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
