![ETAPS 2015 organised by the Theory Group](https://theory.eecs.qmul.ac.uk/wp-content/uploads/2015/11/etaps2015Pic-470x140.jpg)
Our group organised the 2015 version of the European Joint Conferences on Theory and Practice of Software (ETAPS) at Queen Mary in April 2015. The…
![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…
![Fully funded PhD studentship](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
Matthew Purver and Mehrnoosh Sadrzadeh have a fully funded PhD studentship joint between the Theory and Cognitive Science research groups. The project is about theory…
![Dino on Wired.it](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
Dino Distefano was interviewed by Wired.it for a news article on Italian startupers in London.
![Theory group at ETAPS'13: x5](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
Our group is represented in this year’s ETAPS with five papers: Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via…