Call for papers (txt)
Submission
Invited talks
Tutorials (joint with Tableaux 2015)
Accepted papers
Program
Additional links
Organizers
Program Committee
Contact
For further informations please send
an e-mail to
Carsten Lutz (clu@uni-bremen.de) or
Silvio Ranise (ranise@fbk.eu).
|
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.
Invited talks
In addition, FroCoS will share the Tableaux2015 invited speaker
Oliver Ray.
Tutorials
Additional Tutorials are offered by the co-located Tableaux2015 conference.
Please see this
page for full information and abstracts.
Topics
Topics of interest for FroCoS'15 include (but are not restricted to):
Important dates
Paper submission
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
pages.
Papers must be edited in LaTeX using the llncs style and must be
submitted electronically as PDF files via the EasyChair system at
https://easychair.org/conferences/?conf=frocos2015.
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.
Publication details
The proceedings of the symposium will be published in the
Springer LNAI/LNCS series, volume number 9322.
Accepted papers
| |
| |
| |
