Skip to main content Skip to navigation

News

View the latest news from departments within the Faculty of Science, Engineering and Medicine below.

Computer Science News

Best Paper Award at STOC 2019

Petri net representation of a population protocol (Blondin et al., LICS 2018)The contribution The Reachability Problem for Petri Nets is Not Elementary by Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki has won a Best Paper Award at the 51st Annual ACM Symposium on the Theory of Computing, to be held on June 23-26, 2019 in Phoenix, AZ.

This work, which was supported by a Leverhulme Research Fellowship, shows that the central verification problem for Petri nets is much harder than has been known since the landmark result of Richard Lipton in 1976. Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes.

Sat 16 Mar 2019, 12:38 | Tags: People Conferences Grants Highlight Research

Statistics News and Events

Physics Department News

News @ Warwick Chemistry

Life Sciences News

School of Engineering News

WMG News

Maths

News from Medical School

Psychology