![ALCOP 2014: Call for participation](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…
![Dino: 2014 Royal Academy of Engineering Silver Medalist](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…
![Postdoc on Semantics and Verification](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…
![Theory group: 5 papers at ETAPS'14, including gold medal in TACAS Competition!](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…
![EECS Programming Competition 2014: winners announced!](https://theory.eecs.qmul.ac.uk/wp-content/uploads/2014/02/comp_2014s.jpg)
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,…
![Dino and the Monoidics team at Facebook](https://theory.eecs.qmul.ac.uk/wp-content/uploads/2014/01/fb.jpg)
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…