The University of Southampton

×

Cyber Physical Systems (CPS) Events

View our current and past events

19th December, 2025 @ 14:30

CPS Seminar: What can’t you do with OZF multipliers?

Speaker: Prof Will Heath, Bangor University

Continue Reading

13th November, 2025 @ 14:00

CPS Seminar: NetFridgeS: Enabling dynamic frequency scaling on network switches through carbon-aware routing

Speaker: Zhukun Wang, University of Oxford

Continue Reading

25 June, 2025 @ 11:30 - 13:00

CPS Seminar: Formalizing concentration inequalities in Rocq: infrastructure and automation

Speaker: Alessandro Bruni, ITU Copenhagen

Continue Reading

14 May, 2025 @ 14:00 - 15:00

CPS Seminar: Fault Detection, Identification, and Exclusion in a Multi-Robot, Multi-Target Search and Rescue Scenario using Parallel Unscented Kalman Filters

Speaker: Professor Richard T.O’Brien Jr., United States Naval Academy in Annapolis, MD, USA

Continue Reading

31 March, 2025 @ 12:00 - 12:00

CPS Seminar: A journey in mathematical modeling, from program verification to new perspectives on digital twins

Speaker: Dr Charles Grellois, University of Sheffield

Continue Reading

27th March, 2025 @ 14:00 - 15:00

CPS Seminar: Well-behaved (Co)algebraic semantics of regular expressions in Dafny

Speaker: Wojciech Różowski, University College London

Continue Reading

20th March, 2025 @ 14:00 - 15:00

CPS Seminar: Memory Augmented Adaptive Identification and Control of Switched Linear Systems

Speaker: Dr Pritesh Patel, University of Southampton

Continue Reading

6th March, 2025 @ 14:00 - 15:00

CPS Seminar: What can automated reasoning do for you?

Speaker: Dr Michael Rawson, New Frontiers Fellow

Continue Reading

24th February, 2025 @ 14:00 - 15:00

CPS Seminar: Clan Composition to Speed-Up Discrete Event System Analysis

Speaker: Dmitry Zaitsev, University of Derby, UK

Continue Reading

29th January, 2025 @ 13:00 - 14:00

CPS Seminar: Advancing Digital Forensics Analysis

Speaker: Professor Nathan Clarke, University of Plymouth, UK

Continue Reading