[SMT-LIB] REMINDER FROCOS 2013 DEADLINE

Pascal Fontaine Pascal.Fontaine at inria.fr
Wed Apr 10 15:30:08 EDT 2013


                          CALL FOR PAPERS

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

                    http://frocos2013.loria.fr/


QUICK REMINDER: The deadline for papers is 22 April (12 days from
  today) and the deadline for abstracts is 15 April (next Monday).


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.

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, 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
      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.

INVITED SPEAKERS:
  Stephane Demri       LSV, CNRS & ENS Cachan
      (joint invited talk with TABLEAUX 2013)
  Konstantin Korovin   The University of Manchester
  Joel Ouaknine        University of Oxford
  Lawrence C. Paulson  University of Cambridge

PUBLICATION DETAILS:
  The proceedings of the conference will be published in the
  Springer LNAI/LNCS 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. Excluded from this restriction are papers
  previously presented at workshops without formal proceedings or
  papers submitted to workshops without formal proceedings.
  Papers that have been submitted to other workshops should be
  marked as such. 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
  is available at the conference website. Formatting instructions
  and the LNCS style files can be obtained via
  http://www.springer.com/lncs.

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



More information about the SMT-LIB mailing list