Category Archives: Uncategorized
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
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 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 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 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
On Sept. 20, Andrei will give a half-day tutorial on inductive and coinductive datatypes at the TABLEAUX 2015 conference in Wroclaw.
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
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
Barny has been named the group’s Employee of the Month after his success at LICS and ICALP 2015.
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