secondintcotic.html


	*Report on the Second International COTIC Workshop* Maurizio Gabbrielli COTIC 98, the Second International Workshop on Constraint Programming for Time critical Applications and Multi-agent Systems (http://www.di.unipi.it/di/groups/lp/cotic98/), was held in Nice (France) on September 7, 1998, in conjunction with the conference CONCUR'98 and the workshops EXPRESS'98, HLCL'98, PAPM'98. This was the second workshop organized in the context of the ESPRIT Working Group COTIC (the previous one, COTIC 97, was held at RISC in October 1997). The general objective of this working group is the investigation of extensions of concurrent logic and constraint languages for time-critical applications. In this context, particularly interesting are such time-critical applications as those arising in worldwide information networks, distributed multimedia computing, decision support systems and deductive temporal databases. Further informations on COTIC can be obtained at http://www.cs.ruu.nl/people/frankb/www\_1.html. The aim of the workshop was twofold: Firstly we wanted to discuss timed extensions of (concurrent) constraint programming and more generally timed declarative languages. Additionally, we aimed at a discussion of the possible uses of concurrent logic and constraint languages in representing the reasoning and communication capabilities of intelligent agents. The workshop was organized by F. S. de Boer, M. Gabbrielli and A. Maggiolo-Schettini. The Program Committee included the following members: F. S. de Boer (University of Utrecht, NL), P. Bonatti (University of Torino, IT), M. Gabbrielli (University of Pisa, IT), A. Maggiolo (University of Pisa, IT), J. Maluszynski (University of Link\"oping, S) L. Monteiro (University of Lisbon, P), J.-J. Meyer (University of Utrecht, NL) and V.S. Subrahmanian (University of Maryland, USA). The following eight papers were selected for presentation at the workshop: * Two semantics for timed default ccp, by S. Tini and A. Maggiolo. * Specifying Real-Time Finite-State Systems in Linear Logic, by M.I. Kanovich, M. Okada and A. Scedrov. * Translations of Vocabularies in Systems of Communicating Agents, by R. van Ejik, F. de Boer, W. van der Hoek and J-J. Meyer. * An Environment for Designing/Executing Constraint Solver Collaborations, by Eric Monfroy. * CTL model checking using tabled resolution, by J. Lubcke and U. Nilsson. * Using Probability to Reason about Soft Deadlines by Andy King and Jeremy Bryans. * A Monotonic Shared Data Space Model for Distributed Systems, by Paul Dechering and Edwin de Jong. * Coordination of Scheduling and Allocation Agents, by Thomas Sjoland. As it appears from the titles, the papers presented covered several different topics, including (timed) constraint languages, logical frameworks for reasoning about real-time systems, distributed and multi-agent systems. The first four papers in the above list were selected for publication in Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs): They will appear in Volume 16, together with the proceedings of the EXPRESS'98 and HLCL'98 workshops.

Report on the Second International COTIC Workshop

Maurizio Gabbrielli

COTIC 98, the Second International Workshop on Constraint Programming for Time critical Applications and Multi-agent Systems (http://www.di.unipi.it/di/groups/lp/cotic98/), was held in Nice (France) on September 7, 1998, in conjunction with the conference CONCUR'98 and the workshops EXPRESS'98, HLCL'98, PAPM'98.

This was the second workshop organized in the context of the ESPRIT Working Group COTIC (the previous one, COTIC 97, was held at RISC in October 1997). The general objective of this working group is the investigation of extensions of concurrent logic and constraint languages for time-critical applications. In this context, particularly interesting are such time-critical applications as those arising in worldwide information networks, distributed multimedia computing, decision support systems and deductive temporal databases. Further informations on COTIC can be obtained at http://www.cs.ruu.nl/people/frankb/www\_1.html.

The aim of the workshop was twofold: Firstly we wanted to discuss timed extensions of (concurrent) constraint programming and more generally timed declarative languages. Additionally, we aimed at a discussion of the possible uses of concurrent logic and constraint languages in representing the reasoning and communication capabilities of intelligent agents.

The workshop was organized by F. S. de Boer, M. Gabbrielli and A. Maggiolo-Schettini. The Program Committee included the following members: F. S. de Boer (University of Utrecht, NL), P. Bonatti (University of Torino, IT), M. Gabbrielli (University of Pisa, IT), A. Maggiolo (University of Pisa, IT), J. Maluszynski (University of Link\"oping, S) L. Monteiro (University of Lisbon, P), J.-J. Meyer (University of Utrecht, NL) and V.S. Subrahmanian (University of Maryland, USA).

The following eight papers were selected for presentation at the workshop:

* Two semantics for timed default ccp, by S. Tini and A. Maggiolo.

* Specifying Real-Time Finite-State Systems in Linear Logic, by M.I. Kanovich, M. Okada and A. Scedrov.

* Translations of Vocabularies in Systems of Communicating Agents, by R. van Ejik, F. de Boer, W. van der Hoek and J-J. Meyer.

* An Environment for Designing/Executing Constraint Solver Collaborations, by Eric Monfroy.

* CTL model checking using tabled resolution, by J. Lubcke and U. Nilsson.

* Using Probability to Reason about Soft Deadlines by Andy King and Jeremy Bryans.

* A Monotonic Shared Data Space Model for Distributed Systems, by Paul Dechering and Edwin de Jong.

* Coordination of Scheduling and Allocation Agents, by Thomas Sjoland.

As it appears from the titles, the papers presented covered several different topics, including (timed) constraint languages, logical frameworks for reasoning about real-time systems, distributed and multi-agent systems.

The first four papers in the above list were selected for publication in Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs): They will appear in Volume 16, together with the proceedings of the EXPRESS'98 and HLCL'98 workshops.