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 |