-
24 Jul 2019
Anton Wijs in I/O Magazine
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. lees verder »
-
17 Jun 2019
Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Roberto Verdecchia
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 o... lees verder »
-
17 Jun 2019
Awards - ICSE 2019 ACM SIGSOFT Distinguished Paper to Alexander Serebrenik
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 Tr... lees verder »
-
17 Jun 2019
Projects - Vici grant "TestShift" for Andy Zaidman
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 ... lees verder »
-
17 Jun 2019
Projects - NWO Open Technology Programme grant for Marieke Huisman and Anton Wijs
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 app... lees verder »
-
17 Jun 2019
Payment problems at large supermarket
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... lees verder »
-
17 Jun 2019
Projects - Self-learning machines hunt for explosions in the universe
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-learni... lees verder »
-
17 Jun 2019
Next events - FACS 2019 at CWI, Amsterdam
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 met... lees verder »
-
17 Jun 2019
From the VERSEN board - June 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 r... lees verder »
-
22 Mar 2019
VU/UvA PhD defense of Fahimeh Alizadeh Moghaddam
Fahimeh Alizadeh Moghaddam will defend her PhD thesis titled "Self-Adaptation for Energy Efficiency in Software Systems" on Wednesday April 17 at 14:00, location Agnietenkapel in Amsterdam. Fahimeh's PhD is a collaboration between the S2Grou... lees verder »
.png)