Henk Barendregt

Professor of
Computer Science
Intelligent Systems
RU

Mai Gehrke

Professor of
Algebra & Logic
IMAPP
RU

Herman Geuvers

Professor of
Computer Science
Intelligent Systems
RU

Giulio Manzonetto

Post-doc in
Computer Science
Intelligent Systems
RU

Jan Rutten

Senior Researcher CWI
Professor of
Computer Science
VU and RU.