Automated Deduction and its Application to Mathematics
Arriving Friday, June 24 and departing Sunday June 26, 2011
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 |