Current Activities

Ongoing Activities

Associate Editor of the Informs Journal on Computing
President of the Constraint Programming Society in North America (CPNA)
Editor of the Constraint Programming Letters
Since 2002: Mentor for the CP Doctoral Program

Current Activities

Program Committee of CP 2010
Program Committee of ECAI 2010
Invited Speaker at ISAIM 2010
Senior Program Committee Member of AAAI 2010
Program Committee and Workshop Chair of CPAIOR 2010
Program Committee of LION 2010
Program Committee of ISAIM 2010
Co-Chair of SymCon 2009 (in collaboration with Alex Fukanaga and Belaid Benhamou)

Program Committee of MFCP 2009

Sep '09: Invited Tutorial at CP 2009 on "Amortized and Expected Case Analysis of Constraint Propagation Algorithms" (in collaboration with Chris Jefferson)

Program Committee of CP 2009

Program Committee of IJCAI 2009

CORS/Informs 2009 Cluster Chair (in collaboration with Gilles Pesant and Tallys Yunes)

June '09: Invited Talk at Informs on "Dialectic Search"

June '09: Invited Talk at Informs on "Learning Value Selection Heuristics"

June '09: Invited Talk at Informs on "Dichotomic Search"

June '09: Invited Talk at SANDIA National Laboratories in Albuquerque on "Feasibility in Combinatorial Optimization"

2009 Master Serdar Kadioglu: Thesis Advisor

2009 Master Yuri Malitsky: Thesis Advisor

May '09: Invited Talk at Georgia Tech in Atlanta on "Feasibility in Combinatorial Optimization"

May '09: Invited Talk at the University of Waterloo on "Context-Free Grammar Constraints"

May '09: Invited Talk at the University of Rochester on "Context-Free Grammar Constraints"

Program Committee of CP-AI-OR 2009

Feb '09: Invited Talk at the Cork Constraint Computation Centre on "Context-Free Grammar Constraints"

Feb '09: Invited Talk at the University of St. Andrews on "Context-Free Grammar Constraints"

Feb '09: Invited Talk at Oxford University on " Feasibility in Combinatorial Optimization"

Jan '09: Invited Talk at EPFL on "Context-Free Grammar Constraints"

Jan '09: Invited Talk at the Max Planck Institute for Informatics in Saarbruecken on " Feasibility in Combinatorial Optimization"

Jan '09: Invited Talk at the Institute of Theoretical Informatics at the University of Karlsruhe on " Feasibility in Combinatorial Optimization"

Jan '09: Invited Talk at the Lufthansa Systems Berlin on "Context-Free Grammar Constraints"

Jan '09: Invited Talk at the Decision Support & Operations Research Laboratory Paderborn on "Context-Free Grammar Constraints"

Program Committee of LION 2009

Past Activities

Supervisor of Artemis 2007 and 2008
Session Organizer at Informs October 2008
October '08: Invited Talk at Informs on "Efficient Context-Free Grammar Constraints"
September '08: Invited Talk at LSCS 2008 on "Learning and Local Search"
September '08: Presentation at SymCon 2008 on "Model Restarts for Structural Symmetry Breaking"
Program Committee of LSCS 2008
Program Committee of SymCon 2008
June '08: Invited Talk at the Center for Research on Transportation (CRT Montreal) on "Search: Value Selection Oracles"

April '08: Invited Talk at the Max Planck Institute for Informatics on "Robust Intelligence for the 21st Century"

Informs 2008 Cluster Chair (in collaboration with John Hooker)

March '08: Invited Talk at Carnegie Mellon University on "Search: Value Selection Oracles"

March '08: Invited Talk at Tepper School of Business on "Deterministic Inference in Constraint Programming"

AAAI 2008 Workshop Chair (in collaboration with Simon Parsons)

Program Committee of AAAI 2008

Program Committee of ECAI 2008

Guest Editor for Computers and Operations Research (in collaboration with Bernard Gendron and Gilles Pesant)

Program Committee of CP-AI-OR 2008

Program Committee of ISAIM 2008

2008 Bachelor Aurojit Panda: Honors Thesis Advisor

2008 Master Jason Pacheco: Thesis Advisor

Program Committee of LSCS 2007

Program Committee of CP 2007

Interim Editor of Conduit!

Session Organizer at Informs July 2007

2007 Bachelor Daniel H. Leventhal: Honors Thesis Advisor

2007 PhD Roland Martin: External Reviewer

Program Committee of AAAI 2007

Program Committee of CP-AI-OR 2007

Session Organizer at Informs November 2007

Nov '07: Invited Talk at Informs on "Propagating Knapsack Constraints in Sublinear Time"

Nov '07: Invited Talk at Informs on "The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems"

Nov '07: Invited Talk at Informs on "The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width"

Conference Chair of CP 2007 (in collaboration with Laurent Michel)

Invited Talk at IBM on Disco--Novo--GoGo

Program Committee of SymCon 2007

CORSA: Constraint mOdelling, Reformulation, Solving, and Analysis

Brown Optimization Initiative

2006 PhD Ionut Aron: Board of Examiners

2006 PhD Yannis Vergados: Board of Examiners

Nov '06: Invited Talk at Informs on "The Theory of Grammar Constraints"

Nov '06: Invited Talk at Informs on "Dynamic Symmetry Breaking Restarted"

Nov '06: Invited Talk at Informs on "Dico-Novo-GoGo"

Program Committee of SymCon 2006

Program Committee of LSCS 2006

Session Organizer at Informs 2006

Session Organizer at Optimization Days 2006

Program Committee of AAAI 2006

Program Committee of the AAAI workshop on Learning for Search 2006

Program Committee of the ECAI workshop on Modelling and Solving Problems With Constraints 2006

Program Committee of CP-AI-OR 2006

Nov '05: Invited Talk at Uppsala University on "Structure and Symmetry in Constraint Programming"

Nov '05: Invited Talk at Informs on "Approximated Consistency for Automatic Recording"

Nov '05: Invited Talk at Informs on "Shorter Path Constraints for the Resource Constrained Shortest Path Problem"

Invited Panel Speaker at CP 2005

Program Committee of CP 2005

Program Chair of SymCon 2005 (in collaboration with Karen Petrie and Jean-Francois Puget)

Program Committee of LSCS 2005

May '05: Invited Talk at the Theory Seminar at the University of Paderborn on "Approximated Consistency for Automatic Recording"

May '05: Organizer of the spring IPP symposium on "Combinatorial Optimization: State of the Art and Future Trends"

April '05: Invited Talk at the Artificial Intelligence Seminar at Cornell University on "Relaxations and Filtering in Combinatorial Optimization"

Program Committee of AAAI 2005

Program Committee of CP-AI-OR 2005

Program Committee of SymCon 2004

Program Committee of LSCS 2004

August '04: Invited Talk at the Graduate School Paderborn on "Optimality through Approximation"

May '04: Invited Talk at CORS / INFORMS 2004 on "The Use of Approximation Algorithms When Searching for Optimal Solutions"

May '04: Invited Talk at CORS / INFORMS 2004 on "CP-Based Lagrangian Relaxation Revisited"

April '04: Invited Talk at Carnegie Mellon University on "Optimality through Approximation"

March '04: Invited Talk at Brown University on "Optimality through Approximation"

Program Committee of CP-AI-OR 2004

Facilitator of the breakout group 'Time Criticality and Uncertainty' of the AFRL / IISI Workshop on Mixed Initiative Decision Making

Nov '03: Invited Talk at Brown University on "Symbolic Constraints for Constrained Optimization"

Dec '02: Invited Talk at Cornell University on "Reduction Techniques in Constraint Programming and Combinatorial Optimization"

Member of the Clearingstelle at the University of Paderborn (in German only)

Local Organization of CP-AI-OR 2000

Local Organization of PAREO 2000