Reuben
Goodstein

University of Leicester


Martin
Löb

Amsterdam



Michiel
van Lambalgen

Amsterdam
(Options)

Giosuè
Baggio

Norwegian University of Science and Technology

Michiel van LambalgenX