[SMT-LIB] FroCoS 2013 First Call for Papers

[Pascal Fontaine]

Apologies for multiple copies

                       FIRST CALL FOR PAPERS

                            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)
                    http://frocos2013.loria.fr/


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. A
   joint invited speaker and joint session is planned.

SCOPE OF CONFERENCE:
   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, or other non-classical logics;
     * combinations and modularity in ontologies;
     * combination of decision procedures, of satisfiability
       procedures, of constraint solving techniques or of logical
       frameworks;
     * combination and integration methods in SAT and SMT solving;
     * combinations and modularity in term rewriting;
     * integration of equational and other theories into deductive
       systems;
     * combination of deduction systems and computer algebra;
     * integration of data structures into constraint logic
       programming and deduction;
     * hybrid methods for deduction, resolution and constraint
       propagation;
     * 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
       specifications.

PUBLICATION DETAILS:
   It is planned that the proceedings of FroCoS 2013 will be published
   in the Springer LNCS/LNAI Series.

PAPER SUBMISSIONS
   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:
   https://www.easychair.org/conferences/?conf=frocos2013.

   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
   will be available at the conference website.

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

PROGRAM COMMITTEE
   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, Poland
   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

CONFERENCE CHAIR
   Christophe Ringeissen, LORIA, INRIA, France

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