Posted: 5th July 2013

Oxford authors have had a number of papers accepted to the Concur 2013 conference.  These include:

• Jonathan Kochems and Luke Ong. Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
• Vijay D'Silva. A Generalization of Simulation to Abstract Domains
• Julian Gutierrez and Glynn Winskel (Cambridge). Borel Determinacy of Concurrent Games

CONCUR 2013 is the 24th International Conference on Concurrency Theory, that will be held in Buenos Aires, Argentina at the University of Buenos Aires, on  August 27 - 30, 2013. The conference will bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.