VERSEN working groups

07-Mar-2024

As you know the VERSEN community is organized in Working Groups. Some of them are temporary and some of them are permanent. They each have a specific goal and a manageable number of members that collaborate towards this goal. Recently the executive board has retired several dormant groups. Would you like to start a new working group on topic of shared interest? Please do not hesitate to contact us at info@versen.nl! VERSEN is something we build together. ...

VERSEN executive board is looking for new members!

07-Mar-2024

VERSEN is looking for the future leaders of our community to join the executive board! Are you an active software engineering researcher, not yet a full professor or a group leader, and interested in contributing to the organization of Dutch software engineering research? Please write a brief motivation letter and send it to a.serebrenik@tue.nl by April 8 2024. ...

CARES - the group for reporting violations of the VERSEN code of conduct

07-Mar-2024

For the last three years, VERSEN has established CARES: Committee to Aid REporting on discrimination, harassment, and related violations of the Code of Conduct. If a violation of the VERSEN Code of Conduct occurs, please report the incident to the CARES members. Further info are available here. ...

Professional education program in Twente: Digital Design & Architecture

07-Mar-2024

In May 2024, a new educational programm will start at the University of Twente. In the Digital Design & Architecture program, we will equip professionals at the government with new IT-skills. The programme is 60 ECs, spread over 2 years and consists of three iterations, each with in 3 interwoven themes: Architecture, Leadership and Domain Knowledge (eg ethics). The program is led by Prof. Marielle Stoelinga, from University of Twente. Several other institutes will contribute as well. Stoel...

PLMW@PLDI 2024: Call for Scholarship Applications

07-Mar-2024

The application for attending the Programming Language Mentoring Workshop (PLMW) @PLDI 2024 is open. The deadline is March 25th AOE for full consideration but we’ll continue on a rolling basis after that as long as we have funding. The application link is here. Please encourage undergraduates, MS students, and junior PhD students that you think could benefit from the workshop to apply. Below is more information about PLMW@PLDI 2024. PLMW aims to broaden the exposure of late-stage undergradu...

Programming Languages in the Netherlands: Call for Talk Proposals

07-Mar-2024

The 4th VERSEN Workshop on Programming Languages in The Netherlands After the successful launch of this new workshop series with PLNL’18, PLNL’19, and PLNL’23 (following the COVID hiatus), we are happy to invite you to give a presentation and participate at PLNL’24 in Groningen, colocated with DisCoTec. The purpose of PLNL is to bring together researchers in the area of programming languages in The Netherlands (and neighbouring countries ). The workshop targets programming language research in ...

Ivano Malavolta wins the Dutch Prize ICT Research

07-Mar-2024

Ivano Malavolta, Associate Professor in the Software and Sustainability research group at VU Amsterdam has been awarded the Dutch Prize for ICT. The jury selected his work out of nine other exceptional entries for his innovative progress in the “green robotics software” field. Malavolta managed to expand the scope of his research far beyond his field of expertise and demonstrated excellent leadership. Malavolta will receive his award along with €50,000 at a ceremony during ICT.OPEN2024, which w...

Dutch Formal Methods Day

07-Mar-2024

The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry, and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk. Coffee and lunch will be provided; there will be ample opportunity for n...

Three awards for Marielle Stoelinga

07-Mar-2024

Superproud. That is how UT professor Marielle Stoelinga felt when her PhD student texted that their paper won the best paper award of the conference on Software Engineering & Formal Methods. This paper award was the third award she won with her team in late 2023, in addition to two awards in 2022. In collaboration with Stefano Nicoletti, Milan Lopuhaä-Zwakenberg, and Moritz Hahn, Stoelinga received the Best Paper Award at the SEFM Conference for their paper titled ““ATM: a Logic for Quan...

Join Us at ERMSEI:Cybersecurity 2024 - Empirical Research Methods PhD Spring School in Utrecht, May 13-17

28-Feb-2024

We are excited to announce Empirical Research Methods in Software Engineering and Informatics: Cybersecurity Edition (ERMSEI:Cybersecurity 2024), taking place on May 13-17. This PhD school, a highlight since 2013, aims to merge theoretical knowledge with practical application in software engineering and informatics, focusing on cybersecurity this year. Why Attend? ERMSEI 2024 is your gateway to the empirical side of cybersecurity and software engineering. The course offers hands-on experience, ...