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)
Workshop on Real World Domain Specific Languages (Heriot-Watt,2014)
International Workshop on Context, Interpretation andMeaning (CIM) at ISWC '14
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)
International Workshop on Learning on the go in LargeHeterogenous Data (LHD) at IJCAI '11
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)