Events & Collaboration

Events

The platform grant is used to organise and support a wide range of events and activities - including:

• The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

• AI4FM 2015

• Advisory board meeting July 2015

• Workshop on Real World Domain Specific Languages (Heriot-Watt,2014)

• International Workshop on Context, Interpretation andMeaning (CIM) at ISWC '14

• AI4FM 2014

• Two day Isabelle course (2013)

• 2nd UK OntologyNetwork Meeting (Edinburgh, 2013)

• AI4FM 2013

• AISB Symposium on AI & Poetry (Exeter, 2013)

• CIAO 2013

• The 9th International Workshop on Automated Deduction in Geometry

• International Workshop on Learning on the go in LargeHeterogenous Data (LHD) at ISWC '12

• International Workshop on 75 Years of Lambda Calculus (St. Andrew, 2012)

• ATX 2012

• WING 2012

• International Workshop on Learning on the go in LargeHeterogenous Data (LHD) at IJCAI '11

• Scottish Programming Language Seminar (Heriot-Watt, 2011)

• Scottish Programming Language Seminar (Heriot-Watt, 2010)

  • It plays an active role in organising the Scottish Theorem Provings (STP) seminar series

Distinguished Visitors

An important part of the platform grant is that it it used to invite distinguished international visitors to visit one or more of the sites. Visitors include:

• • Andrew Aberdein

  • Jean-Raymond Abrial

  • Ewen Denney

  • Szymon Klarman

  • Christoph Luth

  • Colin O'Halloran

  • Graham Steel

  • Dan Ventura

  • Makarius Wenzel

Events Calendar

Friends of the Grant

The group has long time collaborations with several groups and individuals, including:

• • Ursula Martin (Oxford)

  • Colin O'Halloran (Oxford / DrisQ)

  • Stephen Muggleton (Imperial)

  • DFKI Bremen/Saarbrucken

  • Katya Komendantskaya (Dundee)

  • Alison Pease (Dundee)

  • Moa Johansson (Chalmers)

  • Cliff Jones (Newcastle)

  • Leo Freitas (Newcastle)

  • Ewen Denney (NASA)

  • J Strother Moore (University of Texas at Austin)

  • Aleks Kissinger (Oxford)