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 →