COTIC98

• Subject: COTIC98
• From: Frank de Boer <frankb@cs.ruu.nl>
• Date: Wed, 22 Apr 1998 10:44:40 +0200 (METDST)

This is a CFP of the workshop COTIC98.
We apologize for multiple copies.


***************************************************************


		     COTIC98


	2nd International Workshop on 
	     Constraint programming 
  for time critical applications and multi-agent systems
     (Nice, France, September 7, 1998)

The Workshop is held right before CONCUR 98
(URL: http://zenon.inria.fr/meije/concur98), the 9th 

International Conference on Concurrency Theory 

which will be in the same location on September 8-11, 1998. 

SCOPE OF THE WORKSHOP

This is the second workshop organized in the context of the ESPRIT Working
Group COTIC (the previous one, COTIC 97, was held at RISC in 1997). 
The general objective of this working group
is the investigation of extensions of (concurrent) logic and constraint
languages for time-critical applications. 

The aim of this workshop is twofold: 
First of all we would like to discuss timed extensions of
(concurrent) constraint programming and more generally timed declarative
languages. 
We are particularly interested in such time-critical applications 
as those arising in worldwide information networks, 
distributed multimedia computing, decision support systems and
deductive temporal databases. 
Additionally, we aim at a discussion of the possible uses of
concurrent logic and constraint programming languages 
in representing the reasoning and
communication capabilities of intelligent agents. 
Relevant topics include: 

Design and implementation of timed languages
Semantic models
Specification, verification and analysis methods 
Hybrid systems
Intelligent agents 
multi-agent systems
Temporal deductive databases 
Constraint domains and solvers for temporal reasoning 
Temporal aspects of internet and multimedia computing 
Applications 

Papers illustrating products and protoypes are particularly encouraged. 

SUBMISSION
We seek research or expository paper submitted electronically (postscript
format) to 

cotic98@di.unipi.it

The paper should include an abstract and should not exceed 15 pages in 12pt
font. The submission deadline is June 1, 1998. 
Notification of acceptance will be sent by July 10, 1998. 
The final version for the preliminary workshop proceedings is due by July 30, 
1998.

For more information we refer to 

http://www.di.unipi.it/di/groups/lp/cotic98

• Prev: Workshop on ``Verification, model checking....''
• Next: PA EXPO98 Report
• Index: AMAST Mail 1998