Latest News
Marieke Huisman ended her term as SC chair of the ETAPS conferences
Marieke Huisman ended her term as SC chair of the ETAPS conferences. Her role will be taken over by Laura Kovacs. During the general assembly held during the recent ETAPS conference in Hamilton, she was thanked for her contributions to ETAPS.
Paper accepted at FMICS 2025
The paper AutoSV-Annotator: Integrating Deductive and Automatic Software Verification written by Lukas Armborst, Dirk Beyer, Marieke Huisman and Marian Lingsch-Rosenfeld has been accepted at FMICS 2025.
Journal paper accepted at FMSD
The journal paper Preserving Provability over GPU Program Optimizations with Annotation-Aware Transformations written by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs has been accepted at the journal Formal Methods in System Design.
Marieke Huisman Board member IPN
At the ICT.OPEN conference of 15 and 16 April, Marieke Huisman has been appointed as chair of the ICT-Research Platform Netherlands (IPN) for the coming three years. We wish Marieke lots of success and fun in this new role!
Paper accepted at COORDINATION 2025
The paper Verified Parameterized Choreographies written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at COORDINATION 2025. The accompanying artefact (doi) was also accepted with Available and Functional badges. See you in Lille!