News - Interview with the VERSEN board in the I/O magazine

23 Mar 2020

The recent issue of the I/O magazine features an interview with the VERSEN board (Marieke Huisman, Patricia Lago, Alexander Serebrenik) on the role of software engineering and software engineering research.  "Software is the engine that powers all CS developments like AI and cyber security. Although for many people this engine is invisible, it is so fundamental that we need to understand how to do it right." The full article is available here, enjoy and spread it around!  

Projects - Outreach project "Beauty and Joy of Computing" in Dutch schools

23 Mar 2020

The National Association of Vice-deans of the Exact Science Faculties has decided to fund the outreach project "Beauty and Joy of Computing in het Nederlands (BJoC-NL) van, voor en door docenten en leerlingen" jointly submitted by Ramon Moorlag (National association of computer science secondary school teachers, i&i), Felienne Hermans (University of Leiden) and Alexander Serebrenik (Eindhoven University of Technology). "Beauty and Joy of Computing" is a computer science course designed at the Univ...

New people & guests - Andrea Capiluppi new Associate Professor at the University of Groningen

23 Mar 2020

Andrea Capiluppi is appointed as Associate Professor at the University of Groningen. He will be joining the Software Engineering group. Andrea’s research and teaching interests focus on Software Evolution and Maintenance, as well as the construction, evaluation and maintenance of Social Networks. Andrea is mostly interested in the use of open technologies and in understanding how they can improve learning and teaching as well as the production of software and other artefacts.

PhD defences - Session-Based Concurrency: Between Operational and Declarative Views

23 Mar 2020

On January 7, Mauricio Cano successfully defended his PhD thesis "Session-Based Concurrency: Between Operational and Declarative Views" at the University of Groningen. In his thesis, supervised by Prof. dr. Jorge A. Pérez and Prof. dr. Gerard Renardel, Mauricio presents a comprehensive study of formal programming models for message-passing concurrency and of their associated verification techniques. This PhD work concerns theory of programming, with practical implications. His research develops res...

News - "Digitalize for the Environment!": A guide for practitioners from nine universities worldwide

23 Mar 2020

Patricia Lago and colleagues from altogether nine well-known universities from different parts of the world have produced a guide called "Digitalize for the Environment!". The guide is aimed at municipalities and companies wanting to explore and realize the potential of digitalization. It is completely open source and available here.    

News - Free lecture notes on software testing by TU Delft

23 Mar 2020

The Software Engineering Research Group at TU Delft (@serg_delft) opened their software testing lecture notes. It currently contains 14 full chapters, 52k words, 63 videos, and 82 exercises. See it at https://sttp.site. License: CC-BY-NC-SA.

News - First VERSEN honorary fellows

23 Mar 2020

During the last SEN symposium, the first VERSEN honorary fellowships have been awarded to honour emeritus professors for their contributions to software research in the Netherlands. The first VERSEN honorary fellows are: Mehmet Aksit Farhad Arbab Jan Bergstra Paul Klint Rinus Plasmeijer Doaitse Swierstra Hans van Vliet Roel Wieringa During the SEN symposium, each of them was honoured by a former colleague in short video. Additional information, photos, and videos of the ceremo...

VERSEN Manifesto

22 Mar 2020

In 2019 and 2020 the VERSEN has been working on a Manifesto, entitled "Manifesto on Software Research and Education in the Netherlands".   The full Manifesto can be downloaded here in PDF format. There is also an easy to print exerpt available. The manifesto has been covered in the I/O Magazine (find the actual publication here, March edition). Please find the exerpt from I/O magazine here. Any updates about the Manifesto can be found on this page.

New Design VERSEN.nl web site

16 Mar 2020

It is with great pride that we can announce that hereby the new VERSEN.nl web site is online. Credit goes to dr. Ivano Malavolta (project management), Alessio D'Arielli (design: alessiodarielli.com), and Peter Duijnstee (technical integration, ledensite.com). For any questions or comments, please contact us at secretary@versen.nl. 

VERSEN PhD Awards 2019

16 Mar 2020

The VERSEN PhD Thesis Awards have been created to encourage excellent research in the domain of Software Engineering in the Netherlands. We are again able to award the VERSEN PhD thesis awards with support of NWO and HCL Technologies.  The members of the jury, Jan Friso Groote, Slinger Jansen, and Patricia Lago, used the following criteria for judging: Novelty to and impact in the field promoted by VERSEN. Timeliness. Quality of the thesis report and associated artifacts. Methodological ap...

VERSEN Supports the FAIR Software Initiative

05 Mar 2020

The VERSEN Board has decided to vocally endorse the FAIR Software Initiative and the Five Fair Principles. The FAIR principles are a concept which originated in data management. The acronym stands for Findable, Accessible, Interoperable and Reusable. They have served as a flagship for promoting good data management practices, but until recently they were not directly applicable to software. We hope that the FAIR principles will have a positive effect in research software development. The five principl...

Doaitse Swierstra Passed Away

05 Mar 2020

With great sadness we announce that last Tuesday (March 3, 2020) at the age of 69 Doaitse Swierstra died in his hometown of Tynaarlo. Doaitse successfully fought cancer for the past months and with his healing in sight he dared to make cautious plans for the future. It is very sad that he can no longer realize those plans due to an accident. Many of us will know Doaitse as a professor of Software Technology at Utrecht University (1983-2013). He was also known for his love for functional programming la...

Awards - VERSEN Msc Thesis Awards 2019

17 Feb 2020

On January 31st two Msc Thesis Awards were given for two excellent master's thesis. The two winning candidates are: First Msc Thesis Award: Nathan Cassee with the thesis entitled "The impact of continuous integration on open-source code reviews: how increasing automation changes software engineering practices", supervised by dr. Alexander Serebrenik at TU Eindhoven. Second Msc Thesis Award: Johri van Eerd with the thesis entitled "Parallel term rewriting on GPUs" supervised by Anton Wijs at TU Ei...

From previous events - New insights from reconstructing the first ALGOL 60 system

18 Dec 2019

Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, CWI's PhD student Gauthier van den Hove reconstructed and analyzed the first ALGOL 60 system, a computer system designed and implemented at the Mathematical Centre (MC, now CWI). On 15 February he defends his PhD thesis "New Insights from Old Programs - The Structure of the First ALGOL 60 Syst...

Awards and prizes - Best paper award for Wytse Oortwijn and Marieke Huisman at iFM 2019

16 Dec 2019

Wytse Oortwijn (now at ETH Zurich) and Marieke Huisman (University of Twente) received a best paper award for their paper: "Practical Abstractions for Automated Verification of Message Passing Concurrency" at IFM 2019: 15th International Conference on Integrated Formal Methods.  

Awards and prizes - 2 Master thesis prizes for Sophie Lathouwers

16 Dec 2019

Sophie Lathouwers, PhD student at the University of Twente, received two prizes for her Master thesis "Reasoning About the Correctness of Sanitizers". She received the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenschappen for the best thesis on Internet & Technical Sciences. She also received the 2nd prize for the KNVI Thesis prize for Computer Science and Information Science 2019. Sophie’s Master thesis was supervised by Marieke Huisman, Maarten Everts (University of...

Projects - Marielle Stoelinga receives ERC Consolidator Grant

16 Dec 2019

Self-driving cars, drones, the Internet of Things; these are just a few of the technologies that could have a significant impact on our lives in the coming years. But this also means that we must carefully weigh the risks against the potential benefits. University of Twente Professor of Risk Management for High-Tech Systems Mariëlle Stoelinga, has been awarded an ERC Consolidator Grant by the European Research Council that will allow her to develop a new and superior model for making improved and integra...

Projects - Ivano Malavolta receives NWO Open Competition Domain Science XS individual grant

16 Dec 2019

With his project titled "Green Tactics for Robotics Software", Ivano Malavolta, assistant professor at the VU receives an NWO Open Competition Domain Science XS grant. The project is funding a postdoc position for 9 months or a scientific programmer position for 12 months, so if you know someone who may be interested in the position, please get in touch with Ivano Malavolta (i.malavolta@vu.nl). The project is planned to start next March 2020.     Abstract. From autonomous vehicles, to healthcare, a...

PhD defences - A unit-aware matrix language and its application in control and auditing

16 Dec 2019

Programming computers is difficult, especially if you want programs to work correctly. There are heated debates on the best methods to reach this. To better understand what programming is and how it should be done, Gauthier van den Hove reconstructed and analyzed the first ALGOL 60 system. He defended his PhD thesis "New Insights from Old Programs - The Structure of the First ALGOL 60 System" at the UvA. Van den Hove's results are not only interesting for computer scientists, but also for science histori...

PhD defences - PhD thesis Wytse Oortwijn

16 Dec 2019

On December 12, Wytse Oortwijn defended his PhD thesis "Deductive Techniques for Model-based Concurrency Verification" at the University of Twente. His supervisor was prof.dr. M. Huisman from the faculty of Electrical Engineering, Mathematics and Computer Science. In his thesis, Wytse describes practical and reliable verification techniques for global behavioural properties of real-world concurrent and distributed software.  Wytse is now working as a post doc at ETH Zurich in the group of Prof. Peter...

Projects - Ivano Malavolta and Patricia Lago receive a Horizon 2020 grant for their uDEVOPS project

16 Dec 2019

Ivano Malavolta and Patricia Lago, both at the Vrije Universiteit Amsterdam, receive a Horizon 2020 grant for their uDEVOPS project.  The objective of the project is to form an international and inter-sectoral network of organisations working on a joint research programme in the field of software quality assurance for Microservice development operations engineering processes.  The project is funded by the European Community, Horizon 2020 Framework Programme, call H2020- MSCA-RISE-2019.  

Projects - Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries

16 Dec 2019

Patricia Lago, Anna Bon, and Wendelien Tuyp received a grant from the Amsterdam Sustainability Institute (ASI) on food security in developing countries.  The objectives of the project are: Goal-ICT: to focus on the ICT needs, and frame the sustainability concerns relevant for designing context-sensitive solutions for food security in developing countries. Goal-Social: to study the policy context and constraints, and aim at formulating a policy that helps optimizing the aids meant to help susta...

Deadline extension for technical papers of BENEVOL 2019

01 Nov 2019

Due to many requests, the technical papers deadline for BENEVOL 2019 has been extended to the 6th of November. The goal of BENEVOL is to bring together researchers from Belgium, the Netherlands, and neighboring countries that are working in the field of software evolution and maintenance. BENEVOL offers an informal forum to meet and to discuss new ideas, important problems and obtained research results. See http://soft.vub.ac.be/benevol2019/ for more information. It's a free and open event but regi...

I/O magazine article on the Staf 2019 Industry Day

17 Oct 2019

The October issue of I/O Magazine featured an article on the STAF 2019 Industry Day, organized by Eugen Schindler (Océ Technologies) and Julien Schmaltz (ICT Group). The article is available below (in Dutch) and the full issue of the I/O magazine is available here, enjoy!

Awards and prizes - 2 VERSEN Thesis awards: PhD and Master

23 Sep 2019

To further promote and encourage excellence in software engineering research, VERSEN has introduced two thesis awards: the VERSEN PhD thesis award the VERSEN Master thesis award The awards are indications of excellence that can support talent in future applications in the current competitive academic climate. The awards are supported by NWO and promoted at ICT.Open.   The theses will be judged on the following factors, in equal parts: Novelty to and impact in the field promoted by...