Logic-Based Agent Verification

An AgentLink/CologNet Symposium

9th July, 2004; Liverpool, UK

[co-located with EASSS]

Supported by:

European Co-Ordination Action for Agent-Based Technologies (AgentLink);
European Network of Excellence on Computational Logic (CologNet)

Symposium co-chairs:

Michael Fisher (University of Liverpool, U.K.)
Mike Wooldridge (University of Liverpool, U.K.) http://www.csc.liv.ac.uk/~mjw


This symposium concerns the theory and practice of logic-based agent technology, and its overall aim is to enhance the uptake of logic-based approaches to the verification of agents. In particular, we wish to consolidate expertise, showcase successful applications, and stimulate further research and collaboration in logic-based agent verification. Additionally, we hope to elicit real-world problems that can be tackled using a logic-based approach, and thus provide input to both common benchmarks and the development of technological road-maps for the area.


See details on EASSS WWW page here


Attendance at this symposium is free, however those who wish to attend should complete a registration form (alternatively, in PDF) and send it to Adele Maggs by 15th June 2004.

In addition, sponsorship of up to 600 Euros for a limited number of selected nationals of the EU or Associated States is available. To apply for such sponsorship, please send a request containing your contact details and reason for attending to Michael Fisher before 9th June 2004.

Draft Programme:

08:30-08:45 Welcome and Introduction [Michael Fisher/Mike Wooldridge]

08:45-10:00 Keynote speaker: Ron van der Meyden (Univ. New South Wales, Australia) - Knowledge Based Programming: Refinement and Model Checking

10:00-10:30 Clare Dixon (Univ. Liverpool, UK) - Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols

10:30-11:00 BREAK

11:00-11:30 Alessandro Cimatti (IRST, IT) - Effective Boolean Methods for Reasoning about Knowledge

11:30-12:00 Alessio Lomuscio (Kings College London, UK) - Model Checking Deontic Interpreted Systems

12:00-12:30 Wojciech Penczek (Polish Academy of Science, PL) - Verifying MAS using the model checker VERICS

12:30-13:30 LUNCH

13:30-14:00 Dieter Hutter (DFKI, DE) - Information Flow Control to Ensure the Security of Multi-Agent Systems

14:00-14:30 Mike Holcombe (Univ. Sheffield, UK) - Validating Agent Based Models of Biological Systems

14:30-15:00 Rafael Bordini (Univ. Durham, UK) - Model Checking and Abstraction Techniques for Agent Verification

15:00-15:30 BREAK

15:30-16:00 Sieuwert van Otterloo (Univ. Liverpool, UK) - Axioms for Preferences

16:00-16:30 Pierre Yves Schobbens (Univ. Namur, BE) - Model-checking and refinement in logics for agents

16:30 CLOSE