<div dir="ltr"><div>          *** Apologies for multiple copies, please redistribute ***</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">                         </span>   </div><div>                        FIRST CALL FOR PAPERS</div><div><br></div><div>                                  FroCoS 2017</div><div>11th International Symposium on Frontiers of Combining Systems</div><div>                                 Brasilia, Brazil</div><div>                          September 25-29th, 2017</div><div>                      <a href="http://frocos2017.cic.unb.br">http://frocos2017.cic.unb.br</a></div><div><br></div><div><br></div><div>Submission Deadlines: 24th April 2017 (abstracts) </div><div>                                     28th April 2017 (full papers)</div><div><span class="gmail-Apple-tab-span" style="white-space:pre">            </span></div><div><br></div><div>GENERAL INFORMATION</div><div>  The 11th International Symposium on Frontiers of Combining Systems</div><div>  (FroCoS 2017) will be held in Brasilia, Brazil, between September 25 to</div><div>  September 29, 2017. Its main goal is to disseminate and promote</div><div>  progress in research areas related to the development of techniques</div><div>  for the integration, combination, and modularization of formal</div><div>  systems together with their analysis.</div><div><br></div><div>  FroCoS 2017 will be co-located with the 26th International</div><div>  Conference on Automated Reasoning with Analytic Tableaux and Related</div><div>  Methods (TABLEAUX 2017) and the 8th International Conference on</div><div>  Interactive Theorem­Proving (ITP 2017). The local organization of </div><div>  all events will be organised  by Claudia Nalon (USB, Brazil), </div><div>  Daniele Nantes (UnB, Brazil), Elaine Pimentel (UFRN, Brazil) and </div><div>  João Marcos (UFRN, Brazil). </div><div><br></div><div>SCOPE OF CONFERENCE </div><div>  In various areas of computer science, such as logic, computation,</div><div>  program development and verification, artificial intelligence,</div><div>  knowledge representation, and automated reasoning, there is an</div><div>  obvious need for using specialized formalisms and inference systems</div><div>  for selected tasks. To be usable in practice, these specialized</div><div>  systems must be combined with each other and integrated into general</div><div>  purpose systems. This has led---in many research areas---to the</div><div>  development of techniques and methods for the combination and</div><div>  integration of dedicated formal systems, as well as for their</div><div>  modularization and analysis.</div><div><br></div><div>  The International Symposium on Frontiers of Combining Systems</div><div>  (FroCoS) traditionally focusses on these types of research questions</div><div>  and activities. Like its predecessors, FroCoS 2017 seeks to offer a</div><div>  common forum for research in the general area of combination,</div><div>  modularization, and integration of systems, with emphasis on</div><div>  logic-based ones, and of their practical use.</div><div><br></div><div>  Typical topics of interest include (but are not limited to):</div><div>    * combinations of logics (such as higher-order, first-order,</div><div>      temporal, modal, description or other non-classical logics);</div><div>    * combination and integration methods in SAT and SMT solving;</div><div>    * combination of decision procedures, satisfiability</div><div>      procedures, constraint solving techniques, or logical </div><div>      frameworks;</div><div>    * combinations and modularity in ontologies;</div><div>    * integration of equational and other theories into deductive</div><div>      systems;</div><div>    * hybrid methods for deduction, resolution and constraint</div><div>      propagation;</div><div>    * hybrid systems in knowledge representation and natural</div><div>      language semantics;</div><div>    * combined logics for distributed and multi-agent systems;</div><div>    * logical aspects of combining and modularizing programs and</div><div>      specifications;</div><div>    * integration of data structures into constraint logic</div><div>      programming and deduction;</div><div>    * combinations and modularity in term rewriting;</div><div>    * applications of methods and techniques to the verification and</div><div>      analysis of information systems.</div><div><br></div><div>INVITED SPEAKERS</div><div>  [TO BE ANNOUNCED]</div><div><br></div><div>PUBLICATION DETAILS</div><div>  The proceedings of the symposium will be published in the</div><div>  Springer LNAI/LNCS series.</div><div><br></div><div>PAPER SUBMISSIONS</div><div>  The program committee seeks high-quality submissions describing</div><div>  original work, written in English, not overlapping with published or</div><div>  simultaneously submitted work to a journal or conference with</div><div>  archival proceedings. Selection criteria include accuracy and</div><div>  originality of ideas, clarity and significance of results, and</div><div>  quality of presentation. The page limit in Springer LNCS style is 16</div><div>  pages.</div><div><br></div><div>  Papers must be edited in LaTeX using the llncs style and must be</div><div>  submitted electronically as PDF files via the EasyChair system at</div><div>  the following address:</div><div> </div><div>        <a href="https://easychair.org/conferences/?conf=frocos2017">https://easychair.org/conferences/?conf=frocos2017</a></div><div><br></div><div>  For each accepted paper, at least one of the authors is required to</div><div>  attend the symposium and present the work. Prospective authors must</div><div>  register a title and an abstract five days before the paper</div><div>  submission deadline. Further information about paper submissions is</div><div>  available at the conference website that can be found at the</div><div>  beginning of this call for papers.</div><div><br></div><div>WORKSHOPS AND TUTORIALS</div><div>  Proposals for Workshops and Tutorial sessions have been solicited</div><div>  in a separate call, which can be found at</div><div>  <a href="http://frocos2017.cic.unb.br/#cfw">http://frocos2017.cic.unb.br/#cfw</a>. </div><div><br></div><div>IMPORTANT DATES </div><div>  24th April 2017: Abstract submission deadline</div><div>  28th April 2017: Full paper submission deadline</div><div>   9th June  2017: Author notification</div><div>  23rd June  2017: Camera-ready version due</div><div>  September 25-29, 2017: FroCoS Conference </div><div><br></div><div>PROGRAM COMMITTEE</div><div> Carlos Areces, FaMAF - Universidad Nacional de Córdoba<span class="gmail-Apple-tab-span" style="white-space:pre">      </span></div><div> Alessandro Artale, Free University of Bolzano-Bozen</div><div> Mauricio Ayala-Rincon, Universidade de Brasilia<span class="gmail-Apple-tab-span" style="white-space:pre">  </span></div><div> Franz Baader, TU Dresden<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Peter Baumgartner, National ICT Australia<span class="gmail-Apple-tab-span" style="white-space:pre">    </span></div><div> Christoph Benzmüller, Freie Universität Berlin<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Thomas<span class="gmail-Apple-tab-span" style="white-space:pre">       </span>Bolander, Technical University of Denmark<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Marcelo Coniglio, State University of Campinas<span class="gmail-Apple-tab-span" style="white-space:pre">       </span></div><div> Clare Dixon, University of Liverpool [co-chair]</div><div> François Fages, Inria Paris-Rocquencourt</div><div> Marcelo Finger, Universidade de Sao Paulo [co-chair]</div><div> Pascal Fontaine, LORIA, INRIA, University of Lorraine<span class="gmail-Apple-tab-span" style="white-space:pre"> </span></div><div> Didier Galmiche, LORIA, University of Lorraine </div><div> Vijay Ganesh, University of Waterloo<span class="gmail-Apple-tab-span" style="white-space:pre">        </span></div><div> Silvio Ghilardi, Università degli Studi di Milano<span class="gmail-Apple-tab-span" style="white-space:pre">   </span></div><div> Jürgen Giesl, RWTH Aachen<span class="gmail-Apple-tab-span" style="white-space:pre">   </span></div><div> Laura Giordano, Università del Piemonte Orientale<span class="gmail-Apple-tab-span" style="white-space:pre">   </span></div><div> Agi Kurucz, Kings College, London<span class="gmail-Apple-tab-span" style="white-space:pre">    </span></div><div> Till Mossakowski, Otto-von-Guericke-University Magdeburg<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Cláudia Nalon, University of Brasília<span class="gmail-Apple-tab-span" style="white-space:pre">      </span></div><div> Elaine Pimentel, Universidade Federal do Rio Grande do Norte <span class="gmail-Apple-tab-span" style="white-space:pre">        </span></div><div> Silvio Ranise, Fondazione Bruno Kessler-Irst<span class="gmail-Apple-tab-span" style="white-space:pre"> </span></div><div> Christophe Ringeissen, LORIA-INRIA</div><div> Uli Sattler, University of Manchester<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Roberto Sebastiani, University of Trento<span class="gmail-Apple-tab-span" style="white-space:pre">     </span></div><div> Guillermo Simari, Universidad Nacional del Sur in Bahia Blanca<span class="gmail-Apple-tab-span" style="white-space:pre">       </span></div><div> Viorica Sofronie-Stokkermans, University Koblenz-Landau<span class="gmail-Apple-tab-span" style="white-space:pre">      </span></div><div> Andrzej Szalas, University of Warsaw</div><div> René Thiemann, University of Innsbruck<span class="gmail-Apple-tab-span" style="white-space:pre"> </span></div><div> Ashish<span class="gmail-Apple-tab-span" style="white-space:pre">       </span>Tiwari, SRI International</div><div> Christoph Weidenbach, Max Planck Institute for Informatics</div><div><br></div><div><br></div>-- <br><div class="gmail_signature"> Marcelo Finger<br> Departament of Computer Science, IME    <br> University of Sao Paulo<br> <a href="http://www.ime.usp.br/~mfinger" target="_blank">http://www.ime.usp.br/~mfinger</a></div>
</div>