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.

# News

## Parallel Model Checking

The paper “Using the parallel ATerm library for parallel model checking”, by Groote, Jilissen, Laveaux, Spaendonck, and Willemse has been published in Lecture Notes in Computer Science 13560, Springer. It describes how very substantial speedups *…continue reading*

## Paper presented at CONCUR 2022

The paper On the Axiomatisation of Branching Bisimulation Congruence over CCS by Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir and Bas Luttik was presented at CONCUR 2022 on September 13, 2022. In the paper, which is *…continue reading*

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

## Tales of Electrologica

The book Tales of Electrologica. Computers, software and people, by Gerard Alberts and Jan Friso Groote is published in Springer’s History of Computing Series. It provides several accounts of the iconic X8 computer, built in *…continue reading*

## Proceedings FMICS 2022 available

The proceedings of Formal Methods for Industrial Critical Systems (FMICS) 2022, Warsaw, Poland, by Jan Friso Groote and Marieke Huisman are now available as LNCS 13487, Springer.

## 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 *…continue reading*

## Paper presented at SigSoft 2022

The paper Constructive Model Inference: Model Learning for Component-based Software Architectures by Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks and Ramon Schiffeler has been presented at SigSoft 2022 in Lissabon, Portugal. The paper *…continue reading*

## Papers accepted for ARQNL2022 and STTT

The paper (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems by Thomas Neele was accepted for presentation at ARQNL2022, a workshop affiliated with IJCAR and part of FLoC2022. Furthermore, the paper Partial-Order Reduction for Parity *…continue reading*

## Paper accepted for presentation at FMICS 2022

The paper Formal verification of an industrial UML-like model using mCRL2, by Anna Stramaglia and Jeroen Keiren, has been accepted for the CONFEST 2022 conference FMICS. The paper describes the translation of low-code models developed *…continue reading*