Software Engineering Nederland

From the VERSEN board

At this moment, the VERSEN board is involved in the discussion about the sector plan. As VERSEN is a Special Interest Group member of IPN, we have been asked to provide input for the upcoming "sectorbeeld" of computer science research, which is the first step in defining a sectorplan for computer science research. Concretely, our input should identify the major challenges in software engineering. This discussion will be continued when the board meets for its strategy day on October 5 in the Lorentz center in Leiden.

Further, we are looking forward to the various upcoming VERSEN activities: the SEN symposium on February 1, 2019 and the VERSEN track during ICT Open on March 19, 2019. Save the dates!

Finally, we are pleased to announce that we will hand out a VERSEN Master thesis and a VERSEN PhD award. You can find more information about the call for nominations in this newsletter.


On behalf of the VERSEN board members,
Marieke Huisman (chair)


Jaco van de Pol is moving to Aarhus, Denmark

Jaco van de Pol is moving to Aarhus (Denmark), here is his message to the VERSEN community:

After 25 happy years in the Netherlands, of which the last 10 years in Twente, it is time for a new adventure. I'm grateful for all experiences I got in Utrecht, Eindhoven, CWI and finally Twente. I'm proud of the CS department in Twente, and in particular the successes of the FMT group. The FMT group will actually be in safe hands: Marieke Huisman will take over as the next group leader.

But now it's time to move on. I will be professor of Computer Science  (no specs attached) in Aarhus, starting November 1st.  Hope to keep in touch with many of you. Don’t forget to drop by if you visit Denmark!

Kind regards,

Jaco van de Pol


From previous events: Architecting Sustainability by Default

On September 12, 2018 Patricia Lago (VU) and Wouter Paul Trienekens (CGI) have launched the first of a series of events at the Association of Information Architects (GIA) around sustainability and software architectures.

Lago introduced the different viewpoints on this subject. From sustainable software itself to the digital transformation to a sustainable ecosystem. Topics covered included design decision making, tradeoff analysis, quality metering & monitoring and continuous architecting. 
Trienekens put forward viewpoints from practice and identified how architects can make essential contributions in this evolution and apply this knowledge in our day-to-day practice. 

In short, an evening with plenty of food for thought for all types of architects in the digital world and essential baggage to stay relevant as an architect. This series will feature quarterly lectures.


From previous events: A research agenda for formal methods in the Netherlands

On September 3 and 4, 2018, the meeting "A Research Agenda for Formal Methods in The Netherlands" was held in the Lorentz center in Leiden. Research on Formal methods in the Netherlands is doing well, but there are still many interesting challenges ahead, for example concerning scalability and usability of formal methods. To create a community to work on these challenges, a two day workshop was held in the Lorentz Center in Leiden on Monday 3, and Tuesday 4 September, bringing together the key scientists in formal methods in The Netherlands.

The workshop was filled with short presentations about current and future research, with ample time for lively discussions. The organisers, Marieke Huisman and Eelco Visser, are planning to organise a follow-up workshop next year.

A collection of abstracts of the presentations will be made available soon. Stay tuned!
 


VENI award for Sung-Shik Jongmans

Sung-Shik Jongmans, assistant professor in the Department of Computer Science at Open University of the Netherlands won the VENI grant awarded by NWO. Sung-Shik develops innovative programming and testing techniques which simplify the coordination of simultaneous calculations. This makes it easier to develop software that makes the computers work harder. 

More information on the project available here. Congratulations Sung-Shik!


VENI award for Robbert Krebbers

Robbert Krebbers, assistant professor in the programming languages group at the department of software technology at the Delft University of Technology won the VENI grant with a proposal titled "Verified programming language interaction". The project will develop mathematical methods for verifying the correctness of interaction between software components. Great job Robert!


VERSEN PhD Thesis Award

To further promote and encourage excellence in software engineering research, VERSEN has introduced the VERSEN Thesis Awards. The awards are indications of excellence that can support talent in future applications in the current competitive academic climate. Three PhD thesis awards will be awarded in 2019. 

The submission form and more information about the awards is available here. Good luck to all the participants!


VERSEN Master Thesis Award

To further promote and encourage excellence in software engineering research, VERSEN has introduced the VERSEN Thesis Awards. The awards are indications of excellence that can support talent in future applications in the current competitive academic climate. Three Master thesis awards are available now!

The submission form and more information about the awards is available here. Good luck to all the participants!


#