ELSNET-list archive

Category:   E-CFP
Subject:   FroCoS 2013: FINAL CALL FOR PAPERS
Email:   schmidt_(on)_cs.man.ac.uk
Date received:   12 Mar 2013
Deadline:   15 Apr 2013
Start date:   18 Sep 2013

FINAL CALL FOR PAPERS FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013 Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper) http://frocos2013.loria.fr/ GENERAL INFORMATION The 9th International Symposium on Frontiers of Combining Systems will be held in Nancy, France, from 18-20 September 2013. The aim of the conference is to publish and promote progress in research areas requiring the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. FroCos 2013 will be co-located with the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013) held 16-19 September 2013. 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 mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and must be integrated into general purpose systems. This has led in many research areas to the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2013 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. Typical topics of interest include (but are not limited to): * combinations of logics such as combined higher-order, first-order, temporal, modal, description or other non-classical logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, of constraint solving techniques or of logical frameworks; * combination and integration methods in SAT and SMT solving; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into constraint logic programming and deduction; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEAKERS: Stephane Demri LSV, CNRS & ENS de Cachan (joint invited talk with TABLEAUX 2013) Konstantin Korovin The University of Manchester Joel Ouaknine Oxford University Larry Paulson University of Cambridge PUBLICATION DETAILS: The proceedings of the conference will be published in the Springer LNAI/LNCS series. PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written and to be presented in English, not substantially 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: https://www.easychair.org/conferences/?conf=frocos2013. For each accepted paper, at least one author is required to attend the symposium to present the work. Prospective authors must register a title and an abstract a week before the paper submission deadline. Further information about paper submissions is available at the conference website. IMPORTANT DATES 15 Apr 2013 Abstract submission 22 Apr 2013 Paper submission 6 Jun 2013 Notification of paper decisions 4 Jul 2013 Camera-ready papers due 18-20 Sep 2013 FroCoS Conference PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Clark Barrett, New York University, USA Peter Baumgartner, National ICT Australia, Canberra, Australia Christoph Benzmueller, Free University Berlin, Germany Jasmin Christian Blanchette, TU Muenchen, Germany Thomas Bolander, Technical University of Denmark Clare Dixon, University of Liverpool, UK Francois Fages, INRIA Rocquencourt, France Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Vijay Ganesh, University of Waterloo, Canada Silvio Ghilardi, Universita degli Studi di Milano, Italy Guido Governatori, National ICT Australia, Queensland, Australia Bernhard Gramlich, Technische Universitaet Wien, Austria Katsumi Inoue, National Institute of Informatics, Japan Sava Krstic, Intel, USA Alessio Lomuscio, Imperial College London, UK Till Mossakowski, DFKI & University of Bremen, Germany Silvio Ranise, Fondazione Bruno Kessler, Italy Christophe Ringeissen, LORIA, INRIA, France Philipp Ruemmer, Uppsala University, Sweden Renate Schmidt, The University of Manchester, UK Roberto Sebastiani, DISI, University of Trento, Italy Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Andrzej Szalas, Linkoepings Universitet, Sweden & University of Warsaw, Poland Rene Thiemann, University of Innsbruck, Austria Ashish Tiwari, SRI, USA Josef Urban, Radboud University, The Netherlands Christoph Weidenbach, Max-Planck-Institut fuer Informatik, Germany Frank Wolter, University of Liverpool, UK CONFERENCE CHAIR Christophe Ringeissen, LORIA, INRIA, France PC CHAIRS Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Renate A. Schmidt, The University of Manchester, UK __________________________________________ - ELSNET mailing list Elsnet-list_(at)_elsnet.org - To manage your subscription go to: http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 20-03-2013 by Steven Krauwer Disclaimer / Contact ELSNET