Committees
ORGANIZING COMMITTEE
| General Chair | Martin Charles Golumbic | University of Haifa |
|---|---|---|
| Conference Chair | Frederick Hoffman | Florida Atlantic University |
| Program Co-Chair | Francesca Rossi | University of Padova and Harvard University |
| Program Co-Chair | Kristen Brent Venable | Tulane University and IHMC |
| Publicity Chair | Dimitrios I. Diochnos | University of Virginia |
SPECIAL SESSION CHAIRS
| Boolean and pseudo-Boolean Functions | |
|---|---|
| Endre Boros | Rutgers University |
| Yves Crama | University of Liège |
| Constraint Programming / Operations Research | |
| John Hooker | Carnegie Mellon University |
| Computational Approaches to Proof Construction | |
| Vijay Ganesh | University of Waterloo |
PROGRAM COMMITTEE
| Endre Boros | Rutgers University |
| Berthe Choueiry | University of Nebraska-Lincoln |
| Dimitrios I. Diochnos | University of Virginia |
| Jürgen Dix | Clausthal University of Technology |
| Agostino Dovier | Università degli Studi di Udine |
| Sean Fulop | Fresno State University |
| Vijay Ganesh | University of Waterloo |
| Martin Charles Golumbic | University of Haifa |
| John Hooker | Carnegie Mellon University |
| Peter Jeavons | University of Oxford |
| Maurice Pagnucco | University of New South Wales |
| Francesca Rossi | University of Padova and Harvard University |
| Arkadii Slinko | University of Auckland |
| Mirosław (Mirek) Truszczyński | University of Kentucky |
| Miroslav N. Velev | Aries Design Automation |
| K. Brent Venable | Tulane University and IHMC |
| Toby Walsh | NICTA and University of New South Wales |
| Neil Yorke-Smith | American University of Beirut |