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 …continue reading
News
Paper accepted for ACM TOCL
The following paper has been accepted for publication in ACM Transactions on Computational Logic:Extensible Proof Systems for Infinite-State Systems, by Rance Cleaveland (University of Maryland, College Park) and Jeroen Keiren
Two papers accepted at ICTAC 2023
Two papers submitted by members of FSA were accepted for publication at ICTAC 2023, which will take place in Peru. The following will be presented there: Simplifying process parameters by unfolding algebraic data types, by …continue reading
VENI grant awarded
The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project …continue reading
Four papers accepted at CONCUR
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 …continue reading
Master thesis award
The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.
Two papers accepted at IJCAI 2023
We are happy to have two papers accepted at IJCAI 2023: “More for Less: Safe Policy Improvement With Stronger Performance Guarantees” together with TU Dresden and Radboud University Nijmegen and “A Unifying Formal Approach to …continue reading
Paper accepted at NASA formal methods
The paper “Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access” by C. Dubslaff from FSA and a collaboration with TU Dresden (P. Wienhöft, C. Baier, and S. J. Kiebel) has been accepted for …continue reading
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 …continue reading
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.