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 |
