## 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 … Continue reading

## 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, … Continue reading

## Andrei Talks CoCon at Queen Mary

Andrei gave a talk at Queen Mary’s theoretical computer science group seminar. Predictably, the topic was his beloved CoCon. The slides can be found here.

## 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 … Continue reading

## CoCon@TABLEAUX2015

CoCon is a conference management system with confidentiality verified in the Isabelle theorem prover. It is being developed as a joint project between the Technical University of Munich and Middlesex. CoCon has just been successfully used for managing the paper … Continue reading

## Tutorial at TABLEAUX 2015

On Sept. 20, Andrei will give a half-day tutorial on inductive and coinductive datatypes at the TABLEAUX 2015 conference in Wroclaw.

## 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, … Continue reading

## ICFP 2015

The paper Foundational Extensional Corecursion: A Proof Assistant Perspective by Andrei and his collaborators (Jasmin Blanchette and Dmitriy Tarytel) was accepted at ICFP 2015. It argues that total productive programming with lazy structures (also known as co-programming) is best hosted … Continue reading

## Barnaby Martin named Employee of the Month

Barny has been named the group’s Employee of the Month after his success at LICS and ICALP 2015.

## Giuseppe Primiero to give PhD lectures in Stockholm

Between the 2nd and the 9th of May, Giuseppe will be visiting the the Dept. of Computer and Systems Sciences at the Stockholm University and deliver 3 lectures for PhD students. The lectures will cover Computer Science as Abstraction and … Continue reading