Symposium - Cybersecurity and Trust in Software Ecosystems (May 14th 2025)
18-Apr-2025
Join us for an engaging symposium exploring the future of trust in global software ecosystems. Inspired by Fang Hou’s PhD thesis, this event delves into how empirical software engineering can help rebuild and reinforce trust across interconnected software platforms. We’ll present the TrustSECO infrastructure, which uses distributed ledger technologies and AI-enhanced evaluations to empower developers, organizations, and users to make informed decisions. With the rising stakes of software reliabi...
CWI call semester programme development 2027-2028
16-Apr-2025
Do you have a mathematics or computer science research topic that deserves broader attention? Would you like to organize more collaboration within the Dutch scientific community? A CWI Research Semester Programme might be just the opportunity that you are looking for! The programmes are unique in creating time and space to collaborate with colleagues on a topic of relevance to the Dutch mathematics and computer science communities. You can propose an idea for a coherent set of activities; CWI p...
Lago and Serebrenik elected as Members at Large of IEEE TCSE
02-Apr-2025
Patricia Lago (Vrije Universiteit Amsterdam) and Alexander Serebrenik (Eindhoven University of Technology) have been elected as Members at Large of the IEEE Technical Community on Software Engineering (TCSE) Executive Committee. Their terms run from January 1, 2025 through December 31, 2026. ...
SEN Symposium 2025 - Call for Lightning Talks
02-Apr-2025
The 11th Dutch National Symposium on Software Engineering (SEN) will take place on Friday, 23 May 2025, at CWI Amsterdam. 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 exc...
New publication on reusing ontologies in software development
02-Apr-2025
Reusing ontologies effectively is a key challenge and an architectural decision in knowledge-intensive software development, particularly in the field of systems engineering. This latest research introduces the Onto4Reuse Framework, designed to tackle this issue by making ontology reuse more efficient and practical for software engineers. In the paper, the authors propose the combination of innovative approaches, such as: 1️⃣ Ontology Design Patterns 2️⃣ Ontology Matching with Foundational O...
NWO XL grant for fundamental research in software verification
02-Apr-2025
The project “Cyclic Structures in Programs and Proofs: New Harmonies in Software Correctness by Construction” will receive 3 million euros from NWO to perform groundbreaking research in software reliability, pushing the boundaries across areas such as Logic, Programming Languages, Concurrency, and Proof Assistants. This XL grant will fund a consortium led by Jorge Pérez (Groningen) working together with Bahareh Afshari (Gothenburg), Henning Basold (Leiden), Marcello Bonsangue (Leiden), Georgian...
VU Amsterdam pilots its own platform for open generative AI models
02-Apr-2025
The Network Institute at Vrije Universiteit Amsterdam has launched a new platform called Nebula. This platform makes it easy for VU researchers to use advanced language models (LLMs) without relying on commercial providers. In total, more than 1,500 open AI models are available, with six models already running, including Deepseek, Llama, and Qwen. Why is this important? AI models are typically hosted by large tech companies outside Europe, which means less control over data and potential privac...
Mariëlle Stoelinga and Felienne Hermans appointed members of the KHMW
02-Apr-2025
Mariëlle Stoelinga and Felienne Hermans have been appointed members of the Royal Holland Society of Sciences and Humanities (KHMW). Stoelinga is professor of Risk Management for High-Tech Systems at the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) of the University of Twente. Hermans is professor of Computer Science Education at the Vrije Universiteit Amsterdam. Congratulations to both! ...
Software Engineering track at ICT.Open 2025
02-Apr-2025
As in the previous editions of ICT.Open, there will be a dedicated Software Engineering track at ICT.Open 2025 on 15-16 April 2025 at the Beatrix Theater Jaarbeurs Utrecht. The Track on Software Engineering provides researchers and practitioners with a forum to exchange ideas and experiences on the development and evolution of software-intensive systems. The goal is to bring the wider software engineering community together to share inspiring visions for the future of software engineering and s...
Formal Methods track at ICT.Open 2025
02-Apr-2025
We are organising the Formal Methods Track at ICT.Open 2025, to take place on 15-16 April 2025 at the Beatrix Theater Jaarbeurs Utrecht. As you know, ICT.Open is an annual event organized by NWO that brings together not only researchers in all areas of CS, but also industrial partners and policy makers at all levels. Having an FM track within ICT.Open is therefore a unique opportunity to showcase the strength and diversity of FM research beyond scientific audiences. Our goal is to increase the...