Menu

News archive

An archive of CISA news items.

Alan Bundy Keynote talk at Enabling Mathematical Cultures

Workshop taking place 5-7th December, University of Oxford

Andriana Gkaniatsou wins best paper award at ISC 2017

Paper: Low-level Attacks in Bitcoin Wallet

Current vacancy within CISA

We currently have an open position in ML and AI

Vacant Position: Research Associate

We invite applications for a full-time fixed-term Research Associate on the DARE project

Vaishak Belle invited talk and tutorial at Hybris-17

The tenth Hybris Workshop took place place on Nov 6th-7th 2017 at RWTH Aachen University, Germany

Two CISA Members announced as Turing Fellows

The Alan Turing Institute has announced a list of Turing Fellows, including Vaishak Belle and Ewan Klein of CISA.

New Member of Staff: Stefano Albrecht

CISA is delighted to welcome Stefano, our new Lecturer in Artificial Intelligence.

Accepted poster at SICSA DemoFest

CISA student Xue Li will be presenting her poster at DemoFest 2017

DARE: Delivering Agile Research Excellence on European e-Infrastructures

The University of Edinburgh was awarded funding for the EU H2020 project DARE, which will deliver new methods and tools for data-powered collaborative research at extreme scales

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

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)

Paper accepted at UAI 2017, Australia

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

Paper accepted at CADE-26

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

Conference on Intelligent Computer Mathematics, Edinburgh 2017

CISA sponsored conference, being held at School of Informatics

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

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.

Agent-Mediated Electronic Commerce and Trading Agents Design and Analysis (AMEC/TADA)

Sofia Ceppi organising workshop in conjunction with AAMAS 2017

Generalized Planning workshop at ICAPS-17

Workshop organised by Vaishak Belle

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: Invited talk at W3C Technical Architecture Group developers' meetup, Tokyo

Spoke to Japanese Web developers about the work being done in the W3C Social Web Working Group

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.

The project Research for Emergency Aftershock Research (REAR)

Funded under the GCRF Building Resilience Scheme by NERC, ESRC, AHRC

Funded PhD Studentship in Argumentation and Social Choice for Bridging Online Communities available!

A full 3.5-year studentship including tuition fees and stipend is available for outstanding applicants to study toward a PhD at CISA

MATHsAiD: Automated Mathematical Theory Exploration

Paper accepted for publication in the journal Applied Intelligence, subject to minor revisions

Two papers accepted at HEALTHINF 2017

These position papers showcase the diverse and impactful work that we do in applied artificial intelligence.

Two new academic faculty positions in AI available!

Exciting new opportunities to work with us in Artificial Intelligence and Human-Machine Collaboration!

Survey paper on Data-Intensive Scientific Workflows published

Chee Sun Liew, Malcolm P. Atkinson, Michelle Galea, Tan Fong Ang, Paul Martin and Jano I. van Hemert, Scientific Workflows: Moving Across Paradigms, ACM Comput. Surv. Vol 49, No. 4 pp 66:1-66:39 (December 2016)

PhD positions on Knowledge Representation for Learning and Uncertainty

Application deadline: March 2017 (**see below for more information**)

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).

Book Review: Preparing for the future of Artificial Intelligence

We review the USA's National Science and Technology Council report ,"Preparing for the future of Artificial Intelligence".

AAAI-17 Workshop on Symbolic Inference and Optimization

Workshop co-organised by Vaishak Belle

Scottish Theorem Proving Seminar

Co-organised by Alan Bundy and Francisco Quesada Real

Linked Data Notifications is a W3C Candidate Recommendation

Amy Guy is the UoE Informatics representative in the W3C Social Web Working Group

Paolo Pareti presenting poster and workshop paper

The 15th International Semantic Web Conference

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.

Sofia Ceppi presenting a paper at IJCAI 2016, New York

Paper titled: Online Mechanism Design for Vehicle-to-Grid Car Parks

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. Congratulations, Daniel!

Participation in the Edinburgh International Science Festival

With the Edinburgh Centre for Carbon Innovation (ECCI) - Friday 17th April 2015, 7-10pm.

New paper at EKAW 2014 by Paolo Pareti, Ewan Klein and Adam Barker

Our paper titled "Integrating Know-How into the Linked Data Cloud" got accepted at the 19th International Conference on Knowledge Engineering and Knowledge Management (24 - 28 November 2014, Linköping, Sweden).

ProofPeer: Collaborative Theorem Proving

We propose to create a new model for interactive, machine-based theorem proving that integrates collaboration as a core concept.