![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…
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…