FSA goes to MARS

Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel Control Systems by Kevin Jilissen, Peter Dieleman and Jan Friso Groote, and a paper on the RAFT consensus protocol, by …continue reading

Conference Proceedings SEFM online

The proceedings of the 21st International Conference on Software Engineering and Formal Methods (SEFM 2023), held in Eindhoven on 6-10 November, is now available online. The conference, organised by Carla Ferreira, Jeroen Keiren, Thomas Neele and Tim Willemse was well-visited. The atmosphere was pleasant and there were many fruitful discussions among the participants.

New book: ‘Spelen met oneindigheid’

Hans Zantema has published a book (‘Spelen met oneindigheid, verrassende figuren en patronen’, in Dutch—English translation is work in progress) about infinite sequences and their visualisations, see this link. An interview with Hans can be found here. The interview also contains a puzzle; by submitting your answer to this puzzle, you have a chance to …continue reading

FSA Vacancies

Our department has 25 (assistant) professor vacancies; some such positions may end up in our group. We encourage those with a Formal Methods background (broadly construed) to apply for a position (ASAP). For details, see this page. For more information, send an email to the chair of FSA (Dr. Willemse).