Pierre Flener's Professional Activities

Editing, Steering, Reviewing, and Organising

I am / was Guest Editor of:

Special Issue on Constraint Programming for Air Traffic Control & Management of the Knowledge Engineering Review, Volume 27, Issue 3, September 2012
Special Issue on ASE'00 of the Automated Software Engineering journal, Volume 10, Number 2, April 2003
Special Issue on Inductive Programming of the Automated Software Engineering journal, Volume 8, Number 2, April 2001
Special Issue on Schemas of the Journal of Symbolic Computation, Volume 30, Number 1, July 2000

I am / was a Board or Steering/Executive Committee member of:

ACP, the Association for Constraint Programming, from 2013 to 2016 (election statement)
COMiHC, the Centre of Operations Management within Health Care, since April 2010
SAIS, the Swedish Artificial Intelligence Society, from September 2008 to May 2012
ASE, the IEEE international conferences on Automated Software Engineering, from September 2000 to September 2004
AICCSA, the ACS / IEEE International Conferences on Computer Systems and Applications, from 2001 to 2005

I am / was Programme Chair of:

CP meets CAV, the seminar Constraint Programming meets Computer-Aided Verification, held in June 2012
SymCon'10, the 10th International Workshop on Symmetry in Constraint Satisfaction Problems
SweConsNet'09, the 8th Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming
ATM-CT, the International Workshop on Constraint Programming for Air Traffic Control and Management, held in 2008
LSCS'08, the 5th International Workshop on Local Search Techniques in Constraint Satisfaction
ModRef'08, the 7th International Workshop on Constraint Modelling and Reformulation
SymCon'02, the 2nd International Workshop on Symmetry in Constraint Satisfaction Problems
SweConsNet'02, the 1st Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming
SymCon'01, the 1st International Workshop on Symmetry in Constraint Satisfaction Problems
AICCSA'01, the 1st ACS / IEEE International Conference on Computer Systems and Applications
ASE'00, the 15th IEEE international conference on Automated Software Engineering
LOPSTR'98, the 8th international workshop on Logic-based Program Synthesis and Transformation
ASELP, the JICSLP'98 workshop on Automated Software Engineering and Logic Programming

I am / was a (Senior) Programme Committee member of:

CP'13 (Senior PC), CP'12 (Senior PC + Applications Track PC), CP'11, and CP'07, the international conferences on the Principles and Practice of Constraint Programming
CPAIOR'13, the 10th international conference on the integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP)
IJCAI'13 (Senior PC), the 23rd International Joint Conference on Artificial Intelligence
AAAI'12, AAAI'11, and AAAI'10, the AAAI Conferences on Artificial Intelligence
SymCon'12, SymCon'11, SymCon'09, SymCon'08, SymCon'07, SymCon'05, and SymCon'03, the international workshops on Symmetry in Constraint Satisfaction Problems
WAITS'12, the Workshop on Artificial Intelligence in Telecommunications and Sensor Networks, held at ECAI'12
RCRA'11 and RCRA'09, the International RCRA Workshops, on experimental evaluation of algorithms for solving problems with combinatorial explosion
AAIP'11, AAIP'09, AAIP'07, and AAIP'05, the international workshops on Approaches and Applications of Inductive Programming
JFPC'10 and JFPC'09, les Journées Francophones de Programmation par Contraintes
LSCS'11, LSCS'10, LSCS'09, LSCS'07, the international workshops on Local Search Techniques in Constraint Satisfaction
ModRef'10, ModRef'07, ModRef'04, ModRef'03, and ModRef'02, the international workshops on Constraint Modelling and Reformulation
SAIS'09, the 25th workshop of the Swedish Artificial Intelligence Society
LaSh'08, the 2nd international workshop on Logic and Search
ISCIS'06, ISCIS'04, and ISCIS'98, the International Symposia on Computer and Information Sciences
ASE'04, ASE'03, ASE'02, ASE'01, ASE'99, ASE'98, and ASE'97, the IEEE international conferences on Automated Software Engineering
AAAI'02 Spring Symposium on the State of the Art and Future Trends of Logic-based Program Synthesis
CL'00, the international conference on Computational Logic, in the Program Development Stream
LOPSTR'00, LOPSTR'99,LOPSTR'97, and LOPSTR'94, the international workshops on LOgic-based Program Synthesis and TRansformation
TAINN'95, the 4th Turkish on Artificial Intelligence and Neural Networks Symposium

I am / was Local Chair of:

CP'13, the 19th international conference on the Principles and Practice of Constraint Programming
CP meets CAV, the seminar Constraint Programming meets Computer-Aided Verification, held in June 2012
SweConsNet'10, the 9th Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming
SAIS'10, the 26th workshop of the Swedish Artificial Intelligence Society
SweConsNet'02, the 1st Workshop of the Network for Sweden-based researchers and practitioners of Constraint Programming

I am / was Organiser of:

ACP Summer School 2011 on Hybrid Methods for Constraint Programming

I am / was a Reviewer for numerous other journals, conferences, and workshops, including:

CP'10, CP'09, and CP'05, the international conferences on the Principles and Practice of Constraint Programming
IJCAI'07, IJCAI'05, and IJCAI'95, the International Joint Conferences on Artificial Intelligence
ECAI'06, the 17th European Conference on Artificial Intelligence
WABI'04 and WABI'03, the international Workshops on Algorithms in Bioinformatics
JICSLP'98, the Joint International Conference and Symposium on Logic Programming
LOPSTR'93, the 3rd international workshop on Logic Program Synthesis and Transformation
ACM Transactions on Programming Languages and Systems

Annals of Operations Research

Automated Software Engineering
Constraints
Informatica
Journal of Artificial Intelligence Research
Journal of Functional Programming
Journal of Logic Programming
Logic Journal of the IGPL
Machine Learning
New Generation Computing
Theory and Practice of Logic Programming

I was invited to the following strategic workshops:

Dagstuhl seminar 12152: Program Synthesis, held in April 2012
Dagstuhl seminar 11201: Constraint Programming meets Machine Learning and Data Mining, held in May 2011
Dagstuhl seminar 9241: Analogical and Inductive Inference, held in October 1992

I was invited on the following panels:

Future of Constraint Programming (my slides), held at CP'12
Future Research Directions (my slides), held at SymCon'05

I was invited for the following tutorials:

Symmetry and Case Study at the ACP Summer School 2010 on Constraint Programming
Schema-guided generation of correctly reusable programs (with K.-K. Lau, M. Ornaghi, and J. Richardson) at ASE 1999

I serve(d) as a Jury Member on:

the 3rd International CSP Solver Competition, held in summer 2008

Governmental / Societal Assignments

I serve(d) on the following assignments:

Member of the Scientific Council of the Fonds National de la Recherche of Luxembourg, since 2010
Expert in Information and Communication Technology for the Foresight Exercise of the Fonds National de la Recherche of Luxembourg, in 2006/07

Advising

My current (co-)advisees are:

Dr Jean-Noël Monette, postdoc, Uppsala University, Sweden
Jun He, PhD student, Uppsala University, Sweden
Farshid Hassani Bijarbooneh, PhD student, Uppsala University, Sweden
Joseph Scott, PhD student, Uppsala University, Sweden
Karl Sundequist Blomdahl, PhD student, Uppsala University, Sweden
Maria Andreina Francisco Rodriguez, PhD student, Uppsala University, Sweden
Loïc Blet, PhD student, INSA Lyon (France) and Uppsala University, Sweden

My former (co-)advisees are:

Magnus Ågren (now Rattfeldt), PhD student, Uppsala University, Sweden, 2008 (PhD Thesis: Set Constraints for Local Search) (now at Tomologic, Sweden)
Alice Lesser, PhD student, Uppsala University, Sweden, 2007 (PhD Thesis: Optimal and Hereditarily Optimal Realizations of Metric Spaces) (I was an assistant supervisor)
Brahim Hnich, PhD student, Uppsala University, Sweden, 2003 (now a Professor at Izmir University of Economics, Turkey) (PhD Thesis: Function Variables for Constraint Programming)
Henning Hellkvist and William Sjöstedt, MSc student, Uppsala University, Sweden, 2011 (MSc Thesis: Toward Automated Timetabling at TekNat)
Rodrigo Ronald Gumucio Escobar, MSc student, Uppsala University, Sweden, 2011 (MSc Thesis: Constraints on Set Variables for Constraint-based Local Search), winner of AI Master's Thesis Award 2012 of SAIS!
Josef Kvist, MSc student, Uppsala University, Sweden, 2011 (confidential MSc Thesis)
Maria Andreina Francisco Rodriguez, MSc student, Uppsala University, Sweden, 2011 (MSc Thesis: Consistency of Constraint Networks Induced by Automaton-Based Constraint Specifications)
Carlos Eduardo Alvarez Divo, MSc student, Uppsala University, Sweden, 2011 (MSc Thesis: Automated Reasoning on Feature Models via Constraint Programming)
Peter Jägare, MSc student, Uppsala University, Sweden, 2011 (MSc Thesis: Airspace Sectorisation Using Constraint Programming)
Karl Sundequist Blomdahl, MSc student, Uppsala University, Sweden, 2010 (MSc Thesis: Contingency Plans for Air Traffic Management)
Farshid Hassani Bijarbooneh, MSc student, Uppsala University, Sweden, 2009 (MSc Thesis: Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search)
Pan Xiaoyue, MSc student, Uppsala University, Sweden, 2009 (MSc Thesis: Haplotype Inference by Pure Parsimony with Constraint Programming)
Samuel Edqvist, MSc student, Uppsala University, Sweden, 2008 (MSc Thesis: Scheduling Physicians Using Constraint Programming)
Mats Norberg, MSc student, Uppsala University, Sweden, 2006 (MSc Thesis: Writing a Compiler for the Finite-Domain CSP Modeling Language ESRA)
Henrik Öhrman, MSc student, Uppsala University, Sweden, 2005 (MSc Thesis: Breaking Symmetries in Matrix Models)
Maria Eriksson, MSc student, Uppsala University, Sweden, 2005 (MSc Thesis: Detecting Symmetries in Relational Models of CSPs)
Olof Sivertsson, MSc student, Uppsala University, Sweden, 2005 (MSc Thesis: Construction of Synthetic CDO Squared)
Simon Wrang, MSc student, Uppsala University, Sweden, 2002 (MSc Thesis: Implementation of the ESRA Constraint Modelling Language)
Zeynep Kiziltan, MSc student, Uppsala University, Sweden, 1999 (now an Assistant Professor at the University of Bologna, Italy) (MSc Thesis: Schema-Guided Synthesis of Constraint Logic Programs)
Dr Hamza Zidoum, postdoc, Bilkent University, Ankara, Turkey, 1998 (now an Assistant Professor at Sultan Qaboos University, Muscat, Oman)
Halime Büyükyildiz, MSc student, Bilkent University, Ankara, Turkey, 1997 (now at Alstom Esca, Seattle, WA, USA) (MSc Thesis: Schema-based Logic Program Transformation)
Serap Yilmaz, MSc student, Bilkent University, Ankara, Turkey, 1997 (now at Microsoft, Redmont, WA, USA) (MSc Thesis: Inductive Synthesis of Recursive Logic Programs)
Christophe Bauvir, MSc student, Universite de Namur, Belgium, 1996 (MSc Thesis: An Architecture and an Abstract Datatype for an Inductive Schema-Guided Logic Program Synthesizer)
Serdar Kadioglu and Yilmaz Can Cecen, BSc students, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: Haplotype Inference Using Constraint Technology)
Hilal Kosucu, BSc student, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: RNA Secondary Structure Prediction Using Constraint-Based Local Search)
Birol Yüceoglu, BSc student, Sabanci University, Istanbul, Turkey, 2007 (Undergraduate Thesis: Financial Portfolio Optimization Using Constraint-Based Local Search)
Esra Erdem, BSc student, Bilkent University, Ankara, Turkey, 1996 (now an Assistant Professor at Sabanci University, Istanbul, Turkey) (Undergraduate Thesis: An MSG Method and a Schema-Guided Logic Program Synthesis)
Tugkan Batu, BSc student, Bilkent University, Ankara, Turkey, 1996 (now a Lecturer at the London School of Economics, UK) (Undergraduate Thesis: Schema-Guided Transformations for Logic Algorithms)
... many other undergraduate theses (at BU) and some non-research-oriented MSc theses (at UU) ...

Teaching

My teaching activities are / were:

Local Service

I serve / served on the following boards at my university:

Member of the Education Board of Natural Sciences (NUN) of the Faculty of Science and Technology of Uppsala University, Sweden (from January 2010 to December 2012)
Representative of the Computing Science Division in the Gender Equity Group of the Department of Information Technology of Uppsala University, Sweden (from September 2007 to November 2010)
Deputy Member of the Recruitment Group of the Department of Information Technology of Uppsala University, Sweden (from September 2008 to December 2009)

Memberships

I am currently a member of:

Association for Constraint Programming (ACP)
Association Française pour la Programmation par Contraintes (AFPC)
Association for Logic Programming (ALP)
Swedish Artificial Intelligence Society (SAIS)

Networks:

I am a co-founder and member of SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint Programming, in 2002
I was the coordinator of the Uppsala University node of CoLogNET, the European Network of Excellence in Computational Logic, from 2003 until its end in December 2005

Last modified: Tue Dec 18 09:35:37 CET 2012