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