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 →