<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="">
CALL FOR PAPERS: FroCoS 2023<br class="">
============================<br class="">
<br class="">
The 14th International Symposium on Frontiers of Combining Systems FroCoS 2023 will be held at the Czech Technical University in Prague in September, 2023.<br class="">
<br class="">
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.<br class="">
<br class="">
FroCoS 2023 will be co-located with the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023).<br class="">
<br class="">
Conference website<br class="">
<a href="https://frocos2023.github.io/" class="">https://frocos2023.github.io</a><br class="">
Submission link<br class="">
<a href="https://easychair.org/conferences/?conf=frocos2023" class="">https://easychair.org/conferences/?conf=frocos2023</a><br class="">
<br class="">
<br class="">
Important Dates<br class="">
---------------<br class="">
<br class="">
Submission of title and abstract: May 11, 2023<br class="">
Paper submission deadline: May 15, 2023<br class="">
Notification of acceptance: July 3, 2023<br class="">
Final version: July 21, 2023 <br class="">
Conference date: September 20-22, 2023 <br class="">
<br class="">
Workshops and Tutorials<br class="">
-----------------------<br class="">
If you would like to organise a workshop or run a tutorial, please let us know before July 14th, 2023.<br class="">
<br class="">
<br class="">
--------------- Submission Guidelines ---------------<br class="">
<br class="">
Scope<br class="">
-----<br class="">
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.<br class="">
<br class="">
Papers must be edited in LaTeX using the LLNCS style and must be submitted electronically as PDF files via EasyChair at<br class="">
<a href="https://easychair.org/conferences/?conf=frocos2023" class="">https://easychair.org/conferences/?conf=frocos2023</a><br class="">
<br class="">
For each accepted paper, at least one of the authors is required to register to the symposium and present the work.<br class="">
<br class="">
Formatting instructions and the LLNCS style files can be obtained at<br class="">
<br class="">
<a href="http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines" class="">http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines</a><br class="">
<br class="">
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. <br class="">
<br class="">
<br class="">
List of Topics<br class="">
--------------<br class="">
Topics of interest for FroCoS 2023 include (but are not restricted to):<br class="">
<br class="">
Combinations of <br class="">
- logics such as higher-order, first-order, temporal, modal, description or other non-classical logics<br class="">
- logics with probability and/or fuzzy measures<br class="">
- reasoning procedures, SAT solvers, constraint solving techniques, logical frameworks, deduction methods, and constraint propagation<br class="">
- logics for distributed and multi-agent systems<br class="">
- term rewriting systems <br class="">
- logical reasoning with machine learning <br class="">
- logics, reasoning, and natural language processing/semantics<br class="">
- programs and specifications and their logical aspects, incl. modularisation <br class="">
<br class="">
Integration of <br class="">
- equational and other theories into deductive systems, incl. SMT <br class="">
- data structures into constraint logic programming and deduction<br class="">
<br class="">
Modularity<br class="">
- of/in logics <br class="">
- in term rewriting<br class="">
<br class="">
and the application of any of these, for example for knowledge representation, ontology engineering, and the verification or analysis of information systems.<br class="">
<br class="">
Invited Speakers<br class="">
----------------<br class="">
To be announced <br class="">
<br class="">
Programme Committee <br class="">
-------------------------<br class="">
To be announced <br class="">
<br class="">
Contact<br class="">
–------<br class="">
All questions about FroCoS2023 paper submissions should be emailed to the PC Chairs <a href="mailto:frocos2023@easychair.org" class="">frocos2023@easychair.org</a> <br class="">
<br class="">
Best Paper Awards<br class="">
-----------------<br class="">
<br class="">
The program committee will select the FroCoS 2023 Best Paper and the Best Paper by a Junior Researcher. <br class="">
<br class="">
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.<br class="">
<br class="">
Covid Statement<br class="">
---------------<br class="">
FroCoS 2023 is planned as a mainly in-person conference, with the possibility of virtual participation for exceptional reasons (Covid, visa, …).
</body>
</html>