Committees
ORGANIZING COMMITTEE
| General Chair | Martin Charles Golumbic | University of Haifa |
|---|---|---|
| Conference Chair | Frederick Hoffman | Florida Atlantic University |
| Program Co-Chair | Jürgen Dix | TU Clausthal |
| Program Co-Chair | Guillermo R. Simari | Universidad Nacional del Sur |
| Publicity Chair | Dimitrios I. Diochnos | University of Virginia |
SPECIAL SESSION CHAIRS
| Flow Optimization in Traffic Networks | |
|---|---|
| Michael Albert | Duke University |
| Guni Sharon | The University of Texas at Austin |
| Boolean and pseudo-Boolean Functions | |
| Endre Boros | Rutgers University |
| Yves Crama | University of Liège |
| Formalising Robot Ethics | |
| Michael Fisher | University of Liverpool |
| Marija Slavkovik | University of Bergen |
| Theory of Machine Learning | |
| Lev Reyzin | University of Illinois at Chicago |
| Applications of SAT | |
| Miroslav N. Velev | Aries Design Automation |
PROGRAM COMMITTEE
| Franz Baader | TU Dresden |
| Salem Benferhat | Université d'Artois |
| Endre Boros | Rutgers University |
| Gerhard Brewka | Leipzig University |
| Yixin Chen | Washington University in St. Louis |
| Berthe Choueiry | University of Nebraska-Lincoln |
| Yves Crama | University of Liège |
| Dimitrios I. Diochnos | University of Virginia |
| Agostino Dovier | Università degli Studi di Udine |
| Thomas Eiter | TU Wien |
| Michael Fisher | University of Liverpool |
| Martin Charles Golumbic | University of Haifa |
| Georg Gottlob | University of Oxford |
| Frederick Hoffman | Florida Atlantic University |
| Warren Hunt | The University of Texas at Austin |
| Anthony Hunter | University College London |
| Vladimir Lifschitz | The University of Texas at Austin |
| Larry M. Manevitz | University of Haifa |
| Debasis Mitra | Florida Institute of Technology |
| Leora Morgenstern | Leidos, Inc., Reston |
| Maurice Pagnucco | University of New South Wales |
| Francesca Rossi | IBM Research and University of Padova |
| David Sarne | Bar-Ilan University |
| Marija Slavkovik | University of Bergen |
| Christine Solnon | INSA Lyon |
| Mirosław (Mirek) Truszczyński | University of Kentucky |
| György Turán | University of Illinois at Chicago and University of Szeged |
| Miroslav N. Velev | Aries Design Automation |
| Kristen Brent Venable | Tulane University and IHMC |
| Toby Walsh | NICTA and University of New South Wales |
| Neil Yorke-Smith | Delft University of Technology and American University of Beirut |