Biography
Helmut Simonis has been working on constraint programming for over 20 years. He was member of the CHIP project at ECRC in Munich, co-founder and technical director for COSYTEC in Orsay, and a principal research fellow at Imperial College London, as well as working for start-up companies Parc Technologies and CrossCore before joining 4C. His main interests are applications of constraint programming and debugging and visualization techniques for finite domain solvers with global constraints. He currently (2013-2014) is president of the Association for Constraint Programming.Research Interests
Helmut Simonis has been working on constraint programming for over 25 years. He was member of the CHIP project at ECRC in Munich, co-founder and technical director for COSYTEC in Orsay, and a principal research fellow at Imperial College London, as well as working for start-up companies Parc Technologies and CrossCore before joining 4C. His main interests are applications of constraint programming and debugging and visualization techniques for finite domain solvers with global constraints.
Research Grants
Project | Funding Body | Start Date | End Date | Award | |
---|---|---|---|---|---|
Constraint-based Personalized TV Schedules - CPTV | Enterprise Irl | 01-NOV-08 | 31-OCT-09 | €122,161.00 | |
Identifying Sources of Global Conetention in Constraint Satisfaction Search. | Irish Research Council for Science, Engineering & Technology (IRCSET) | 01-JUN-11 | 20-SEP-13 | €79,280.00 | |
ECLiPSe ELearning and Development | Industry Sponsor | 01-JAN-09 | |||
COST Action ES-1002 WIRE | COST Actions | 27-JUL-10 | 09-NOV-14 | ||
Constraint-Based, Energy Cost Aware Scheduling | Science Foundation Ireland | 01-DEC-09 | 30-NOV-10 | ||
Campus21 | European Framework Programme Seven (FP7) | 01-SEP-11 | 30-AUG-14 | ||
Learning Constraints for Reducing Combinatorics | Industry Sponsor | 01-JAN-12 |
Publications
Book Chapters
Year | Publication | |
---|---|---|
(2006) | 'Constraint Applications in Networks' Helmut Simonis (2006) 'Constraint Applications in Networks' In: F. Rossi, P. van Beek, T. Walsh (eds). Handbook of Constraint Programming. Amsterdam: Elsevier. [Details] | |
(2000) | 'Search Tree Visualization' Helmut Simonis and Abderrahmane Aggoun (2000) 'Search Tree Visualization' In: Analysis and Visualization Tools for Constraint Programming. Heidelberg: Springer. [Details] | |
(2000) | 'Using Constraint Visualisation Tools' Helmut Simonis and Trijntje Cornelissens and Veroniek Dumortier and Giovanni Fabris and F. Nanni and Adriano Tirabosco (2000) 'Using Constraint Visualisation Tools' In: Analysis and Visualization Tools for Constraint Programming. Heidelberg: Springer. [Details] | |
(2000) | 'Complex Constraint Abstraction: Global Constraint Visualisation' H. Simonis and A. Aggoun and N. Beldiceanu and E. Bourreau (2000) 'Complex Constraint Abstraction: Global Constraint Visualisation' In: Analysis and Visualization Tools for Constraint Programming. Heidelberg: Springer. [Details] |
Edited Books
Year | Publication | |
---|---|---|
(2014) | Helmut Simonis (Ed.). (2014) Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings. Heidelberg: Springer. [Details] |
Peer Reviewed Journals
Year | Publication | |
---|---|---|
(2013) | 'Toward sustainable development in constraint programming' Beldiceanu, Nicolas and Flener, Pierre and Monette, Jean-Noël and Pearson, Justin and Simonis, Helmut (2013) 'Toward sustainable development in constraint programming'. Constraints, :1-11 [DOI] [Details] | |
(2012) | 'Partial Symmetry Breaking by Local Search in the Group' S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim (2012) 'Partial Symmetry Breaking by Local Search in the Group'. Constraints, [Details] | |
(2007) | 'Models for Global Constraint Applications' Helmut Simonis (2007) 'Models for Global Constraint Applications'. Constraints, 12 (1):63-92 [Details] | |
(2000) | 'Constraint Handling in an Integrated Transportation Problem' H. Simonis and P. Charlier and P. Kay (2000) 'Constraint Handling in an Integrated Transportation Problem'. IEEE Intelligent Systems, 15 (1):26-32 [Details] | |
(1992) | 'Constraint Satisfaction Using Constraint Logic Programming' Pascal Van Hentenryck and Helmut Simonis and Mehmet Dincbas (1992) 'Constraint Satisfaction Using Constraint Logic Programming'. Artificial Intelligence, 58 (1-3):113-159 [Details] | |
(1992) | 'Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP' M. Dincbas and H. Simonis and P. Van Hentenryck (1992) 'Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP'. Journal of Mathematical and Computer Modelling, 16 (1):95-105 [Details] | |
(1990) | 'Solving Large Combinatorial Problems in Logic Programming' M. Dincbas and H. Simonis and P. Van Hentenryck (1990) 'Solving Large Combinatorial Problems in Logic Programming'. Journal of Logic Programming, 8 (1):75-93 [Details] | |
(1987) | 'Embedding Boolean Expressions into Logic Programming' Wolfram Buttner and Helmut Simonis (1987) 'Embedding Boolean Expressions into Logic Programming'. Journal of Symbolic Computation, 4 (2):191-205 [Details] | |
(2014) | 'Toward sustainable development in constraint programming' Beldiceanu, N,Flener, P,Monette, JN,Pearson, J,Simonis, H (2014) 'Toward sustainable development in constraint programming'. Constraints, 19 :139-149 [DOI] [Details] | |
(2014) | 'A Constraint-Based Dental School Timetabling System' Cambazard, H,O'Sullivan, B,Simonis, H (2014) 'A Constraint-Based Dental School Timetabling System'. Ai Magazine, 35 :53-63 [Details] |
Conference Publications
Year | Publication | |
---|---|---|
(2013) | IAAI Hadrien Cambazard and Barry O'Sullivan and Helmut Simonis (2013) The Deployment of a Constraint-Based Dental School Timetabling System IAAI [Details] | |
(2013) | CP Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres CP , pp.47-62 [Details] | |
(2013) | CP Nicolas Beldiceanu and Georgiana Ifrim and Arnaud Lenoir and Helmut Simonis (2013) Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker CP , pp.733-748 [Details] | |
(2013) | SOCS Naina Razakarison and Mats Carlsson and Nicolas Beldiceanu and Helmut Simonis (2013) GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials SOCS [Details] | |
(2013) | CPAIOR Yuri Malitsky and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem CPAIOR , pp.176-192 [Details] | |
(2013) | GECON Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres GECON , pp.44-59 [Details] | |
(2013) | CESBP 2013 Donal Browne, Raimond Foley, Matthias Schuss, Helmut Simonis, Christina de Torre, David Willis (2013) Alternative Ways for Advanced Energy Management CESBP 2013 Vienna, , pp.451-458 [Details] | |
(2013) | CESBP 2013 Christina de Torre, Helmut Simonis, Andres Macia, Miguel Garcia, Cesar Valmaseda (2013) Thermal Energy Flow Balancing for Optimizing Energy Performance in Public Swimming Pools CESBP 2013 Vienna, , pp.475-482 [Details] | |
(2012) | CP Nicolas Beldiceanu and Helmut Simonis (2012) A Model Seeker: Extracting Global Constraint Models from Positive Examples CP , pp.141-157 [Details] | |
(2012) | CP Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2012) Comparing Solution Methods for the Machine Reassignment Problem CP , pp.782-797 [Details] | |
(2012) | CP Georgiana Ifrim and Barry O'Sullivan and Helmut Simonis (2012) Properties of Energy-Price Forecasts for Scheduling CP , pp.957-972 [Details] | |
(2012) | International Conference for Enhanced Building Operations (ICEBO) Matthias Schuß, Ardeshir Mahdavi, H. Simonis, K. Menzel and D. Browne (2012) The potential and challenges of monitoring-supported energy efficiency improvement strategies in existing buildings . In: M. Kagioglou eds. International Conference for Enhanced Building Operations (ICEBO) Manchester/Salford, [Details] | |
(2011) | CP Nicolas Beldiceanu and Helmut Simonis (2011) A Constraint Seeker: Finding and Ranking Global Constraints from Examples CP , pp.12-26 [Details] | |
(2011) | CPAIOR Helmut Simonis and Barry O'Sullivan (2011) Almost Square Packing CPAIOR , pp.196-209 [Details] | |
(2010) | CP Helmut Simonis and Paul Davern and Jacob Feldman and Deepak Mehta and Luis Quesada and Mats Carlsson (2010) A Generic Visualization Platform for CP CP , pp.460-474 [Details] | |
(2010) | 22nd IEEE International Conference on Tools with Artificial Intelligence Hadzic, T. and Simonis, H.; (2010) Multicriteria Reasoning Considering Reliability or Availability 22nd IEEE International Conference on Tools with Artificial Intelligence [Details] | |
(2009) | Recent Advances in Constraints Simonis, Helmut and Hadzic, Tarik (2009) A Resource Cost Aware Cumulative . In: Larrosa, Javier and O’Sullivan, Barry eds. Recent Advances in Constraints Barcelona, , pp.76-89 [DOI] [Details] | |
(2009) | 9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009-01-01 S. D. Prestwich, B. Hnich, H. Simonis, R. Rossi, S. A. Tarim; (2009) Boosting Partial Symmetry Breaking by Local Search 9th International Workshop on Symmetry and Constraint Satisfaction Problems, 2009-01-01 [Details] | |
(2009) | CPAIOR Helmut Simonis (2009) Progress on the Progressive Party Problem CPAIOR , pp.328-329 [Details] | |
(2009) | Principles and Practice of Constraint Programming Helmut Simonis (2009) A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem Principles and Practice of Constraint Programming Lisbon, Portugal, [Details] | |
(2009) | Proceedings of the ICAPS 2009 Scheduling and Planning Applications Workshop Roman van der Krogt, James Little and Helmut Simonis; (2009) Scheduling in the Real World: Lessons Learnt Proceedings of the ICAPS 2009 Scheduling and Planning Applications Workshop [Details] | |
(2009) | CSCLP 2009 Helmut Simonis (2009) Solving the Static Design Routing and Wavelength Assignment Problem CSCLP 2009 Barcelona, Spain, [Details] | |
(2009) | SYMCON 09 - Ninth International Workshop on Symmetry and Constraint Satisfaction Problems (CP2009) S. D. Prestwich and B. Hnich and H. Simonis and R. Rossi and S. A. Tarim (2009) Symmetry Breaking by Local Search SYMCON 09 - Ninth International Workshop on Symmetry and Constraint Satisfaction Problems (CP2009) Lisbon, Portugal, [Details] | |
(2008) | CP Helmut Simonis and Barry O'Sullivan (2008) Search Strategies for Rectangle Packing CP , pp.52-66 [Details] | |
(2006) | CP Helmut Simonis (2006) Constraint Based Resilience Analysis CP , pp.16-28 [Details] | |
(2005) | 4th International Conference on Networking Q. Xia and H. Simonis (2005) Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons 4th International Conference on Networking Reunion Island, France, [Details] | |
(2005) | Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems H. Simonis (2005) Sudoku as a Constraint Problem . In: B. Hnich and P. Prosser and B. Smith eds. Proceedings of the 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems , pp.13-27 [Details] | |
(2004) | Principles and Practice of Constraint Programming - CP 2004. 10th International Conference H. Simonis (2004) Challenges for Constraint Programming in Networking . In: M. Wallace eds. Principles and Practice of Constraint Programming - CP 2004. 10th International Conference Toronto, Canada, [Details] | |
(1999) | CCL Helmut Simonis (1999) Building Industrial Applications with Constraint Programming CCL , pp.271-309 [Details] | |
(1999) | JFPLC Helmut Simonis and Abderrahmane Aggoun (1999) Search Tree Debugging JFPLC , pp.265-280 [Details] | |
(1995) | CP Helmut Simonis and Trijntje Cornelissens (1995) Modelling Producer/Consumer Constraints CP , pp.449-462 [Details] | |
(1995) | CP Helmut Simonis (1995) The CHIP System and Its Applications CP , pp.643-646 [Details] | |
(1995) | CDB Helmut Simonis (1995) Application Development with the CHIP System CDB , pp.1-21 [Details] | |
(1995) | ICLP Helmut Simonis (1995) Applications of Constraint Logic Programming ICLP , pp.9-11 [Details] | |
(1995) | WLP Helmut Simonis (1995) Application Development with the CHIP System WLP , pp.11-27 [Details] | |
(1994) | CCL Helmut Simonis (1994) Applications of Constraint Logic Programming CCL , pp.152-153 [Details] | |
(1991) | Advanced Software Technology in Air Transport (ASTAIR'91) M. Dincbas and H. Simonis (1991) APACHE - A Constraint Based, Automated Stand Allocation System Advanced Software Technology in Air Transport (ASTAIR'91) , pp.267-282 [Details] | |
(1991) | WCLP Helmut Simonis and Mehmet Dincbas (1991) Propositional Calculus Problems in CHIP WCLP , pp.269-285 [Details] | |
(1990) | ALP Helmut Simonis and Mehmet Dincbas (1990) Propositional Calculus Problems in CHIP ALP , pp.189-203 [Details] | |
(1989) | Resolution of Equations in Algebraic Structures M. Dincbas and H. Simonis and P. Van Hentenryck (1989) Extending Equation Solving and Constraint Handling in Logic Programming . In: H. Ait-Kaci and M. Nivat eds. Resolution of Equations in Algebraic Structures [Details] | |
(1989) | ICLP Helmut Simonis (1989) Test Generation using the Constraint Logic Programming Language CHIP ICLP , pp.101-112 [Details] | |
(1988) | CADE Mehmet Dincbas and Pascal Van Hentenryck and Helmut Simonis and Abderrahmane Aggoun and Alexander Herold (1988) The CHIP System: Constraint Handling In Prolog CADE , pp.774-775 [Details] | |
(1988) | ECAI Mehmet Dincbas and Helmut Simonis and Pascal Van Hentenryck (1988) Solving the Car-Sequencing Problem in Constraint Logic Programming ECAI , pp.290-295 [Details] | |
(1988) | ICLP/SLP Mehmet Dincbas and Helmut Simonis and Pascal Van Hentenryck (1988) Solving a Cutting-Stock Problem in Constraint Logic Programming ICLP/SLP , pp.42-58 [Details] | |
(1988) | IEA/AIE (Vol. 2) Mehmet Dincbas and Pascal Van Hentenryck and Helmut Simonis and Abderrahmane Aggoun and Thomas Graf (1988) Applications of CHIP to Industrial and Engineering Problems IEA/AIE (Vol. 2) , pp.885-892 [Details] | |
(1988) | FGCS M. Dincbas and P. Van Hentenryck and H. Simonis and A. Aggoun and T. Graf and F. Berthier (1988) The Constraint Logic Programming Language CHIP FGCS , pp.693-702 [Details] | |
(1987) | GWAI Helmut Simonis and Mehmet Dincbas (1987) Using Logic Programming for Fault Diagnosis in Digital Circuits GWAI , pp.139-148 [Details] | |
(2012) | CompSust'12: 3rd International Conference on Computational Sustainability Diarmuid Grimes, Helmut Simonis, Annabelle Pratt, Charles Sheridan (2012) Automated Energy Usage in the Residential Sector: Impact of Price Tariffs CompSust'12: 3rd International Conference on Computational Sustainability [Details] | |
(2014) | IEEE International Conference on Tools with Artificial Intelligence (ICTAI) Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada and Helmut Simonis. (2014) Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation IEEE International Conference on Tools with Artificial Intelligence (ICTAI) [DOI] [Details] |
Professional Activities
Honours and Awards
Year | Title | Awarding Body | |
---|---|---|---|
1994 | Best AI Application Avignon AI Conference | 14th International AI Conference in Avignon | |
2013 | Best Application Paper CP2013 | Principles and Practice of Constraint Programming 2009 | |
2009 | Best Application Paper CP2009 | Principles and Practice of Constraint Programming 2009 |
Professional Associations
Association | Function | From / To | |
---|---|---|---|
Java Community Process JCP-331 | Expert Member | 01-JAN-10 / | |
Association for Constraint Programming | President | 01-JAN-13 / 31-DEC-14 | |
Association for Constraint Programming | Executive Committee | 01-JAN-11 / 31-DEC-14 |
Patents
Patent Number | Title | Inventor | Granted | |
---|---|---|---|---|
GB 2386 033A | Calculating Traffic Flow in a Communications Network | H. Simonis | 01-MAR-02 | |
WO 03/075512A1 | Method and System for Constraint-Based Traffic Flow Optimization System | H. Simonis | 17-FEB-03 | |
WO 03/075508A2 | Estimating/Calculating traffic values, estimating the effect of/and modifying the network | H. Simonis | 17-FEB-03 | |
J00045222GB | Assisted Determination of Data Flows in Communication/Data Networks | H. Simonis, Q. Xia | 20-MAR-03 | |
J00046278GB | Interior Gateway Protocol Mimicking | S. Novello, J. Singer, H. Simonis | 31-DEC-04 | |
GB 2386 032A | Estimating/Calculating traffic values, estimating the effect of/and modifying the network | H. Simonis | 01-MAR-02 |
Conference Contributions
Year | Publication | |
---|---|---|
(2014) | CP-AI-OR 2014, Helmut Simonis (2014) The Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming took place from May 19-23, 2014, in Cork, Ireland. [Editorship of Whole Conference Proceedings], CP-AI-OR 2014, Cork, Ireland . [Details] | |
(1996) | Deklarative Constraint Programmierung, U. Geske, H. Simonis (1996) Workshop der GF 1.1.1 der GI zur KI 1996. [Conference Organising Committee Chairperson], Deklarative Constraint Programmierung, Berlin, Germany . [Details] | |
(2006) | Principles and Practice of Constraint Programming (CP 2006), H. Simonis (2006) Constraint Based Resilience Analysis. [Invited Lectures (Conference)], Principles and Practice of Constraint Programming (CP 2006), Nantes, France . [Details] | |
(2008) | ModRef 2008, P. Flener, H. Simonis (2008) Modelling and Reformulation Workshop at CP 2008. [Conference Organising Committee Chairperson], ModRef 2008, Sydney, Australia . [Details] | |
(2012) | CP-AI-OR 2012, H. Simonis (2012) Optimization with Variable Energy Prices. [Invited Lectures (Conference)], CP-AI-OR 2012, Nantes, France . [Details] | |
(1994) | Constraints in Computational Logics (CCL 94), H. Simonis (1994) Applications of Constraint Programming. [Invited Lectures (Conference)], Constraints in Computational Logics (CCL 94), Munich, Germany . [Details] | |
(2009) | CSCLP 2009, H. Simonis (2009) Lessons Learned from Developing an On-Line Constraint Programming Course. [Invited Lectures (Conference)], CSCLP 2009, Barcelona, Spain . [Details] | |
(2014) | 24th International Conference on Inductive Logic Programming, H. Simonis (2014) Learning Constraint Models from Example Solutions. [Invited Lectures (Conference)], 24th International Conference on Inductive Logic Programming, Nancy, France . [Details] | |
(1998) | Workshop on Large Scale Combinatorial Optimisation and Constraints, Marc Wallace, Yves Caseau, Eric Jacquet-Lagreze, Helmut Simonis, Gilles Pesant (1998) Workshop at CP 98. [Conference Organising Committee Chairperson], Workshop on Large Scale Combinatorial Optimisation and Constraints, Pisa, Italy . [Details] | |
(2010) | Swedish AI Society Meeting, H. Simonis (2010) CPTV - Generating Personalized TV Schedules. [Invited Lectures (Conference)], Swedish AI Society Meeting, Uppsala, Sweden . [Details] | |
(2010) | JFPC 2010, H. Simonis (2010) Improving Constraint Modelling Using Visualization. [Invited Lectures (Conference)], JFPC 2010, Caen, France . [Details] |
Employment
Employer | Position | From / To | |
---|---|---|---|
UCC | Senior Research Fellow | 01-JAN-08 / 31-DEC-14 | |
Cosytec SA | Co-founder and Technical Director | 25-SEP-90 / 31-JUL-00 | |
ECRC GmbH | Researcher | 01-JAN-86 / 30-SEP-90 | |
Ecole des Mines de Nantes | Visiting Research Fellow | 01-NOV-10 / 31-DEC-10 | |
Imperial College London | Principal Research Fellow | 01-AUG-00 / 30-NOV-05 | |
CrossCore Optimization | Co-founder and Principal Product Architect | 01-DEC-05 / 30-SEP-07 | |
Parc Technologies Ltd | Senior Researcher | 01-AUG-00 / 30-AUG-04 | |
Ecoles des Mines de Nantes | Visiting Chair | 01-JAN-13 / 31-DEC-14 |
Education
Year | Institution | Qualification | Subject | |
---|---|---|---|---|
1985 | Technische Hochschule Darmstadt | DIPLOMA | Diplom Mathematik mit Informatik |
Languages
Language | Reading | Writing | Speaking | |
---|---|---|---|---|
German | Fluent | Fluent | Fluent | |
English | Fluent | Fluent | Fluent |
Consultancy
Client | Description | |
---|---|---|
Cisco | ||
Matra | ||
Dassault Aviation | ||
BT Radianz | ||
Servair | ||
Technip | ||
RFO | ||
Reuters | ||
Korean Air | ||
North Western Trains | ||
SAS |
Outreach Activities
Description | |
---|---|
Industry Outreach Chair, CP 2015, Cork , Ireland | |
ECLiPSe Elearning Project, Video Course for Learning Constraint Programming, Funded by Cisco Systems, 2009 |
Journal Activities
Journal | Role | To / From | |
---|---|---|---|
Constraints | Editor | 01-JAN-10 - | |
Formal Methods In System Design | Member of Editorial Board | 01-JAN-92 - 31-DEC-97 |
Other Activities
Description | |
---|---|
Program Committee PACLP 99 | |
Program Committee CP 2000 | |
Program Committee AAAI 2006 | |
Program Committee CPAIOR 2010 | |
Chair, application track, CP 2012 | |
Program committee, ECAI 2012 | |
Program committee, application track, CP 2013 | |
Program Chair, CPAIOR 2014 | |
Program committee, Computational Sustainability track, AAAI 2015 | |
Teaching ACP SummerSchool 2009 | |
Teaching ICON SummerSchool 2014 | |
Teaching AlgoDec Doctoral School 2009 | |
Tutorial ICLP 95, Tokyo, Japan | |
MasterClass CP-AI-OR 2004, Nice, France | |
MasterClass CP-AI-OR 2014, Cork, Ireland | |
Teaching KIFS, AI Spring School, Moehnesee, Germany, 1995 | |
Teaching Compulog Americas Summerschool, Las Cruces, NM, 1999 | |
Teaching International Summerschool on Constraints in Computational Logics, Gif sur Yvette, France, 1999 | |
Program Committee CP 96 | |
Program Committee PACT 97 | |
Program Committee CP98 | |
Program Committee CP99 | |
Program Committee Computational Logic Conference 2000 | |
Program Committee CP2004 | |
Program Committee CPAIOR 2007 | |
Program Committee CPAIOR 2008 | |
Program Committee, IJCAI 2011 | |
Program Committee, Computational Sustainability and AI, 2012 | |
Program Committee CPAIOR 2013 | |
Senior Program Committee, CP 2014 (also application track, journal track) | |
Conference Co-chair, CPAIOR 2014 | |
Program committee, CPAIOR 2012 | |
MasterClass CP-AI-OR 2009, Pittsburgh, PA | |
Program Committee PACT98 | |
Chair, Application Track CP 2002 | |
Program Committee CP 2003 | |
Program Committee CPAIOR 2005 | |
Program Committee CP 2006 | |
Program Committee CPAIOR 2006 | |
Program Committee, application track CP 2007 | |
Program committee, application track, CP 2008 | |
Program Committee, ECAI 2008 | |
Program Committee CPAIOR 2009 | |
Program Committee, CP 2010 | |
Program Committee ECAI 2010 | |
Program Committee CPAIOR 2011 | |
Chair, application track, CP 2011 | |
Program Committee, AAAI2011 | |
Invited Talk, CP 2006 | |
Program committee, Computational Sustainability track, AAAI 2013 | |
Invited Talk, CPAIOR 2012 | |
Program Committee, Computational Sustainability and AI, 2011 |
Teaching Activities
Teaching Interests
Research Information
External Collaborators
Name | Organisation/ Institution | Country | |
---|---|---|---|
Kish Shen | Cisco | UNITED KINGDOM | |
Hadrian Cambazard | G-SCOP, Université de Grenoble, Grenoble INP | FRANCE | |
Pierre Flener | Uppsala University | SWEDEN | |
Arnaud Lenoir | EDF Reseach | FRANCE | |
Jean-Yves Lucas | EDF Research | FRANCE | |
Mats Carlsson | SICS | SWEDEN | |
Georgiana Ifrim | UCD | IRELAND | |
Nicolas Beldiceanu | Ecole des Mines de Nantes, CNRS/ INRIA | FRANCE | |
Justin Pearson | Uppsala University | SWEDEN | |
Remi Douence | Ecole des Mines de Nantes, CNRS/ INRIA | FRANCE |