SARA 2013

10th Symposium on Abstraction, Reformulation, and Approximation

Home | Call for Papers | Programme Committee | Dates | Submission | Local Info |

Keynote Speakers | Accepted Papers | Schedule

Program Committee

CHAIRS

Alan Frisch University of York Program Chair

Peter Gregory Teesside University Program Chair

Rob Holte University of Alberta General Chair for SARA 2013

Mausam University of Washington Local Chair

PROGRAM COMMITTEE

Roman Bartak Charles University PC Member

Berthe Choueiry University of Nebraska-Lincoln PC Member, Steering Committee

Lukas Chrpa University of Huddersfield PC Member

Stefan Edelkamp University of Bremen PC Member

Michael Genesereth Stanford University PC Member, Steering Committee

Enrico Giunchiglia Università di Genova PC Member

Faustino Giunchiglia University of Trento Steering Committee

Rob Holte University of Alberta PC Member, Steering Committee

Chris Jefferson University of St. Andrews PC Member

Sven Koenig Carnegie Mellon University PC Member, Steering Committee

Lars Kotthoff Cork Constraint Computation Centre PC Member

Ian Miguel University of St. Andrews PC Member, Steering Committee

Derek Long King's College London PC Member

Martijn van Otterlo Radboud University Nijmegen PC Member

Steven Prestwich Cork Constraint Computation Centre PC Member

Andrea Rendl Austrian Institute of Technology PC Member

Peter Revesz University of Nebraska-Lincoln PC Member, Steering Committee

Ashish Sabharwal Cornell University PC Member

Lorenza Saitta Università del Piemonte Orientale PC Member, Steering Committee

Nathan Sturtevant University of Denver PC Member

Pascal van Hentenryck NICTA, Victoria Research Laboratory PC Member

Miroslav Velev Aries Design Automation PC Member

Mateu Villaret Universitat de Girona PC Member

Toby Walsh NICTA, Uni. of New South Wales PC Member, Steering Committee

Jean-Daniel Zucker Research Institute for Development PC Member, Steering Committee