News & Events
November 2018

Best paper award at ICFEM 2018
Members of the Department's Autonomy and Verification Lab won best paper award at The 20th International Conference on Formal Engineering Methods, 12-16 November 2018, Griffith University, Gold Coast, Australia for the paper
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt and Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
This work was carried out as part of the EPSRC Research Programme Grant EP/N00756/1 Science of Sensor Systems Software and was also supported by the Sir Joseph Rotblat Alumni Scholarship at Liverpool.
Department of Computer Science
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the department
+44 (0)151 795 4275