ETAPS 2015 organised by the Theory Group

ETAPS 2015 organised by the Theory Group

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…

Read Article →
ALCOP 2014: Call for participation

ALCOP 2014: Call for participation

ALCOP 2014: Algebra and Coalgebra meet Proof Theory May 15 – 16, 2014 Queen Mary University of London ALCOP The aim of this workshop is…

Read Article →
Dino: 2014 Royal Academy of Engineering Silver Medalist

Dino: 2014 Royal Academy of Engineering Silver Medalist

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…

Read Article →
Postdoc on Semantics and Verification

Postdoc on Semantics and Verification

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…

Read Article →
Theory group: 5 papers at ETAPS'14, including gold medal in TACAS Competition!

Theory group: 5 papers at ETAPS’14, including gold medal in TACAS Competition!

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…

Read Article →
EECS Programming Competition 2014: winners announced!

EECS Programming Competition 2014: winners announced!

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,…

Read Article →
Dino and the Monoidics team at Facebook

Dino and the Monoidics team at Facebook

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…

Read Article →
Fully funded PhD studentship

Fully funded PhD studentship

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…

Read Article →
Dino on Wired.it

Dino on Wired.it

Dino Distefano was interviewed by Wired.it for a news article on Italian startupers in London.

Read Article →
Theory group at ETAPS'13: x5

Theory group at ETAPS’13: x5

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…

Read Article →