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.
Upcoming TAS Hub Events
Recent Past Events
19th International Conference on Software Engineering and Formal Methods - 6 to 10 December 2021.*
SEFM 2021 was jointly organised by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK) and aimed 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.
The SEFM main conference proceedings are published in the Formal Methods subline of Springer's Lecture Notes in Computer Science, and can be accessed at this link.
UKRI Trustworthy Autonomous Systems in Health and Social Care Workshop