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

Projects - Self-learning machines hunt for explosions in the universe

17 Jun 2019

The National Science Agenda has awarded a 5 million euro grant to CORTEX – the Center for Optimal, Real-Time Machine Studies of the Explosive Universe. The CORTEX consortium of 12 partners from academia, industry and society will make self-learning machines faster, to figure out how massive cosmic explosions work, and to innovate wider applications. Machine learning has rapidly become an integral part of society, in speech recognition or information retrieval. This is also the case in science, for det...

Payment problems at large supermarket

17 Jun 2019

Starting at midday on June 11, it was impossible to pay at large supermarkets, especially Albert Heijn. The problem was due to a malfunctioning firewall at KPN. The reason for the failure is said to be 'unknown'. Damages are estimated to run into millions of euro's.

Projects - NWO Open Technology Programme grant for Marieke Huisman and Anton Wijs

17 Jun 2019

Prof.dr. M. Huisman (University of Twente) and dr.ing. A. Wijs (Eindhoven University of Technology) received an NWO OTP grant for the project “ChEOPS: verified Construction of corrEct and Optimised Parallel Software”. Two PhD students will be appointed, one in Twente and one in Eindhoven, to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance. GPUs have an increasingly big impact on ...

Projects - Vici grant "TestShift" for Andy Zaidman

17 Jun 2019

Andy Zaidman (TU Delft) was awarded the prestigious NWO Vici grant for his TestShift proposal. TestShift will study how software team dynamics influence software testing culture in general and specific approaches in particular. At the level of individual software engineers, TestShift studies whether software engineers benefit from insight in software testing through test analytics. Software engineers will thus be able to gauge cause and effect of their efforts, giving them a sense of purpose for testi...

Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Alexander Serebrenik

17 Jun 2019

Paper co-authored by Alexander Serebrenik (Eindhoven University of Technology) has been selected as one of the ICSE 2019 ACM SIGSOFT Distinguished Paper awardees. Distinguished Papers represent the very best contributions to the ICSE Technical Track, and are awarded to up to 10% of the papers. The paper, entitled "Going Farther Together: The Impact of Social Capital on Sustained Participation in Open Source", is co-authored Huilian Sophie Qiu (CMU, USA), Alexander Nolte (University of Tartu, Estonia),...

Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Roberto Verdecchia

17 Jun 2019

The research “Scalable Approaches for Test Suite Reduction“, co-authored by Roberto Verdecchia, a double-Ph.D. Candidate of the S2Group (Vrije Universiteit Amsterdam) and of CS@GSSI group (Gran Sasso Science Institute), has been selected as one of the ICSE 2019 ACM SIGSOFT Distinguished Paper awardees. Distinguished Papers represent the very best contributions to the Technical Track of ICSE, the premiere annual conference in the field of software engineering. The research was carried out jointly with ...

VERSEN Best Software Engineering Technology Paper

22 Mar 2019

During ICT.Open, the Software Engineering Technology track committed selected the best Software Engineering Technology paper. This award was presented to Ulyana Tikhonova, Jouke Stoel, Tijs van der Storm and Thomas Degueule for their paper Constraint-based Run-time State Migration for Live Modeling, which was published in the ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2018. This paper presents an approach to automatically maintain consistency between a model and its ru...

VERSEN PhD Awards 2018

22 Mar 2019

During ICT.Open, for the first time the VERSEN PhD award has been handed out. 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 approach and execution. The winners of the VERSEN PhD award are: Paul Fiterau Brostean (Radboud University Nijmegen) with the thesis "Active Model Learn...