Organizers

This workshop is organized by:

• Herman Geuvers (Radboud University Nijmegen, The Netherlands)
• Robbert Krebbers (Aarhus University, Denmark)
• Freek Wiedijk (Radboud University Nijmegen, The Netherlands)