groups of people from above view looking down

Seminars

Seminars

The Security Institute runs a variety of seminars. These include (a) the keynote SL Institute Seminars (SL-IS), (b) the research focused SL Research Seminars (SL-RS), (c) dedicated SL-relevant offerings by the individual SL research areas e.g, Societal Threats via PPR, System Security via SSG etc, (d) by our sister institutes DSI, ISF, MSI and (e) combinations of all above

See full SSG & SL Seminar Calendar.

All SL seminars take place 'Friday 2-3pm' UK time unless otherwise indicated.

Date | Link Speaker|TitleSL Area (Host)

10.06|Teams

Dr Stephan Merz (Inria Nancy) | PDF Specifying and verifying algorithms in TLA+

Distributed Systems (A.Gouglidis)

15.06|Teams

Professor Neil Cooper (School of peace and conflict studies, Kent state university) | More details coming soon

Societal Threats (M.Lacy)

15.07|Teams

Dr Emily Spearing (University of Warwick) | PDF The Confidence-Accuracy Relationship for Eyewitness Reports

Policing (S.Nightingale)