<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<span style="font-family: Menlo-Regular;" class="">CALL FOR PAPERS: FroCoS 2021</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">============================</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">The 13th International Symposium on Frontiers of Combining Systems FroCoS 2021</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">will be held in the University of Birmingham on September 6-9, 2021.</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">FroCoS is the main international event for research on the development of</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">techniques and methods for the combination and integration of formal systems,</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">their modularization and analysis. The first FroCoS symposium was held in</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Munich, Germany, in 1996. Initially held every two years, since 2004 it has</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">been organized annually with alternate years forming part of IJCAR.</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">FroCoS 2021 will be co-located with the 29th International Conference on</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021).</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Conference website</span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;">
</span><a href="https://frocos2021.github.io" style="font-family: Menlo-Regular;" class="">https://frocos2021.github.io</a><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Submission link</span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;">
</span><a href="https://easychair.org/conferences/?conf=frocos2021" style="font-family: Menlo-Regular;" class="">https://easychair.org/conferences/?conf=frocos2021</a><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Abstract registration deadline</span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;">
</span><span style="font-family: Menlo-Regular;" class="">April 26, 2021</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Submission deadline</span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;">
</span><span style="font-family: Menlo-Regular;" class="">May 3, 2021</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Important Dates</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">---------------</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Submission of title and abstract: April 26</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Paper submission deadline: May 3</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Notification of acceptance: June 18</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Final version: 7 July</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Conference date: September 8-10</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Submission Guidelines</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Scope</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">-----</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">The program committee seeks high-quality submissions describing original work,</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">written in English, not overlapping with published or simultaneously submitted</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">work to a journal or conference with archival proceedings. Selection criteria</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">include accuracy and originality of ideas, clarity and significance of results,</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">and quality of presentation. The page limit in Springer LNCS style is 15 pages</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">in total excluding references.</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Papers must be edited in LaTeX using the llncs style and must be submitted</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">electronically as PDF files via EasyChair at</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<a href="https://easychair.org/conferences/?conf=frocos2021" style="font-family: Menlo-Regular;" class="">https://easychair.org/conferences/?conf=frocos2021</a><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">For each accepted paper, at least one of the authors is required to register to</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">the symposium and present the work.</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Formatting instructions and the LNCS style files can be obtained at</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<a href="http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines" style="font-family: Menlo-Regular;" class="">http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines</a><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">The FroCoS 2021 conference proceedings will be published in the Springer series</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Lecture Notes in Artificial Intelligence (LNAI/LNCS).</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">List of Topics</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">--------------</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Topics of interest for FroCoS 2021 include (but are not restricted to):</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combinations of logics (such as higher-order, first-order, temporal, modal,</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class=""> description or other non-classical logics)</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combination and integration methods in SAT and SMT solving</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combination of decision procedures, satisfiability procedures, constraint</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class=""> solving techniques, or logical frameworks</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combination of logics with probability and/or fuzzy measures</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combinations and modularity in ontologies</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Integration of equational and other theories into deductive systems</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Hybrid methods for deduction, resolution and constraint propagation</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Hybrid systems in knowledge representation and natural language semantics</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combined logics for distributed and multi-agent systems</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Logical aspects of combining and modularizing programs and specifications</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Integration of data structures into constraint logic programming and</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class=""> deduction</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Combinations and modularity in term rewriting</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Methods and techniques for the verification and analysis of information</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class=""> systems</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Methods and techniques for combining logical reasoning with machine learning</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Programme Committee</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">-------------------</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Takahito Aoto Niigata University</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Carlos Areces FaMAF - Universidad Nacional de Córdoba</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- AlessandroArtale Free University of Bozen-Bolzano</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Franz Baader TU Dresden</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Peter Baumgartner CSIRO</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Christoph Benzmüller Freie Universität Berlin</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Jasmin Blanchette Vrije Universiteit Amsterdam</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Clare Dixon University of Manchester</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Pascal Fontaine Université de Liège, Belgium</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Didier Galmiche LORIA - Université de Lorraine</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Silvio Ghilardi Università degli Studi di Milano</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Jürgen Giesl RWTH Aachen University</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Andreas Herzig IRIT at Université Paul Sabatier</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Jean Christoph Jung Universität Bremen</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Boris Konev University of Liverpool (Chair)</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Roman Kontchakov Birkbeck, University of London</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Aina Niemetz Stanford University</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Andrei Popescu Middlesex University London</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Silvio Ranise University of Trento and Fondazione Bruno</span><br style="font-family: Menlo-Regular;" class="">
<span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"></span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"></span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"></span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"></span><span style="font-family: Menlo-Regular;" class="">Kessler,
Trento, Italy</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Giles Reger The University of Manchester (Chair)</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Andrew Reynolds The University of Iowa</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Christophe Ringeissen LORIA - Université de Lorraine</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Philipp Ruemmer Uppsala University</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Uli Sattler The University of Manchester </span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Roberto Sebastiani University of Trento</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Viorica Sofronie-Stokkermans University Koblenz-Landau</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Martin Suda Czech Technical University in Prague</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">- Christoph Weidenbach Max Planck Institute for Informatics</span><br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">Covid Statement</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">---------------</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">TABLEAUX 2021 and FroCoS 2021 are intended to be hybrid conferences welcoming</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">both physical and virtual participation. The organisers are closely monitoring</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">the pandemic situation and may choose to make the conference virtual-only if it</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">seems unreasonable to host any sort of physical event. A final decision will be</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">taken before 14 June (12 weeks before the conference) to leave ample time for</span><br style="font-family: Menlo-Regular;" class="">
<span style="font-family: Menlo-Regular;" class="">potential travel plans to be made.</span>
</body>
</html>