BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260501T070859Z
UID:Seminar-verification-676@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20181206T130000
DTEND:20181206T140000
SUMMARY:Verification Series
DESCRIPTION:Clare Dixon: Overview to the S4 Project with a Focus on Synchronisation Protocols\n\nThe talk will provide an overview of the research project the Science of Sensor Systems Software (S4). I will focus on the aspects I have found interesting from the sensor systems domain and that may be interesting for the verification group. Additionally I will discuss the work that Liverpool team has carried out relating to verification of protocols for wireless sensor networks, in particular synchronisation protocols. This talk relates to work carried out by the Liverpool S4 team (Clare Dixon,  Michael Fisher, Paul Gainer, Sven Linker, and Matt Webster).\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=676
LOCATION:
END:VEVENT
END:VCALENDAR