Posted: 23rd June 2015

Five papers, authored or co-authored, by members of Oxford's Computer Science Department have been accepted at the 26th International Conference on Concurrency Theory (CONCUR), which is one the premier conferences in Theoretical Computer Science. The conference will also have Oxford’s Professor James Worrell as an invited speaker. CONCUR will be held in Madrid in September, 2015. 

The papers and their authors are:

• Luca Cardelli, Mirco Tribastone, Max Tschaikowski and Andrea Vandin. Forward and Backward Bisimulations for Chemical Reaction Networks.
• Vojtech Forejt and Jan Krcal. On Frequency LTL in Probabilistic Systems.
• Julian Gutierrez, Paul Harrenstein and Michael Wooldridge. Expressiveness and Complexity Results for Strategic Reasoning.
• Cesar Rodriguez, Marcelo Sousa, Subodh Sharma and Daniel Kroening. Unfolding-based Partial Order Reduction.
• Sadegh Soudjani, Rupak Majumdar and Alessandro Abate. Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic

For more information see  http://mafalda.fdi.ucm.es/concur2015/