<div dir="ltr"><br>        *** Apologies for multiple copies ***<br><br>     --- Please, notice extended submission deadline ----<br>                   <br>             2nd CALL FOR PAPERS<br>                   <br>                            FroCoS 2015<br>    10th International Symposium on Frontiers of Combining Systems<br>               Wroclaw, Poland<br>            September 21-24, 2015<br><br>       Submission Deadlines: May 4, 2015 (abstracts) &<br>                         May 10, 2015 (full papers)<br>          <a href="http://frocos2015.ii.uni.wroc.pl/">http://frocos2015.ii.uni.wroc.pl/</a><br>                   <br><br>GENERAL INFORMATION<br>  The 10th International Symposium on Frontiers of Combining Systems<br>  (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to<br>  September 24, 2015. Its main goal is to disseminate and promote<br>  progress in research areas related to the development of techniques<br>  for the integration, combination, and modularization of formal<br>  systems together with their analysis.<br><br>  FroCos 2015 will be co-located with the 23rd International<br>  Conference on Automated Reasoning with Analytic Tableaux and Related<br>  Methods (TABLEAUX 2015) to be held also on September 21-24, 2015.<br>  The local organization of both events is handled by Hans de Nivelle.  <br><br>SCOPE OF CONFERENCE <br>  In various areas of computer science, such as logic, computation,<br>  program development and verification, artificial intelligence,<br>  knowledge representation, and automated reasoning, there is an<br>  obvious need for using specialized formalisms and inference systems<br>  for selected tasks. To be usable in practice, these specialized<br>  systems must be combined with each other and integrated into general<br>  purpose systems. This has led---in many research areas---to the<br>  development of techniques and methods for the combination and<br>  integration of dedicated formal systems, as well as for their<br>  modularization and analysis.<br><br>  The International Symposium on Frontiers of Combining Systems<br>  (FroCoS) traditionally focusses on these types of research questions<br>  and activities. Like its predecessors, FroCoS 2015 seeks to offer a<br>  common forum for research in the general area of combination,<br>  modularization, and integration of systems, with emphasis on<br>  logic-based ones, and of their practical use.<br><br>  Typical topics of interest include (but are not limited to):<br>    * combinations of logics (such as higher-order, first-order,<br>      temporal, modal, description or other non-classical logics);<br>    * combination and integration methods in SAT and SMT solving;<br>    * combination of decision procedures, satisfiability<br>      procedures, constraint solving techniques, or logical <br>      frameworks;<br>    * combinations and modularity in ontologies;<br>    * integration of equational and other theories into deductive<br>      systems;<br>    * hybrid methods for deduction, resolution and constraint<br>      propagation;<br>    * hybrid systems in knowledge representation and natural<br>      language semantics;<br>    * combined logics for distributed and multi-agent systems;<br>    * logical aspects of combining and modularizing programs and<br>      specifications;<br>    * integration of data structures into constraint logic<br>      programming and deduction;<br>    * combinations and modularity in term rewriting;<br>    * applications of methods and techniques to the verification and<br>      analysis of information systems.<br><br>INVITED SPEAKERS<br>  [TO BE ANNOUNCED]<br><br>PUBLICATION DETAILS<br>  The proceedings of the symposium will be published in the<br>  Springer LNAI/LNCS series.<br><br>PAPER SUBMISSIONS<br>  The program committee seeks high-quality submissions describing<br>  original work, written in English, not overlapping with published or<br>  simultaneously submitted work to a journal or conference with<br>  archival proceedings. Selection criteria include accuracy and<br>  originality of ideas, clarity and significance of results, and<br>  quality of presentation. The page limit in Springer LNCS style is 16<br>  pages.<br><br>  Papers must be edited in LaTeX using the llncs style and must be<br>  submitted electronically as PDF files via the EasyChair system at<br>  the following address:<br> <br>        <a href="https://easychair.org/conferences/?conf=frocos2015">https://easychair.org/conferences/?conf=frocos2015</a>.<br><br>  For each accepted paper, at least one of the authors is required to<br>  attend the symposium and present the work. Prospective authors must<br>  register a title and an abstract ten days before the paper<br>  submission deadline. Further information about paper submissions is<br>  available at the conference website that can be found at the<br>  beginning of this call for papers.<br><br>IMPORTANT DATES <br>  May 4, 2015: Abstract submission deadline<br>  May 10, 2015: Full paper submission deadline<br>  June 22, 2015: Author notification<br>  July 20, 2015: Camera-ready version due<br>  September 19-20, 2015: Workshop/Tutorials<br>  September 21-24, 2015: FroCoS Conference <br>  September    25, 2015: Workshop/Tutorials<br><br>PROGRAM COMMITTEE<br>  Alessandro Artale, Free University of Bolzano-Bozen<br>  Franz Baader, TU Dresden<br>  Clark Barrett, New York University<br>  Peter Baumgartner, National ICT Australia (NICTA)<br>  Christoph Benzmüller, Free University Berlin<br>  Thomas Bolander, Technical University of Denmark<br>  Torben Braüner, Roskilde University<br>  Sylvain Conchon, Université Paris-Sud<br>  Clare Dixon, University of Liverpool   <br>  François Fages, Inria Paris-Rocquencourt<br>  Pascal Fontaine, INRIA, LORIA, University of Lorraine<br>  Didier Galmiche, LORIA, University of Lorraine<br>  Silvio Ghilardi, Università degli Studi di Milano   <br>  Jürgen Giesl, RWTH Aachen<br>  Guido Governatori, National ICT Australia (NICTA)<br>  Roman Kontchakov, Birkbeck College London<br>  Carsten Lutz, University of Bremen [co-chair]<br>  Till Mossakowski, University of Magdeburg<br>  Silvio Ranise, Fondazione Bruno Kessler [co-chair]<br>  Christophe Ringeissen, INRIA, LORIA<br>  Renate A. Schmidt, University of Manchester<br>  Roberto Sebastiani, University of Trento<br>  Viorica Sofronie-Stokkermans,  University of Koblenz-Landau and MPI<br>  Andrzej Szałas, University of Warsaw<br>  René Thiemann, University of Innsbruck<br>  Cesare, Tinelli, The University of Iowa<br>  Luca Viganò, King's College London<br>  Christoph Weidenbach, Max Planck Institute for Informatics (MPI)<br><br>  <br><br></div>