Call for papers (txt)
Tutorials (joint with Tableaux 2015)
For further informations please send
an e-mail to
Carsten Lutz (firstname.lastname@example.org) or
Silvio Ranise (email@example.com).
Scope of conference
In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence,
knowledge representation, and automated reasoning, there is an
obvious need for using specialized formalisms and inference systems
for selected tasks. To be usable in practice, these specialized
systems must be combined with each other and integrated into general
purpose systems. This has led---in many research areas---to the
development of techniques and methods for the combination and
integration of dedicated formal systems, as well as for their
modularization and analysis.
The International Symposium on Frontiers of Combining Systems
(FroCoS) traditionally focusses on these types of research questions
and activities. Like its predecessors, FroCoS 2015 seeks to offer a
common forum for research in the general area of combination,
modularization, and integration of systems, with emphasis on
logic-based ones, and of their practical use.
In addition, FroCoS will share the Tableaux2015 invited speaker
Additional Tutorials are offered by the co-located Tableaux2015 conference.
Please see this
page for full information and abstracts.
Topics of interest for FroCoS'15 include (but are not restricted to):
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 16
Papers must be edited in LaTeX using the llncs style and must be
submitted electronically as PDF files via the EasyChair system at
For each accepted paper, at least one of the authors is required to
attend the symposium and present the work. Prospective authors must
register a title and an abstract ten days before the paper
submission deadline. Further information about paper submissions is
available at the conference website that can be found at the
beginning of this call for papers.
The proceedings of the symposium will be published in the
Springer LNAI/LNCS series, volume number 9322.
|| || |