Formal Methods Europe

Homepage of FME

AVOCS 2013: call for participation

By Bernhard Aichernig • Aug 5th, 2013 • Category: Sponsored by FME

AVOCS 2013 ( will be held at Surrey on 11-13 September 2013. We have accepted 14 regular papers and 2 short papers. The main ethos of the workshop is to facilitate discussion of the research. The number of submissions received this year were the highest number seen by the workshop to date. Several of the regular papers report on emerging research from PhD students.

The workshop organisers are from Surrey, Helen Treharne and Steve Schneider, but have been supported by an active international programme committee. Both Helen and Steve are grateful for their support.

During the workshop we will have two invited talks by Marco Roveri,who is a Senior Researcher at Fondazione Bruno Kessler, Italy, and Alessio Lomuscio who is a Professor in logic for multi-agent systems in the Department of Computing, Imperial College London.  Marco will give a talk entitled Software Model Checking with Explicit Scheduler and Symbolic Threads. The talk will refer to the software model checker Kratos and its use in the railway domain. Alessio’s invited talk will be on Verification of multi-agent systems via model-checking.

We are looking forward to a lively workshop and welcome your participation in the event.

FME is sponsoring three students bursaries for the event.

Comments are closed.