<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> SECOND 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 TheoremProving (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> - Katalin Bimbó (University of Alberta, Canada) (joint with TABLEAUX and ITP)</div><div> - Jasmin Blanchette (Inria and LORIA, Nancy, France) (joint with TABLEAUX and ITP)</div><div> - Cezary Kaliszyk (University of Innsbruck, Austria) (joint with TABLEAUX and ITP)</div><div> - Cesare Tinelli (University of Iowa, USA)</div><div> - Renata Wassermann (University of São Paulo, Brazil)</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>