Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.
News
Best Artefact award at FORTE 2022
The software tool for analysing policies specified in XACML, which, under the hood, uses mCRL2, won the best Artefact award at FORTE. The tool is described in the paper ‘Process Algebra Can Save Lives: Static …continue reading
Paper on XACML in FORTE 2022
A paper by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse, dealing with mCRL2-powered analysis of access control policies, specified in XACML, has been accepted for FORTE 2022.
Paper accepted for presentation at TACAS 2022
The paper “On-The-Fly Solving for Symbolic Parity Games“, by Maurice Laveaux, Wieger Wesselink and Tim Willemse, has been accepted for the ETAPS 2022 conference TACAS. The paper describes how to use on-the-fly solving techniques during …continue reading
Journal paper on non-linear pattern matching accepted for LMCS
The journal paper “Adaptive Non-Linear Pattern Matching Automata” by Rick Erkens and Maurice Laveaux has been accepted for publication in the FSCD2020 special issue of Logical Methods in Computer Science.
Vacancy for Assistant Professor
The FSA group has a vacancy for an assistant professor (tenure-track/tenured) under the Irène Curie Fellowship programme, which offers a substantial start-up package. We are particularly keen on strengthening our expertise in automated reasoning, SAT …continue reading
Two new FSA members per 1 October
On 1 October, Tom Franken started as a PhD student working on the NWO-funded TOP project AVVA. At the same time, we welcomed back Thomas Neele, who started working as an Assistant Professor in our …continue reading
Journal paper on the formal verification of OIL component specifications accepted for STTT
The journal paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for the special issue FMICS 2019/2020 of the journal on Software Tools …continue reading
Tim Willemse group leader
Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.
Keynote presentation by Luca Aceto on the axiomatisation of parallel composition at LICS 2021
On Friday July 2, 2021, our colleague Luca Aceto from Reykjavik University delivered an invited talk at LICS 2021 entitled In search of lost time: Axiomatising parallel composition in process algebras. An article with the …continue reading