Posted: 17th April 2013

Five papers (co-)authored by Oxford Computer Scientists have been accepted at IEEE's Logic in Computer Science conference.  LICS is the premier international forum on topics that lie at the intersection of computer science and mathematical logic. The papers are:

• Quantitative Monadic Second-Order Logic by Stephan Kreutzer and Cristian Riveros
• Bisimilarity of Pushdown Automata is Nonelementary by Michael Benedikt , Stefan Goller (Universitat Bremen) Stefan Kiefer  and Andrzej Murawski (University of Leicester)
• Expressive Completeness for Metric Temporal Logic by Paul Hunter, Joel Ouaknine and James Worrell   
• Topological Structure of Quantum Algorithms by Jamie Vicary
• Trading Performance for Stability in Markov Decision Processes by Tomas Brazdil (Masaryk University), Krishnendu Chatterjee (IST Austria), Vojtech Forejt and Antonin Kucera (Masaryk University)

LICS 2013 will be held in June 2013, in New Orleans on the campus of Tulane University.