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)