Samson Abramsky receives Honorary Doctorate from Middlesex

Professor Samson Abramsky FRS was awarded an Honorary Doctorate by Middlesex University. Samson is the Christopher Strachey Professor of Computing at the Department of Computer Science at the University of Oxford. Samson has connections to the Foundations group. His PhD supervisor was Richard Bornat, and Samson was the PhD supervisor of Raja Nagarajan.


Spring papers in higher level conferences

James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe. Model checking for symbolic-heap separation logic with inductive predicates. POPL 2016.

Taolue Chen, Fu Song, and Zhilin Wu. Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI 2016.

Xincai Gu, Taolue Chen, and Zhilin Wu. A complete decision procedure for linearly compositional separation logic with data constraints. IJCAR 2016.

Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, and P. S. Thiagarajan. An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems. FASE 2016.

Manuel Bodirsky, Barnaby Martin, Michael Pinsker and András Pongrácz. Constraint satisfaction problems for reducts of homogeneous graphs. ICALP B 2016.

Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu, Franco Raimondi. CoSMed, a Confidentiality-Verified Social Media Platform. ITP 2016.

M. Bottone, G.Primiero, F. Raimondi, V. De Florio, A model for trustworthy orchestration in the Internet of Things. IE 2016.

Barnaby Martin Seminar in Durham

Barnaby gave the Algorithms and Complexity Seminar at Durham on 30th November. His talk on “Minimal generating sets for direct powers of finite algebras” caused some consternation as it was largely disjoint from the fields of algorithms or complexity. One member of the group exclaimed that it was an hour of his life he’d never get back, to which Barnaby replied that this was how he felt whenever he heard a symphony of Shostakovich.

CSL 2015

Barnaby Martin has a paper accepted at CSL 2015, co-authored with Simone Bova, and titled “First-Order Queries on Finite Abelian Groups”. The 24th EACSL Annual Conference on Computer Science Logic will be held at the Technical University Berlin from Monday, 7 September 2015 to Thursday, 10 September 2015.