Edward Liem, who recently graduated with FSA, will continue as a PhD student in FSA, working under the supervision of Clemens Dubslaff. A warm welcome to Edward!
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.
We’re very pleased to welcome Valentina, Myrthe and Matthias in FSA. Valentina and Matthias both started as assistant professor in FSA on 1 October, 2023. At the same time, Myrthe Spronck started as PhD candidate in FSA, also on 1 October.
A whopping four papers, submitted by members of the FSA group, have been accepted for publication in this year’s CONCUR edition in Antwerp. Bas Luttik and Myrthe Spronck have a paper on multi-writer, multi-reader non-atomic registers; Jan Friso Groote and Jan Martens have a paper on the complexity of computing minimal distinguishing HML formulae; Flip …continue reading
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
Maurice ter Beek (ISTI, CNR, Pisa) will be visiting us from 1-6 March. He’ll be working on variability parity games, together with Erik de Vink and Tim Willemse.
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).
Rance Cleaveland (Maryland University) is our guest from 16-20 January.
Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.
We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.