2015 Advisory Meeting

About

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. 

Details

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


Programme

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