[TYPES/announce] FroCoS 2013 Final Call for Papers

Christophe Ringeissen Christophe.Ringeissen at loria.fr
Wed Mar 13 06:54:43 EDT 2013

[Apologies for multiple copies]


			   FroCoS 2013
 9th International Symposium on Frontiers of Combining Systems
			  Nancy, France
		      September 18-20, 2013

 Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper)

 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. 

 In various areas of computer science, such as logic, computation,
 program development and verification, artificial intelligence,
 knowledge representation, and automated reasoning, there is an
 obvious need for using specialized formalisms and inference
 mechanisms for special tasks. To be usable in practice, these
 specialized systems must be combined with each other, and must be
 integrated into general purpose systems. This has led in many
 research areas to 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. 

 The International Symposium on Frontiers of Combining Systems
 (FroCoS) traditionally focusses on these types of research
 questions and activities. Like its predecessors, FroCoS 2013
 seeks to offer a common forum for research in the general area
 of combination, modularization and integration of systems, with
 emphasis on logic-based ones, and of their practical use.

 Typical topics of interest include (but are not limited to): 
   * combinations of logics such as combined higher-order,
     first-order, temporal, modal, description or other
     non-classical logics;
   * combinations and modularity in ontologies; 
   * combination of decision procedures, of satisfiability
     procedures, of constraint solving techniques or of logical
   * combination and integration methods in SAT and SMT solving;
   * combinations and modularity in term rewriting; 
   * integration of equational and other theories into deductive
   * combination of deduction systems and computer algebra; 
   * integration of data structures into constraint logic
     programming and deduction; 
   * hybrid methods for deduction, resolution and constraint
   * hybrid systems in knowledge representation and natural
     language semantics; 
   * combined logics for distributed and multi-agent systems; 
   * logical aspects of combining and modularizing programs and 

 Stephane Demri       LSV, CNRS & ENS de Cachan 
     (joint invited talk with TABLEAUX 2013)
 Konstantin Korovin   The University of Manchester
 Joel Ouaknine        Oxford University
 Larry Paulson        University of Cambridge

 The proceedings of the conference will be published in the
 Springer LNAI/LNCS series.

 The program committee seeks high-quality submissions describing
 original work, written and to be presented in English, not
 substantially overlapping with published or simultaneously
 submitted work to a journal or conference with archival
 proceedings. Selection criteria include accuracy and originality
 of ideas, clarity and significance of results, and quality of
 presentation. The page limit in Springer LNCS style is 16 pages.

 Papers must be edited in LaTeX using the llncs style and must be 
 submitted electronically as PDF files via the EasyChair system:

 For each accepted paper, at least one author is required to
 attend the symposium to present the work. Prospective authors
 must register a title and an abstract a week before the paper
 submission deadline. Further information about paper submissions
 is available at the conference website.

 15 Apr 2013     Abstract submission
 22 Apr 2013     Paper submission
  6 Jun 2013     Notification of paper decisions
  4 Jul 2013     Camera-ready papers due
 18-20 Sep 2013  FroCoS Conference

 Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina
 Alessandro Artale, Free University of Bolzano-Bozen, Italy
 Franz Baader, TU Dresden, Germany
 Clark Barrett, New York University, USA
 Peter Baumgartner, National ICT Australia, Canberra, Australia
 Christoph Benzmueller, Free University Berlin, Germany
 Jasmin Christian Blanchette, TU Muenchen, Germany
 Thomas Bolander, Technical University of Denmark
 Clare Dixon, University of Liverpool, UK
 Francois Fages, INRIA Rocquencourt, France
 Pascal Fontaine, LORIA, INRIA, University of Lorraine, France
 Didier Galmiche, LORIA, University of Lorraine, France
 Vijay Ganesh, University of Waterloo, Canada
 Silvio Ghilardi, Universita degli Studi di Milano, Italy
 Guido Governatori, National ICT Australia, Queensland, Australia
 Bernhard Gramlich, Technische Universitaet Wien, Austria
 Katsumi Inoue, National Institute of Informatics, Japan
 Sava Krstic, Intel, USA
 Alessio Lomuscio, Imperial College London, UK
 Till Mossakowski, DFKI & University of Bremen, Germany
 Silvio Ranise, Fondazione Bruno Kessler, Italy
 Christophe Ringeissen, LORIA, INRIA, France
 Philipp Ruemmer, Uppsala University, Sweden
 Renate Schmidt, The University of Manchester, UK
 Roberto Sebastiani, DISI, University of Trento, Italy
 Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany
 Andrzej Szalas, Linkoepings Universitet, Sweden & University of Warsaw, 
 Rene Thiemann, University of Innsbruck, Austria
 Ashish Tiwari, SRI, USA
 Josef Urban, Radboud University, The Netherlands
 Christoph Weidenbach, Max-Planck-Institut fuer Informatik, Germany
 Frank Wolter, University of Liverpool, UK

 Christophe Ringeissen, LORIA, INRIA, France

 Pascal Fontaine, LORIA, INRIA, University of Lorraine, France
 Renate A. Schmidt, The University of Manchester, UK

More information about the Types-announce mailing list