Programme
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. Coffee 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 |