Call for Papers

                     8th International Symposium on
                FRONTIERS OF COMBINING SYSTEMS (FroCoS'11)

               Saarbruecken, Germany, October 5 - 7, 2011 
            http://www.mpi-inf.mpg.de/conferences/frocos2011/

====================================================================
Deadline extension!

New dates:  

Abstract submission: May 2, 2011
Paper submission:    May 9, 2011 
Notification:        June 16, 2011
Final versions:      July 18, 2011 
=====================================================================

MOTIVATIONS 

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 lead
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 focuses on this type of research questions and activities and 
aims at promoting progress in the field. Like its predecessors, FroCoS'11 
seeks to offer a common forum for research activities in the general area 
of combination, modularization and integration of systems, with emphasis on
 logic-based ones, and of their practical use.  

RELEVANT TOPICS 

Typical topics of interest include (but are not limited to): 
* combinations of logics such as combined predicate, temporal, modal, or 
  epistemic logics;  
* combinations and modularity in ontologies; 
* combination of decision procedures, of satisfiability procedures, and of 
  constraint solving techniques;  
* 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

[To be announced] 

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. All submissions will be subject to academic peer review by
three or more members of the program committee. For each accepted paper, at
least one author is required to attend the symposium to present the work.
Papers must be edited in LaTeX using the llncs style and must be 
submitted electronically as PDF files via the EasyChair system:
http://www.easychair.org/conferences/?conf=frocos11. 
The page limit is 16 pages.
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below). Further information about
paper submissions is available at the FroCoS'11 web page.

PROCEEDINGS 

It is planned that the proceedings of FroCoS'11 will be published by 
Springer-Verlag in the LNAI/LNCS series. 

IMPORTANT DATES 

Abstract submission deadline:          May 2, 2011
Paper submission deadline:             May 9, 2011
Notification of acceptance decisions:  June 16, 2011
Camera-ready version of papers due:    July 18, 2011

CONFERENCE CHAIR

Viorica Sofronie-Stokkermans, MPI Informatik, Saarbruecken

PC CHAIR

Cesare Tinelli, The University of Iowa


PROGRAM COMMITTEE 


Franz Baader, T.U. Dresden, Germany 
Clark Barrett, New York University, USA
Peter Baumgartner, NICTA, Canberra, Australia 
Torben Brauener, Roskilde University, Denmark
Thom Fruehwirth, University of Ulm, Germany
Silvio Ghilardi, University of Milano, Italy
Juergen Giesl, RWTH Aachen, Germany
Valentin Goranko, Technical University of Denmark, Denmark
Bernhard Gramlich, T.U. Wien, Austria 
Sava Krstic, Intel Corporation, USA 
Carsten Lutz, University Bremen, Germany
Till Mossakowski, DFKI GmbH Bremen, Germany
Silvio Ranise, FBK-Irst, Italy 
Christophe Ringeissen, LORIA, Nancy, France
Philipp Ruemmer, Uppsala University, Sweden
Renate A. Schmidt, The University of Manchester, UK
Roberto Sebastiani, University of Trento, Italy
Viorica Sofronie-Stokkermans, MPI Informatik, Saarbruecken, Germany
Volker Sorge, University of Birmingham, UK
Cesare Tinelli, The University of Iowa, USA (PC chair)
Wolfgang Windsteiger, RISC, Johannes Kepler University Linz, Austria
Frank Wolter, University of Liverpool, UK