Automated Deduction and its Application to Mathematics

Confirmed Participants

Name Affiliation
Churchill, Richard The City Univesity of New York and Univesity of Calgary
Ens, Eric York University
Ernst, Zac University of Missouri-Columbia
Padmanabhan, R. The University of Manitoba
Phillips, J.D. Northern Michigan University
Sutcliffe, Geoff University of Miami
Veroff, Robert University of New Mexico
Vojtechovsky, Petr University of Denver
Yang, Qiduan University of British Columbia
Zhang, Yang Univesity of Manitoba