CISA news

Conference on Intelligent Computer Mathematics, Edinburgh 2017

CISA sponsored conference, being held at School of Informatics

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.

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

Paper accepted at UAI 2017, Australia

The paper discusses how to handle nested functions and quantification in relational probabilistic graphical models

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

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.