ESSLLI 2004

Home page

Overview

People involved

Contact Info

TECHNICAL PROGRAM

Courses and Workshops

Timetable

Student session

Evening lectures

Co-located events

SOCIAL PROGRAM

Lunch

Reception

ESSLLI Party

Football Match

REGISTRATION

Information

Registration form

Grants

Accommodation

Deadlines

List of participants

LOCAL INFORMATION

Reaching the school

Arriving to Nancy

Tourist Info: Nancy

Tourist Info: Lorraine

NEWS ARCHIVE

Old news

Description

The workshop aims at bringing together researchers interested in topics
related to the use of formal tools when applied to modelling,
specifying, verifying, and reasoning about multi-agent systems in which
communication and updating play a crucial role. Specifically, the
workshop aims at providing a forum for discussing technical issues that
arise with formalisms (epistemic, temporal, dynamic and authentication
logics and tools) inspired by the needs of modelling information
exchanges in multi-agent systems.

Particular focus of attention will be given to papers relating to the
following specific themes:

    * Dynamics of epistemic positions: Combinations of epistemic logic
      and temporal logic (and related semantical issues) resulting from
      communicative acts, such as message passing, broadcasting, etc.
      Modelling of epistemic updates, and refinements following
      communicative acts.
    * Communication protocols: Semantics for communications processes in
      multi-agent systems. Formal dependencies between communication
      protocols and intensional (e.g., epistemic) properties of the
      agents. Using CSP and CCP for agent-communication.
    * Security and authorisation: Logics (deontic logic, BAN logic,
      etc.) for security and authorisation, where the assumption that
      the other agents in the network are cooperative, or at least not
      hostile, is dropped. Semantics for authorisation logics that are
      general and complete, or languages that are strong enough to prove
      that certain occasions (intruders entering the network, unwanted
      eavesdropping) do not occur.
    * Semantics of speech acts: Logical semantics of speech acts and
      institutional communication. Semantics of agent communication
      languages and their relationship to speech acts. Logics for
      planning speech acts. Relationships between speech act theory and
      belief revision


TECHNICAL PROGRAM

Monday August 16th

17.00 - 17.50 hours
   Ahti-Veikko Pietarinen (invited talk)
   Epistemic Logics of Imperfect Information for 
   Multi-Agent Communication
18.00 - 18.30 hours
   Guillaume Muller & Laurent Vercouter
   Liar Detection within Agent Communications
                                                                         
Tuesday August 17th
 
17.00 - 17.40 hours
   Bozena Wozna, Alessio Lomuscio & Wojciech Penczek
   Bounded Model Checking for Deontic Interpreted Systems
17.50 - 18.30 hours
   Sieuwert van Otterloo & Geert Jonker
   On Epistemic Temporal Strategic Logic

Wednesday August 18th

17.00 - 17.50 hours
   Holger Schlingloff (invited talk)
   Modelling and model checking web services
18.00 - 18.30 hours
   Maxime Morge
   A Dialogue-Game Protocol for Agent Resolving Conflicts by Verbal Means
                                
Thursday August 19th
 
17.00 - 17.40 hours
   Alexandru Baltag, Bob Coecke & Merhnoosh Sadrzadeh
   An Algebra and Sequent Calculus for Epistemic Actions
17.50 - 18.30 hours
   Arjen Hommersom, John-Jules Meyer & Erik de Vink
   A Semantic Approach for Reasoning about Security Protocols

Friday August 20th
                                
17.00 - 17.40 hours
   Shahima Paurobally, Cunningham & Jennings
   Verifying the Contract Net Protocol: A Case-Study in
   Interaction Protocol and Agent Communication Language Semantics
17.50 - 18.30 hours
   Mark Whitsey
   Modelling Resource Bounded Reasoners: An Example


WORKSHOP ORGANISERS

Wiebe van der Hoek, University of Liverpool
Alessio Lomuscio, King's College London
Erik de Vink, Technische Universiteit Eindhoven
Mike Wooldridge, University of Liverpool


PROGRAM COMMITTEE 

Johan van Benthem (University of Amsterdam), Frank de Boer (CWI
Amsterdam, Utrecht), Iliano Cervesato (ITT Industries), Marco
Colombetti (Politecnico di Milano), Rogier van Eijk (University of
Utrecht), Andrew Jones (King's College London), Yannis Labrou
(Fujitsu Labs of America), Riccardo Pucella (Cornell University),
Pierre-Yves Schobbens (University of Namur), Marek Sergot (Imperial
College), Luca Vigano' (ETH Zurich)

© 2003, 2004 LORIA, Carlos Areces.

2004-07-02