[DL] Call for papers: The 13th International Symposium on Frontiers of Combining Systems FroCoS 2021

Konev, Boris Boris.Konev at liverpool.ac.uk
Thu Mar 4 17:24:41 CET 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

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


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


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
- Combinations and modularity in term rewriting
- Methods and techniques for the verification and analysis of information
- Methods and techniques for combining logical reasoning with machine learning

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               Università 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                Middlesex University London
- 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

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zfn.uni-bremen.de/pipermail/dl/attachments/20210304/0ab591b8/attachment-0001.htm>

More information about the dl mailing list