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
Author: Tim Willemse
Visitor: Maurice ter Beek
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.
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).
Visitor: Rance Cleaveland
Rance Cleaveland (Maryland University) is our guest from 16-20 January.
Visitor: Valentina Castiglioni
Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.
Clemens Dubslaff joins FSA!
We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.
Visitors: Nobuko Yoshida and Sung-Shik Jongmans
On Thursday, 13 October, Nobuko Yoshida (Oxford) and Sung-Shik Jongmans (OU/CWI) will be visiting the FSA group.
Kevin Jilissen joins FSA
Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.
Farewell Event for Hans Zantema
On Friday 9 September, we had a farewell event for Hans Zantema, with presentations by Herman Geuvers, Jan Willem Klop, Jan Friso Groote, and Hans Zantema himself. The text of Hans’ presentation is available here.
Farewell Symposium for Hans Zantema
On Friday 9 September, a symposium will be held on the occasion of Hans Zantema’s retirement. The symposium will start at 13.30 and end at 16.30 in LUNA (room Corona), TU/e. There will be contributions by Herman Geuvers, Jan Willem Klop, Jan Friso Groote and Hans Zantema himself. The event will be followed by a …continue reading