First Call for Workshops — CAV 2027, Amsterdam
04-Jul-2026
Computer Aided Verification (CAV) 2027 will be hosted, for the first time in the rich history of CAV, in the Netherlands. CAV and the workshops will be hosted at KIT in the heart of Amsterdam. Workshops: Monday 19 & Tuesday 20 July 2027 Main Conference: Wednesday 21 – Friday 23 July 2027 Website: https://conferences.i-cav.org/2027/ We solicit proposals for high-quality workshops with a clear connection to the main event. Workshops provide a forum for subcommunities to discuss open ...
3 year postdoc position at the intersection of theory, security, and systems at Leiden University
25-Jun-2026
3-year Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security, Leiden University, NL We are looking for a new colleague to join our exciting new research project at the intersection of theoretical computer science, computer systems, and cybersecurity. What will you do Develop theory aimed at applying concepts around bisimilarity to control flow graphs, with an eye towards applications in compiler engineering and security. Design algorithms to put thi...
Call for Papers BENEVOL 2026
07-Jun-2026
We invite submissions to BENEVOL 2026. This year marks a special occasion: the 25th anniversary edition of the Belgium-Netherlands Software Evolution Workshop. It will take place on 26–27 November 2026 in Madrid, Spain, at the Universidad Rey Juan Carlos. BENEVOL is an informal forum for researchers working on software evolution and maintenance. BENEVOL has brought together researchers from academia and industry across Belgium, the Netherlands, and beyond for 25 years. The workshop is a platfor...
Women in Tech Initiative Expands Nationally with Hack4Her 2026
01-Jun-2026
In the latest edition of I/O Magazine, Katja Tuma shares her vision for creating a more inclusive and supportive environment for women in technology. What began as a local initiative is now expanding nationally: Hack4Her 2026 will take place in both Amsterdam and Eindhoven, bringing together students, researchers, and technology enthusiasts from across the Netherlands. The initiative addresses a persistent challenge in computer science: not only attracting more women to the field, but also ensu...
Guidelines and Metrics for Impactful Open Research Software Practices
08-May-2026
We are excited to be involved in GUIDE-ME, a new collaborative research proposal led by researchers from Eindhoven University of Technology (Alexander Nolte) and Utrecht University (Slinger Jansen), Leiden University, and the Netherlands eScience Center. The project focuses on strengthening Open Science through better practices for open research software. Specifically, GUIDE-ME aims to develop meaningful metrics for assessing the impact of open research software, create practical cross-discipli...
AI4Health project granted
08-May-2026
AI4Health is a 10-year national public-private programme on trustworthy, fair, and impactful AI for healthcare (25M euro from NWO — see the UMC Utrecht announcement). From a software engineering perspective, the project is especially interesting because it treats healthcare AI not as isolated models, but as socio-technical software systems that must be validated, deployed, monitored, updated, governed, and integrated into real clinical workflows. The programme addresses the full AI lifecycle: F...
New PhD Student Joins S2 Group at VU Amsterdam!
02-Apr-2026
Hi-ya’ll! I’m Hiya, and I’ve just started my PhD in the Software and Sustainability (S2) group at Vrije Universiteit Amsterdam. I am co-supervised by Justus Bogner, Patricia Lago and Markus Funke. My research is part of the NWO GAT4ML project, where I focus on designing reusable green architectural tactics for modern ML-enabled systems, particularly for emerging paradigms such as LLM-based applications, RAG pipelines, and agent-based systems. The goal is to make these tactics more structured and...
HBO-meets-WO to discuss the impact of AI in Software Engineering Education
18-Mar-2026
At the end of last year, circa 40 representatives of universities of applied sciences (HBO) and of research universities (WO) in the Netherlands came together to discuss the role and impact of (generative) artificial intelligence on software engineering education. The initiative originated from VERSEN’s working group on software engineering education and was co-organized by Utrecht University (Hieke Keuning and Fabiano Dalpiaz) and Hogeschool Utrecht (Roelant Ossewaarde). As a first-of-its-kind...
Register for SEN Symposium 2026 (May 1st, CWI Amsterdam)
17-Mar-2026
We invite all software engineering researchers and practitioners in the Netherlands to contribute to the symposium program. We welcome proposals for “lightning talks” — short but engaging presentations, to be allocated between 5 and 10 minutes at the symposium. There is no specific format for lightning talks. Still, they should be targeting the broad VERSEN audience. An exciting lightning talk may, for instance: Describe recently published results; Present open research problems (and/or o...
New Assistant Professor on Formal Verification of Distributed Systems
06-Feb-2026
Since September 2025, Rodrigo Otoni has worked as an Assistant Professor at the University of Groningen, investigating the use of logic as a means to ensure robustness of the systems underlying our digital infrastructures. Rodrigo’s research focuses on automated reasoning, through the lenses of verification, synthesis, and certification. In particular, he is interested in bridging the gap between theory and practice via techniques that enable push-button automation, such as model checking. Rod...