Events
22ed March, NIRICT GPU in ICTOpen 2016
A.L. Varbanescu (University of Amsterdam): NIRICT GPU reconnaissance project.
3rd Dec., Kickoff Meeting
10:00 opening & welcome - goal of the day and the reconnaissance theme - Marieke Huisman
10:05 Verification of OpenCL programs - Marieke Huisman
10:20 Alexandru Iosup
10:40 Andrei Jalba
11:00 GPU-related work in the CAES group - Jan Kuper
11:20 Fast Solvers for Linear Systems on the GPU - Kees Vuik
11:40 GPU research in the Electronic System group at the University of Eindhoven - Gert-Jan van den Braak
12:00 lunch
14:00 Ana Lucia Varbanescu
14:20 Anton Wijs - GPU Accelerated Verification and Verified Model-Based Development of Multi-Threaded Software
14:40 coffee break
15:00 - 17:00 discussion