An archive of CISA news items.
Alan Bundy wins Thoralf Skolem Award
Alan Bundy’s paper “The Use of Explicit Plans to Guide Inductive Proofs” from CADE-9 won the Skolem award for most influential paper at this year’s CADE-26.
Paper accepted at CADE-26
WorkflowFM: A logic-based framework for formal process specification and composition, by Petros Papapanagiotou and Jacques Fleuriot
Paper accepted at e-Health 2017
Development of workflow-based guidelines for the care of burns in Scotland
by Ailsa Dewanti, Petros Papapanagiotou, Charlotte Gilhooly, Jacques Fleuriot, Areti Manataki and Laura Moss
Best student paper award at ESWC 2017
The article Linked Data Notifications co-authored by CISA student Amy Guy was nominated for both "Best Research Paper" and "Best Student Paper" prizes at the 2017 Extended Semantic Web Conference, and was awarded the latter.
Article accepted at ICWE 2017
Decentralised Authoring, Annotations and Notifications for a Read-Write Web with dokieli (Sarven Capadisli, Amy Guy, Ruben Verborgh, Christoph Lange, Sören Auer1, Tim Berners-Lee ) was accepted to the Applications track at the International Conference on Web Engineering.
SKA-Link Kick-off Meeting
The DIR group was at the Spanish SKA-Link kick-off meeting in strength: Malcolm Atkinson, Rosa Filgueira, Amy Krause and Alessandro Spinuso.
Amy Guy co-organising workshop at Extended Semantic Web Conference
The workshop is co-located with ESWC2017, but by no means limited to Semantic Web researches or even Computer Scientists. We welcome participation from any discipline or field of expertise. We also don't necessarily expect participants to be directly working on tools for academic publishing, but perhaps are interested to discuss how parts of their work could be applied to this area.
NERC Project funded
Informatics and GeoSciences have teamed up on a NERC-ESRC-AHRC funded GCRF Building Resilience project on Research for Emergency Aftershock Research (REAR)
Two papers accepted at AAAI-17
These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).
5 Years of Edinburgh MOOCs
On 3rd October 2016 a celebration of the first 5 years of University of Edinburgh Massive Open Online Courses (MOOCs) took place in the Playfair Library in the University's Old College.
Daniel Raggi - PhD Viva
Daniel had his PhD viva on Wednesday 6th of July; examiners were Manfred Kerber and Jacques Fleuriot - he passed with minor corrections.