Sponsored by:

  • Radboud University
  • NWO

Workshop on Realistic Program Verification

Wednesday 2 December - Radboud University Nijmegen

Directions

The workshop will take place in the Huygens building of the Faculty of Science of the Radboud University.

Room:HG00.071
Adres:Heyendaalseweg 135, 6525 AJ Nijmegen

The lecture hall is located at the ground flour of the building. More information on how to get to the Huygens building can be found here.