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.
Registration is now closed
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.
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
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."
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 |