[Prev][Next][Index][Thread]

FroCoS'2002

		     Fourth International Workshop

		  ``Frontiers of Combining Systems''
			     FroCoS'2002

			     April 8-10, 2002

		   Santa Margherita (near Genova), Italy

	     http://www.mrg.dist.unige.it/conferences/frocos2002/


In  various areas  of computer  science, such  as  logic, computation,
program development  and proof,  artificial intelligence, 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 for the combination  and integration of special systems has
been initiated in many areas.

The three previous international workshops on ``Frontiers of Combining
Systems''  were held  in Munich  (1996), in  Amsterdam (1998),  and in
Nancy (2000).  Like its predecessors, FroCoS'2002 is intended to offer
a  common  forum  for  research  activities in  the  general  area  of
combination and integration of systems, and on their practical use.

Suggested, but not exclusive topics of interest for the workshop are: 

 * combination of logics 

 * combination   of  constraint   solving   techniques,  of   decision
   procedures, of term rewriting systems

 * combination of deduction systems and computer algebra

 * integration of decision procedures and other solving processes into
   constraint programming and deduction systems 

 * modelisation of hybrid systems 

 * logic modelling of multi-agent systems.

We expect to attract high  quality original papers that cover relevant
aspects of these topics. All submissions will be thoroughly evaluated.
On  the basis  of the  referee reports,  papers will  be  selected for
presentation at the conference  and published in the proceedings which
will appear in Springer-Verlag LNAI series.

Program Committee:

A. Armando (U. Genova)		
D. Basin (U. Freiburg)		
F. Benhamou (U. Nantes)		
J. Calmet (U. Karlsruhe)
G. Delzanno (U. Genova)
B. Gramlich (TU Wien)		
D. Kapur (U. New Mexico)		
H. Kirchner (LORIA Nancy)	
M. Kohlhase (CMU)		
C. Ringeissen (LORIA Nancy)	
M. Rusinowitch (LORIA Nancy)	
K. Schulz (LMU Muenchen)
R. Sebastiani (U. Trento)	
C. Tinelli (U. Iowa)		
L. Vigano` (U. Freiburg)	
F. Wolter (U. Leipzig)

Program Chair:

Alessandro Armando
DIST - University of Genova
Viale Causa, 13
16145 - Genova
Italy
E-mail: armando@dist.unige.it

Local Organization:

A. Armando
L. Compagna
S. Ranise

Paper Submissions:

Authors  are  encouraged  to   use  LaTeX  and  the  standard  article
class/style  file (10pt).   The primary  means of  submission  will be
electronic, in  PostScript format.  Papers should  be compressed, then
uuencoded,  and  e-mailed  to  the  address  frocos@mrg.dist.unige.it.
Papers should not  exceed 15 pages, and should  be received via e-mail
by October  15, 2001. Results  must be unpublished, and  not submitted
for  publication  elsewhere.   Submissions  should start  with  title,
author(s)  (names, correspondence  addresses,  e-mail addresses),  and
abstract.   The  proceedings  of  FroCoS'2002  will  be  published  by
Springer-Verlag  in the  LNAI  series  and will  be  available at  the
conference.

Important Dates:

   Paper Submissions: October 15, 2001
         E-mail for paper submissions: frocos@mrg.dist.unige.it

   Notification of Acceptance: December 30, 2001
   Final Versions due: January 20, 2002
   Conference: April 8-10, 2002

Up-to-date information on FroCoS'2002 is available by WWW:  
   http://www.mrg.dist.unige.it/conferences/frocos2002/