We currently have four open positions for PhD students and one open position for a postdoctoral researcher. The open positions are in various externally funded projects. In particular, we are looking for candidates to fill …continue reading
News
Best paper award at LATA 2020
The paper “Complexity of Automatic Sequences” by Hans Zantema has been awarded the best paper award for the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), which will be held in …continue reading
Two papers on partial-order reduction accepted at FoSSaCS, TACAS
The papers “Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Wieger Wesselink and “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction” by Thomas Neele, …continue reading
Paper on O(m log n) algorithm for branching bisimulation accepted at TACAS 2020
The paper “An O(m log n) algorithm for branching bisimilarity on labelled transition systems” by David Jansen, Jan Friso Groote, Jeroen Keiren and Anton Wijs has been accepted for presentation at TACAS, part of ETAPS …continue reading
Paper on Variability Parity Games accepted at FASE 2020
The paper “Family-Based SPL Model Checking Using Parity Games with Variability” by Maurice ter Beek, Sjef van Loo, Erik de Vink and Tim Willemse has been accepted for presentation at FASE, part of ETAPS 2020, …continue reading
Open position Postdoc: continuous improvement of machines through verified software updates
We are looking for a post-doctoral researcher on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means …continue reading
Open position PhD student: continuous improvement of machines through verified software updates
We are looking for an excellent PhD student on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by …continue reading
Paper accepted in FACS2018 special issue
The paper “Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Jan Friso Groote was accepted for publication in the FACS2018 special issue of Science of Computer Programming. This …continue reading
Paper on up-to techniques for branching bisimilarity accepted at SOFSEM 2020
The paper “Up-to Techniques for Branching Bisimilarity” by Rick Erkens, Jurriaan Rot and Bas Luttik has been accepted for presentation at SOFSEM 2020 in Limassol, Cyprus.
Paper accepted at Express
The paper Distribution of Behaviour into Parallel Communicating Subsystems by Omar Alduhaiby and Jan Friso Groote has been accepted for Express 2019.