Invited Speakers

Carla Gomes, Cornell University

Fritz Henglein, University of Copenhagen

Anil Nerode, Cornell University

Moshe Vardi, Rice University