Agent Verification Workshop

11 September 2015, Liverpool, UK

Co-located with TAROS 2015
University Of Liverpool

Welcome to Agent Verification 2015

The first workshop in the Agent Verification series will be held in conjunction with the 16th International Conference on Toward Autonomous Robotic Systems (TAROS 2015). Agent Verification 2015 will be held as a one-day workshop in Liverpool, UK immediately after the TAROS 2015 conference on 11 September 2015.

The aim of the workshop is to provide an overview of the field of Agent Verification and associated topics primarily within the UK. We hope this will be of particular value to PhD students in the area but expect it will also provide a useful networking opportunity for more established people. The format of the workshop will be a series of invited talks with the aim of providing good coverage of the research area followed by a panel session and discussion on current research challenges.

Invited Speakers


Please use this link to register.


The workshop is being held in the Foresight Centre at the University of Liverpool.

For full set of maps and travel information, see the Foresight Centre page.

PhD Student Travel Support

To apply for PhD student travel/subsistence funding of up to £150, please email Michael Fisher by 25th July 17th August 2015 (extended) with two items

  • an email from the applicant confirming that (s)he is a PhD student working in the area of (agent) logics or verification, how much funding is required (if not the full £150), and how the PhD is funded.
  • an email from the applicant's PhD supervisor (again to Michael Fisher) confirming that the applicant is a PhD student, that attendance at the workshop will be valuable, and where the PhD funding is from.

If allocated travel/subsistence funding you will be notified in early August, but you will have to claim back from University of Liverpool after the event (and so be required to provide travel/accommodation receipts, etc). Preference will be given to EPSRC funded PhD students. In addition we encourage you to generate a poster that can be displayed at the workshop and that you can discuss with attendees during refreshment/lunch breaks."

Workshop Program

Time Activity Topic
09:00 - 09:30 Registration
09:30 - 10:00 Michael Fisher Verifiable Autonomy (slides)
10:00 - 10:30 Franco Raimondi Using Java Pathfinder to Reason about Agent Systems (slides)
10:30 - 11:00 Natasha Alechina Reasoning about Resource-bounded Agents (slides)
11:00 - 11:15 Break
11:15 - 11:45 Kerstin Eder Theorem Proving and Testing for Autonomous Systems (slides)
11:45 - 12:15 Yu Lu Model Checking Satellite Constellations (slides)
12:15 - 13:00 Lunch
13:00 - 13:30 Ioana Boureanu Multiagent System-based Verification of Security and Privacy (slides)
13:30 - 14:00 Clare Dixon Model Checking Swarm Robotics (slides)
14:00 - 14:45 Break
14:45 - 16:15 Panel Discussion
    Michael Fisher (chair),
    Kerstin Eder,
    Brian Logan,
    Dave Parker and
    Michael Rovatsos
Current Research Challenges in Agent Verification (Questions)
16:15 End