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
- Natasha Alechina , University of Nottingham
- Clare Dixon , University of Liverpool
- Kerstin Eder , University of Bristol
- Michael Fisher , University of Liverpool
- Ioana Boureanu , Imperial College London
- Yu Lu , University of Glasgow
- Franco Raimondi , Middlesex University London
Registration
Registration is now closed
Venu
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 Panelists: Michael Fisher (chair), Kerstin Eder, Brian Logan, Dave Parker and Michael Rovatsos |
Current Research Challenges in Agent Verification (Questions) (Discussion) |
| 16:15 | End |
Organisers
- Louise Dennis
- Michael Fisher
- Maryam Kamali
- Matt Webster
