[isabelle] FroCoS'05: Call for Participation (Early Reg. Deadline: Sept. 1, 2005)



                    [Apologies for multiple copies]

----------------------------------------------------------------------------

                  FroCoS 2005: CALL FOR PARTICIPATION

         *** EARLY REGISTRATION DEADLINE: September 1, 2005 ***

----------------------------------------------------------------------------

 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005)

                 Vienna, Austria, September 19-21, 2005 

                     http://www.logic.at/frocos05/

----------------------------------------------------------------------------


IMPORTANT DATES

 * Deadline for early registration: September 1, 2005
 * Deadline for non-cash payments:  September 11, 2005
 * FroCoS 2005:                     September 19-21, 2005


BACKGROUND AND SCOPE

In various areas of computer science, such as logic, computation,
program development and verification, artificial intelligence, and
automated reasoning, there is an obvious need for using specialized
formalisms and inference mechanisms for special tasks. In order to be
usable in practice, these specialized systems must be combined with
each other, and they must be integrated into general purpose
systems. 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 has
been initiated in many areas. The International Workshop on Frontiers
of Combining Systems (FroCoS) traditionally focuses on this type of
research questions and activities and aims at promoting progress in
the field. 

The previous FroCoS workshops were held in Munich (1996), Amsterdam
(1998), Nancy (2000) and Santa Margherita Ligure (2002). In 2004,
FroCoS joined IJCAR 2004, the 2nd International Joint Conference on
Automated Reasoning. Like its predecessors, FroCoS 2005 offers 
a common forum for research activities 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 to FroCoS include combination of logics;
combination of decision procedures, of satisfiability procedures, and
of constraint solving techniques; 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 CLP formalisms and deduction
processes; model/problem analysis and decomposition; hybrid methods
for deduction, resolution and constraint propagation; hybrid systems
in computational linguistics, knowledge representation, natural
language semantics, and human computer interaction; logical modelling
of multi-agent systems; logical aspects of combining and modularizing
programs and specifications. 


PROGRAM AND PROCEEDINGS

FroCoS 2005 will feature the following 4 invited talks.

 * Sociable Interfaces
   by Luca de Alfaro (Univ. of California, Santa Cruz)

 * A Comprehensive Framework for Combined Decision Procedures
   by Silvio Ghilardi (Univ. of Milano)

 * Matching Classifications via a Bidirectional Integration of SAT and
   Linguistic Resources  
   by Fausto Giunchiglia (Univ. of Trento & ITC-IRST)

 * Hybrid CSP Solving
   by Eric Monfroy (Univ. of Nantes & UTFSM/Chile)

Moreover the program includes 1 tutorial and 14 regular contributed
talks coveringg a broad range of topics. The scientific part is
complemented by an interesting social program. For details as well as
further comprehensive information about the event please consult the
website.

The proceedings of FroCoS 2005 are published as a volume of LNAI
(Springer) and will be available at the conference.


PROGRAM COMMITTEE

 * Alessandro Armando	     (U Genova)
 * Franz Baader		     (TU Dresden)
 * Clark W. Barrett	     (NYU New York)
 * Frederic Benhamou	     (LINA, U Nantes)
 * Michel Bidoit	     (LSV, CNRS & ENS Cachan)
 * Jacques Calmet            (U Karlsruhe)
 * Juergen Giesl             (RWTH Aachen)
 * Bernhard Gramlich (chair) (TU Wien)
 * Deepak Kapur		     (UNM Albuquerque)
 * Maarten Marx              (U Amsterdam)
 * Joachim Niehren	     (INRIA Futurs, U Lille)
 * Christophe Ringeissen     (LORIA-INRIA Nancy)
 * Manfred Schmidt-Schauss   (U Frankfurt)
 * Cesare Tinelli            (U Iowa)
 * Ashish Tiwari             (SRI Menlo Park)
 * Frank Wolter		     (U Liverpool)


FURTHER INFORMATION

 FroCoS 2005 website: http://www.logic.at/frocos05/

----------------------------------------------------------------------------





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.