CISA news

Conference on Intelligent Computer Mathematics, Edinburgh 2017

CISA sponsored conference, being held at School of Informatics

Alan Bundy, invited talks this summer

Alan has been invited speaker at several conferences over the summer.

Jacques Fleuriot invited to speak at the Isaac Newton Institute

This forms part of the Programme on Big Proof

Publication of a Special Issue celebrating 10 years of WORKS

FGCS has published our special issue celebrating the first 10 years of WORKS (WORKflows for Science)

Three papers accepted at IJCAI

Conference held in Melbourne, Australia in August

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 [1]) was accepted to the Applications track at the International Conference on Web Engineering.

Paper accepted at CADE-26

WorkflowFM: A logic-based framework for formal process specification and composition, by Petros Papapanagiotou and Jacques Fleuriot

Vaishak Belle invited to talk at IJCAI 2017

Unification of logic, probability and dynamics

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

News archive

An archive of CISA news items.