ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…
Many congratulations to Dino who has won one of the four annual Royal Academy of Engineering Silver Medals for the year. The awards recognise “an…
We have a new opening for a 16-month postdoctoral position in the area of semantics/logic-based software verification. This is part of the EPSRC-funded project “Program…
The theory group has 5 papers in the ETAPS conferences this year: Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine: Foundations for…
This year’s programming competition took place on Wednesday 12 February in the ITL from 1pm to 5pm. The competition was run by Dr Paulo Oliva,…
Prof Dino Distefano was a founder and the Chief Science Officer of Monoidics. Monoidics was founded In 2009 with the goal of making the best…