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 Decision Problems in Separation Logic with General Inductive Predicates. FoSSaCS 2014: 411-425
• Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma: Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546
• Daniel Kroening, Michael Tautschnig: CBMC – C Bounded Model Checker – (Competition Contribution). TACAS 2014: 389-391
  Gold medal in the “Overall” category in the 2014 Software Verification Competition.
• Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby: Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214
• Andrzej S. Murawski, Nikos Tzevelekos: Game Semantics for Nominal Exceptions. FoSSaCS 2014: 164-179

Well done everybody!