I. Paul
Bernays

ETH Zürich (MathTree)


Julius Richard
Büchi

Purdue (MathTree)




Edward L.
Robertson

Indiana University

Chris
Giannella

Indiana University
(Options)

Chris GiannellaX