The Coq mailing list

[geoff AT cs.miami.edu]

CALL FOR PAPERS: FroCoS 2023
============================

The 14th International Symposium on Frontiers of Combining Systems FroCoS 
2023 will be held at the Czech Technical University in Prague in September, 
2023.

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 2023 will be co-located with the 30th International Conference on 
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 
2023).

Conference website
https://frocos2023.github.io
Submission link
https://easychair.org/conferences/?conf=frocos2023


Important Dates
---------------

Submission of title and abstract: May 11, 2023
Paper submission deadline:        May 15, 2023
Notification of acceptance:      July  3, 2023
Final version:                  July  21, 2023 
Conference date:         September 20-22, 2023 

Workshops and Tutorials
-----------------------
If you would like to organise a workshop or run a tutorial, please let us 
know before July 14th, 2023.


--------------- 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, workshop, symposium, etc. with 
archival proceedings. Selection criteria include originality of ideas, rigour 
of evaluation, 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=frocos2023

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 LLNCS style files can be obtained at

http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines

The FroCoS 2023 conference proceedings will be published in the Springer 
series Lecture Notes in Artificial Intelligence (LNAI/LNCS) as Gold Open 
Access under a CC-BY-4.0-license, for a cost of max. 200 Euros per paper, 
with at least 5 full sponsorships available for authors lacking funds. 
Details on how to apply for sponsorship will be announced soon. 


List of Topics
--------------
Topics of interest for FroCoS 2023 include (but are not restricted to):

Combinations of 
logics such as higher-order, first-order, temporal, modal, description or 
other non-classical logics
logics with probability and/or fuzzy measures
reasoning procedures, SAT solvers, constraint solving techniques, logical 
frameworks, deduction methods, and constraint propagation
logics for distributed and multi-agent systems
term rewriting systems 
logical reasoning with machine learning 
logics, reasoning, and natural language processing/semantics
programs and specifications and their logical aspects, incl. modularisation 

Integration of 
equational and other theories into deductive systems, incl. SMT 
data structures into constraint logic programming and deduction

Modularity
of/in logics 
in term rewriting

and the application of any of these, for example for knowledge 
representation, ontology engineering, and the verification or analysis of 
information systems.

Invited Speakers
----------------
To be announced 

Programme Committee (TBC)
-------------------------
Carlos Areces, FaMAF - Universidad Nacional de Córdoba
Franz Baader, TU Dresden
Peter Baumgartner, CSIRO
Clare Dixon, University of Manchester
Mathias Fleury, University of Freiburg
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
Roman Kontchakov Birkbeck, University of London
Naoki Nishida, Nagoya University
Giles Reger, Amazon Web Services and The University of Manchester
Andrew Reynolds, The University of Iowa
Christophe Ringeissen, LORIA - Université de Lorraine
Philipp Ruemmer, Uppsala University
Uli Sattler, The University of Manchester (Chair)
Renate A. Schmidt, The University of Manchester
Roberto Sebastiani, University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
K. Subramani, West Virginia University
Martin Suda, Czech Technical University in Prague (Chair)
Dmitriy Traytel, University of Copenhagen
Christoph Weidenbach, Max Planck Institute for Informatics
Piotr Wojciechowski, West Virginia University

Contact
–------
All questions about FroCoS2023 paper submissions should be emailed to the PC 
Chairs (FroCoS 2023 at easychair.org).

Best Paper Awards
-----------------

The program committee will select the FroCoS 2023 Best Paper and the Best 
Paper by a Junior Researcher. 

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, 20 
September 2023. "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
---------------
FroCoS 2023 is planned as a mainly in-person conference, with the possibility 
of virtual participation for exceptional reasons (Covid, visa, …).