Use our registration form to request the joining instructions for upcoming seminars.
Please ensure you register by 12:00 GMT on the day of the seminar.
19th International Conference on Software Engineering and Formal Methods - 6 to 10 December 2021.*
SEFM 2021 is jointly organised by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK) and aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
*SEFM 2021 will be an entirely virtual event (due to the COVID-19 pandemic)
Resilience Talk 16 - 17 January 2022, 15:00-16:00 GMT
Nidhal Bouaynaya, Professor in Electrical and Computer Engineering, Rowan University, USA
Resilience Talk 17 - 31 January 2022, 15:00-16:00 GMT
Neeraj Suri, Distinguished Professor and Chair in Cyber Security, Lancaster University, UK
Resilience Talk 18 - 14 February 2022, 15:00-16:00 GMT
Robert Skilton, Head of Research, RACE, UK Atomic Energy Authority
Resilience Talk 19 - 28 February 2022, 15:00-16:00 GMT
Gopal Ramchurn, Professor of Artificial Intelligence, University of Southampton, UK
TAS Hub Doctoral Training Network Seminars
Find out more to join the DTN seminars
TAS Node in Governance and Regulation Seminars
TAS Node in Security Seminars