The Coq mailing list

[geoff AT cs.miami.edu]

Dear colleagues,

As requested by some of you, we have extended the deadline for paper
submission from Monday next week (May 15) to Friday next week (May 19)
- and then also the submission for title and abstracts to next Monday
(May 15). The new dates are

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

Below is the rest of the call for papers: looking forward to your
submissions, cheers, Martin Suda and Uli Sattler

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

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-guidelin
es

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
-------------------------
Carlos Areces, FaMAF - Universidad Nacional de Córdoba
Alessandro Artale, Free University of Bolzano-Bozen
Franz Baader, TU Dresden
Haniel Barbosa, Universidade Federal de Minas Gerais
Peter Baumgartner, CSIRO
Clare Dixon, University of Manchester
Mathias Fleury, University of Freiburg
Didier Galmiche, LORIA - Université de Lorraine
Silvio Ghilardi, Dipartimento di Matematica, 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
Paliath Narendran, University at Albany - SUNY
Aina Niemetz, Stanford University
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 Rümmer, 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
Akihisa Yamada, AIST

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, …).