2nd International Workshop on 
Constraint programming 
for time critical applications and multi-agent systems

Nice, France, September 7, 1998

Registration and accomodation:  Please use the forms on the  Concur 98 page.

The Workshop is held in conjunction with  Concur 98, the 9th International Conference on Concurrency Theory, and the workshops EXPRESS '98 ,  HLCL'98 ,  PAPM'98 .

Contents of this page

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.

    Program

    9:00 - 9:10 Opening

    9:10 - 9:50  Two semantics for timed default ccp
                        S. Tini and A. Maggiolo

    9:50 - 10:30 Specifying Real-Time Finite-State Systems in Linear Logic
                         M.I. Kanovich, M. Okada and A. Scedrov

    10:30 - 11:00 Break

    11:00 - 11.40 Translations of Vocabularies in Systems of Communicating Agents
                            R. van Ejik, F. de Boer, W. van der Hoek and J-J. Meyer

    11:40  - 12.20 An Environment for Designing/Executing Constraint Solver Collaborations
                             Eric Monfroy
     

    12:20 - 14:00 Break
     

    14:00 - 14:40 CTL model checking using tabled resolution
                            J. Lubcke and U. Nilsson

    14:40 - 15:20 Using Probability to Reason about Soft Deadlines
                           Andy King and Jeremy Bryans

    15:20 - 15:50 Break

    15:50 - 16:30 A Monotonic Shared Data Space Model for Distributed Systems
                           Paul Dechering and Edwin de Jong

    16:30 - 17:10 Coordination of Scheduling and Allocation Agents
                           Thomas Sjoland

    17:10 - 17:50 Comparing (timed) ccp languages
                            Maria Chiara Meo

    Workshop Venue

    The workshop venue is Nice which is ideally located on the French Riviera. The workshop will be held at the Hotel Novotel. For further information see the Concur 98 venue and local arrangement page.

    Publication

    A selection of the papers presented will be published within a  multiple-numbered volume (together with the proceedings of EXPRESS '98  and  HLCL'98) in Electronic Notes in Theoretical Compurer Science  (Elsevier Science Publishers). Hardcopies of the preliminary proceedings will be distributed at the workshop.

    Workshop Organization

    Organizers:
    F. S. de Boer (University of Utrecht, NL)
    M. Gabbrielli (University of Pisa, IT)
    A. Maggiolo-Schettini (University of Pisa, IT)
    Program Committee:
    F. S. de Boer (University, Utrecht, NL)
    P. Bonatti (Univeristy of Torino, IT)
    M. Gabbrielli (University of Pisa, IT)
    A. Maggiolo (University of Pisa, IT)
    J. Maluszynski (University of Linkoeping, S)
    L. Monteiro (University of Lisbon, P)
    J.-J. Meyer (University, Utrecht, NL)
    V.S. Subrahmanian (University of Maryland, USA)

    Important dates

    September 7, 1998: COTIC98
    September 8-11, 1998: Concur 98 Main program