European Co-Ordination Action for Agent-Based Technologies (AgentLink);
European Network of Excellence on Computational Logic (CologNet)
| Michael Fisher (University of Liverpool, U.K.) |
http://www.csc.liv.ac.uk/~michael |
| Mike Wooldridge (University of Liverpool, U.K.) | http://www.csc.liv.ac.uk/~mjw |
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.
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
Location/Accomodation:
See details on EASSS WWW page here
Participation/Sponsorship:
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.Draft Programme: