Talks will be given in the Ashton Lecture Theature. Breaks and poster sessions will be in the adjacent corridor.

Thursday, 19 May
11:00-11:55 Registration
Department of Computer Science, Ashton Building, Atrium.
Ashton Building, Room 1.01.
11:55-12:00 Opening
Ashton Lecture Theatre
12:00-13:00 Invited Talk
Julian Padget (University of Bath).
Deontic Sensors.
13:00-14:00 Lunch
14:00-15:30 Short Talks and Poster Session 1
Giles Reger and Martin Suda.
Using SAT and SMT Solvers for Finite Model Finding with Sorts.

Ekereuke Udoh, Vladimir Getov and Alexander Bolotov.
Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks.

Paul Gainer, Clare Dixon and Ullrich Hustadt.
Probabilistic Verification of an Ant-Based Swarming Algorithm.

Yizheng Zhao and Renate A. Schmidt.
Concept and Role Forgetting in ALCOIHmu+(top, and)-Ontologies.

Fabio Papacchini.
Rewriting ALC-TBoxes of Depth One via Resolution.
15:30-16:00 Coffee
16:00-17:00 Discussion
Automated Reasoning and Autonomy.

19:00-21:00 Dinner
Philharmonic Dinning Rooms (1st floor)
36 Hope Street, Liverpool, L1 9BX

Friday, 20 May
10:00-11:00 Invited Talk
Ulrich Berger (Swansea University)
Extracting nondeterministic programs.

11:00-11:30 Coffee
11:30-12:30 Short Talks and Poster Session 2
Clare Dixon, Ullrich Hustadt and Ana Ozaki.
Metric Temporal Logic Translations over the Naturals.

Lorenzo Gheri.
Universal Algebra for Syntax with Bindings.

Louise Dennis, Maryam Kamali and Michael Fisher.
Verifiable Autonomy using Rational Agents.

Claudia Nalon, Ullrich Hustadt and Clare Dixon.
KSP: A resolution-based prover for multimodal K.

Renate Schmidt and Uwe Waldmann.
Modal Tableau Systems with Blocking and Congruence Closure.

Alexander Bolotov and Vasily Shangin.
Towards Generalised Proof Search for Natural Deduction Systems for Logics I<α,β>.

12:30-14:00 Lunch
14:00-15:00 Discussion
15:00-15:30 Coffee and Business Meeting