Past Activities

• 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
• 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