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).