We have an annual advisory meeting where we present our recent results and future plan to our external advisory panel (and other external bodies) for feedback. We also use this panel to show how we have acted on feedback from previous years.
Venue: Room G.07 (Ground Floor), Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, United Kingdom
Date: July 2-3, 2015
Registration: please email your details including any special dietary requirements to Sofi Freijeiro-Armitage
Accommodation
The two nearby hotels we recommend for the event are:
If you are a panel member of invitee, we will provide expenses forms at the event and will reimburse as soon as possible through Heriot-Watt University.
Map
Thursday 2nd July
12:30-13:30 Lunch
13:30-14:00 Welcome & Overview - Paul Jackson
14:00-14:20 ProofPeer – Steven Obua
14:20-14:40 Proof Strategies – Gudmund Grov
14:40-15:00 Representation Evolution and Repair – Alan Bundy
15:00-16:00 Coffee & Tea + Demos & Posters
16:00-16:30 Emergency Response – Fiona McNeill
16:30-17:00 Healthcare – Jacques Fleuriot
17:00-17:40 Computational Creativity – Ewen Maclean
19:00-22:00 Buffet dinner for all participants (Mini Forum 2 – Level 4 (4.40))
Friday 3rd July
09:15-10:30 Panel Session 1: Automated Reasoning and Verification
Chair: Ursula Martin
Presenters: Rod Buchanan, Paul Caseley, Colin O’Halloran, Dieter Hutter
10:30-10.50 Coffee & Tea
10:50-12:05 Panel Session 2: Representation and Reasoning
Chair: Stephen Muggleton
Presenters: Fausto Giunchiglia, Frank van Harmelen, Kai-Uwe Kuehnberger, Peter Winstanley
12:05-12:30 Private Advisory Board meeting
12:30-14:00 Lunch