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...

Projects - Veni grant on "Composable and Safe-by-Construction Programming Language Definitions" for Casper Bach Poulsen

23 Sep 2019

Casper Bach Poulsen (TU Delft) has been awarded an NWO Veni grant for his proposal entitled Composable and Safe-by-Construction Programming Language Definitions. Type-checked languages are invaluable tools for developing complex software because they automatically guarantee the absence of certain errors. However, developing and extending type-checked languages is prohibitively hard. This project will develop techniques for safe-by-construction,composable language definitions to facilitate the developm...

Projects - Software Engineering for Machine Learning Applications

23 Sep 2019

As part of the HBO-postdoc grant Applied Data Science: slimme ICT-producten die leren van data, Petra Heck (Fontys Applied University) set out to investigate how software engineering changes when engineering AI-enabled systems. She is looking for other people working on this topic. See this post for contact details. 

Awards and prizes - Moritz Beller wins IPA Best Dissertation Award 2018

23 Sep 2019

Moritz Beller wins the IPA Best Dissertation Award 2018 for his PhD thesis entitled An Empirical Evaluation of Feedback-Driven Software Development, in which he investigates how software developers deal with feedback during the development process. To this end he performed empirical research on how software developers deal with testing. He developed an infrastructure supporting automatic telemetry, and used this infrastructure for large scale analysis of software developers' behaviour. Results of his res...

Awards and prizes - Best paper and presentation award at ESEC/FSE'19 Doctoral Symposium for Jasper Denkers

23 Sep 2019

Jasper Denkers, a PhD student from the TU Delft Programming Languages research group, recently received both the best paper and best presentation award at the ESEC/FSE'19 Doctoral Symposium. The paper discusses his PhD progress and plans on A longitudinal field study on creation and use of domain-specific languages in industry.  

New people & guests - 4 Tenure Track Positions - Information Technology Group at Wageningen University

23 Sep 2019

Are you an expert in Software Engineering, Artificial Intelligence/Machine Learning, Data Science or Business Information Technology? Are you interested in contributing to the development of smart socio-technical systems? Are you willing to excel further in your career in a vibrant research environment which supports excellence, innovation and collaboration? We are looking for you! Wageningen University is a top-class university, ranking among the world's leading institutions in the food, agricultu...

PhD defences - PhD defence of Gabriël Konat @TUDelft

23 Sep 2019

Gabriël Konat will defend his PhD thesis titled "Language-Parametric Methods for Developing Interactive Programming Systems" on November 18 at 15:00, location Aula Congress Centre, Delft University of Technology. Hi PhD thesis is about language-parametric methods for developing interactive programming systems. A language-parametric method takes as input a description of a programming language (such as a DSL), and automatically implements (parts of) an interactive programming system, reducing developme...

Next events - ICT with Industry 2020 - call for Participation

23 Sep 2019

We invite you to participate to the ICT With Industry Lorentz Center workshop in January 20–24 2020. The workshop brings together scientists and professionals from industry and governments. The workshop revolves around five exiting case studies, which are subject to an intense week of analyzing, discussing, and modeling solutions. You will be part of a team of 5 to 8 dedicated researchers from various ICT-disciplines, actively collaborating on one of the cases during the week. What challenging c...

Next events - Call for Participation FACS 2019 at CWI, Amsterdam

23 Sep 2019

The 16th International Conference on Formal Aspects of Component Software (FACS 2019) will be held 23-25 October 2019 at CWI in Amsterdam. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development, including (but not limited to) service-oriented and cloud computing, cyber-physical systems, and the Internet of Things. This year's program includes keynotes by Carlo Ghezzi, Kim Larsen, and Wan Fokkink; a tutorial on mCRL2 by Jan Friso Groote and Tim ...

Next events - International Workshop on Software Measurement (Haarlem, October 7-9)

23 Sep 2019

Are you involved in estimation of effort and costs for IT deliveries or the Value management of your organization? Then don't miss this opportunity in Haarlem to learn from international professionals and to expand your professional network. This year's IWSM conference features over 50 different presentations in three tracks (research, industry and training). In the training track all modules of the new Software Cost Estimating certification scheme will be covered to help you prepare for certification. ...

Next events - BENEVOL 2019 in Brussels

23 Sep 2019

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 registration is necessary. This year's edition is organized on November 28th and 29th.   

Next events - Digital Architecture Design Day 2019

23 Sep 2019

The Digital Architecture Design Day (DADD 2019) will be held on Thursday November 14 - 2019 at the Congress centre 1931 's-Hertogenbosch Digital Architecture Design Day is a community driven event that will reveal the best ways of putting strategy into practice for information intensive, medium to large sized ecosystems that deal with a complex environment. Our goal is achieving sustainable change and coherent solutions by exchanging visions from global thought leaders, best practices, learnings and i...

Next events - 6th Dutch national symposium on software engineering (SEN Symposium)

23 Sep 2019

The sixth Dutch national symposium on software engineering (SEN Symposium) will be held on Friday January 31st, 2020 in Amsterdam. After the success of the SEN Symposium of 2014, 2016, 2017, 2018, and 2019, we cordially invite you to the sixth edition. At this conference we bring together the Dutch software engineering community. We expect to offer talks by the following invited speakers: Wil van der Aalst, RWTH Aachen University Vasilios Andrikopoulos, University of Groningen Dino Distef...

Next events - ICT.Open 2020

23 Sep 2019

The field of ICT is rapidly developing. There are many open research questions and new opportunities to apply research results to further transform and improve our society. To bring together fundamental ICT research as well as novel and innovative applications of ICT research, the Netherlands Organisation for Scientific Research (NWO) and the ICT Research Platform for the Netherlands (IPN) are organising ICT.OPEN. ICT.OPEN 2020 will take place on Tuesday 17 and Wednesday 18 March 2020. Stay tuned! ...

News - Bad Month for Large Software Systems

23 Sep 2019

In the past month we have experienced some relatively large failures of software systems. The most prominent was perhaps the failure of the national emergency phone number 112, which was caused by a problem in one of the underlying routing systems. A second problem was the failure at Albert Heijn of a firewall, which blocked all traffic, including a product data update to the bar code scanners of the company. For more information, check out the following news items (sorry for Dutch): https://...

Anton Wijs in I/O Magazine

24 Jul 2019

Please find an interesting contribution about how GPUs are used for software model checking, and how this is multitudes more efficient than CPUs. Sorry for Dutch.

From the VERSEN board - June 2019

17 Jun 2019

The VERSEN board has grown: Felienne Hermans (Leiden), Marten van Sinderen (Twente), Joost-Pieter Katoen (Twente/Aachen) and Alexander Serebrenik (Eindhoven) have joined the board. Moreover, Alexander Serebrenik has kindly agreed to take up the role of secretary for the Versen board. I would like to take this opportunity to thank Jurgen Vinju for all the work he did as a secretary for VERSEN. The board has continued working on the manifesto about Software Research. We now have a complete draft, and ar...

Next events - FACS 2019 at CWI, Amsterdam

17 Jun 2019

The 16th International Conference on Formal Aspects of Component Software (FACS 2019) will be held 23-25 October 2019 at CWI in Amsterdam, with keynotes by Wan Fokkink, Carlo Ghezzi, and Kim Larsen. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development, including (but not limited to) service-oriented and cloud computing, cyber-physical systems, and the Internet of Things. Abstract and paper submission is now open (deadline: 28 June). The pr...