FINAL CALL FOR PAPERS: FroCoS 2021 ================================== The 13th International Symposium on Frontiers of Combining Systems FroCoS 2021 will be held in the University of Birmingham on September 6-9, 2021.
FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. FroCoS 2021 will be co-located with the 29th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021). Conference website https://frocos2021.github.io Submission link https://easychair.org/conferences/?conf=frocos2021 Abstract registration deadline April 26, 2021 Submission deadline May 3, 2021 Important Dates --------------- Submission of title and abstract: April 26 Paper submission deadline: May 3 Notification of acceptance: June 18 Final version: 7 July Conference date: September 8-10 Submission Guidelines Scope ----- The program committee seeks high-quality submissions describing original work, written in English, not 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. The page limit in Springer LNCS style is 15 pages in total excluding references. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via EasyChair at https://easychair.org/conferences/?conf=frocos2021 For each accepted paper, at least one of the authors is required to register to the symposium and present the work. Formatting instructions and the LNCS style files can be obtained at http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines The FroCoS 2021 conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). List of Topics -------------- Topics of interest for FroCoS 2021 include (but are not restricted to): - Combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics) - Combination and integration methods in SAT and SMT solving - Combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks - Combination of logics with probability and/or fuzzy measures - Combinations and modularity in ontologies - Integration of equational and other theories into deductive systems - 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 - Integration of data structures into constraint logic programming and deduction - Combinations and modularity in term rewriting - Methods and techniques for the verification and analysis of information systems - Methods and techniques for combining logical reasoning with machine learning Invited Speakers ---------------- - Michael Benedikt Oxford University - Vijay Ganesh University of Waterloo - Chantal Keller LMF, Université Paris-Saclay - Renate Schmidt (joint with TABLAUX) Manchester University Programme Committee ------------------- - Takahito Aoto Niigata University - Carlos Areces FaMAF - Universidad Nacional de Córdoba - AlessandroArtale Free University of Bozen-Bolzano - Franz Baader TU Dresden - Peter Baumgartner CSIRO - Christoph Benzmüller Freie Universität Berlin - Jasmin Blanchette Vrije Universiteit Amsterdam - Clare Dixon University of Manchester - Pascal Fontaine Université de Liège, Belgium - Didier Galmiche LORIA - Université de Lorraine - Silvio Ghilardi Universita degli Studi di Milano - Jürgen Giesl RWTH Aachen University - Andreas Herzig IRIT at Université Paul Sabatier - Jean Christoph Jung Universität Bremen - Boris Konev University of Liverpool (Chair) - Roman Kontchakov Birkbeck, University of London - Aina Niemetz Stanford University - Andrei Popescu University of Sheffield - Silvio Ranise University of Trento and Fondazione Bruno Kessler, Trento, Italy - Giles Reger The University of Manchester (Chair) - Andrew Reynolds The University of Iowa - Christophe Ringeissen LORIA - Université de Lorraine - Philipp Ruemmer Uppsala University - Uli Sattler The University of Manchester - Roberto Sebastiani University of Trento - Viorica Sofronie-Stokkermans University Koblenz-Landau - Martin Suda Czech Technical University in Prague - Christoph Weidenbach Max Planck Institute for Informatics Best Paper Awards ----------------- The program committee will select the FroCoS 2021 Best Paper, which will be awarded 500 Euros. In addition to that, the committee will select the FroCoS 2021 Best Paper by a Junior Researcher, which will be awarded 250 Euros. Researchers will be considered junior if either they are students or their PhD award date is less than two years from the first day of the meeting, 8 September 2021. "Paper by a Junior Researcher" means that the paper's main author is junior, or the paper's main authors are all junior. For a paper to qualify, this information must be indicated in the pdf submission by adding an asterisk (*) at both the title and the main-author name(s). This information (main authorship by junior researcher(s)) is only for the reviewers, and should be removed from the camera-ready version in case of acceptance. Covid Statement --------------- TABLEAUX 2021 and FroCoS 2021 are intended to be hybrid conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info