Department of Information Technology

ASTRA Activities

Activities 2017

  • Arne Andersson of Trade Extensions gave the guest lecture Optimisation Applied on 13 February 2017.
  • Pierre Flener served on the programme committee of AAAI 2017, the 31st AAAI Conference on Artificial Intelligence, held in San Francisco (California, USA) in February 2017.

Activities 2016

  • Warwick Tucker of the Department of Mathematics at UU gave the guest lecture Validated Numerics (CP over continuous domains) on 12 December 2016.
  • Fredrik Ygge of Trade Extensions gave the guest lecture Using Optimisation for Electronic Negotiations on 22 November 2016.
  • Pierre Flener served as the Workshop & Tutorial Chair of CP 2016, the 22nd International Conference on the Principles and Practice of Constraint Programming, held in Toulouse (France) in September 2016.
  • Justin Pearson gave an invited talk at CP-CAV 2016, the CP meets Verification 2016 Workshop, held at CP 2016 in Toulouse (France) in September 2016.
  • Mats Carlsson (technical track, biology track, and testing & verification track), Pierre Flener (testing & verification track), and Justin Pearson (technical track, testing & verification track, and music track) served on the Programme Committee of CP 2016, held in Toulouse (France) in September 2016.
  • Justin Pearson gave an invited talk at SMT 2016, the 14th International Workshop on Satisfiability Modulo Theories, held in Coimbra (Portugal) in July 2016.
  • Justin Pearson served on the programme committee of ECAI 2016, the 22nd European Conference on Artificial Intelligence, held in The Hague (Netherlands) in August 2016.
  • Max Block defended his MSc thesis on pre-runtime scheduling for an avionics system on 24 May 2016.
  • Jip Dekker defended his MSc thesis on subproblem pre-solving in MiniZinc on 24 May 2016.
  • Fatima Zohra Lebbah of Université d'Oran (Algeria) visited us from 24 April to 14 May 2016.
  • Gustav Björdal defended his MSc thesis on string variables for CBLS on 29 April 2016.
  • Ekaterina Arafailova of Mines Nantes (France) visited us from 5 to 23 April 2016.
  • Patrik Broman defended his BSc thesis on tuple variables on 24 March 2016.
  • Pierre Flener served on the programme committee of AAAI 2016, the 30th AAAI Conference on Artificial Intelligence, held in Phoenix (Arizona, USA) in February 2016.

Activities 2015

  • Yong Huang defended his MSc thesis on a CP-based course recommender system on 17 December 2015.
  • Mats Carlsson of SICS gave the guest lecture An Integrated CP Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments on Monday 14 December 2015.
  • Warwick Tucker of the Department of Mathematics at UU gave the guest lecture Validated Numerics (CP over continuous domains) on Monday 30 November 2015.
  • Frej Knutar defended his MSc thesis Automatic Generation of Assembly Schedules for a Dual-Arm Robot Using Constraint Programming on 19 November 2015.
  • Pierre Flener gave an invited tutorial on constraint programming and Jean-Noël Monette talked about MiniZinc at the SOAK 2015 conference by the Swedish society for Operations Analysis (SOAF) on Friday 23 October 2015 at Mälardalens Högskola in Västerås.
  • Hans Koberg defended his BSc thesis Tree-width and Indexicals: Applying Results in Tractability to Propagators on 1 October 2015.
  • Loïc Blet, an occasional guest of our group, defended his PhD thesis at INSA Lyon (France) on 30 September 2015.
  • Andreina Francisco Rodriguez won the Best Poster Award for her poster at CP 2015, the 21st International Conference on the Principles and Practice of Constraint Programming, held in Cork (Ireland) in September 2015.
  • Pierre Flener (senior PC), Mats Carlsson (application track PC), and Justin Pearson (technical track PC) served on the programme committees of CP 2015, the 21st International Conference on the Principles and Practice of Constraint Programming, held in Cork (Ireland) in September 2015.
  • Emil Kajgård defended his MSc thesis Route Optimisation for Winter Road Maintenance using Constraint Modelling on 19 August 2015.
  • Pierre Flener (senior PC) as well as Mats Carlsson, Jean-Noël Monette, and Justin Pearson (PC) served on the programme committees of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, held in Buenos Aires (Argentina) in July 2015.
  • Jean-Noël Monette served on the programme committee of JFPC 2015, les 11ièmes Journées Francophones de Programmation par Contraintes, held in Bordeaux (France) in June 2015.
  • Pierre Flener and Justin Pearson served on the programme committee of AAAI 2015, the 29th AAAI Conference on Artificial Intelligence, held in Austin (Texas, USA) in January 2015.

Activities 2014

  • Gustav Björdal defended his BSc thesis The First Constraint-Based Local Search Backend for MiniZinc on 23 September 2014.
  • Mats Carlsson (application track) as well as Pierre Flener and Justin Pearson (technical track) served on the programme committee of CP 2014, the 20th International Conference on the Principles and Practice of Constraint Programming, held in Lyon (France) in September 2014.
  • Pierre Flener taught a course on constraint programming in autumn 2014 at Uppsala University.
  • Kellen Dye defended his MSc thesis Implementation of Bit-Vector Variables in a Constraint Solver with an Application to the Generation of Cryptographic Substitution Boxes on 27 August 2014.
  • Nicolas Beldiceanu of Mines de Nantes (France) visited us throughout August 2014, and has also visited us 12 to 20 February 2014.
  • Pierre Flener served on the programme committee of AAAI 2014, the 28th AAAI Conference on Artificial Intelligence, held in Québec City (Canada) in July 2014.
  • The SweConsNet 2014 workshop of SweConsNet, the Network of Sweden-based researchers and practitioners of Constraint programming, was held at KTH on 13 June 2014.
  • Noric Couderc defended his MSc thesis Modelling and Simulation of a Telecommunication Application using Constraint Programming on 11 June 2014.
  • Patrik Ehrencrona Kjellin defended his BSc thesis Airspace Sectorsation Using Constraint Based Local Search on 9 June 2014.
  • Mats Carlsson, Pierre Flener, and Justin Pearson visited Nicolas Beldiceanu at Mines de Nantes (France) from 1 to 6 June 2014.
  • Joakim Ejenstam defended his MSc thesis Implementing a Time Optimal Task Sequence For Robot Assembly Using Constraint Programming on 28 May 2014.
  • Pierre Flener served on the programme committee of CPAIOR 2014, the 11th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP), held in Cork (Ireland) in May 2014.
  • Valentina Chapovalova defended her BSc thesis Consistency of Constraint Reifications by Reformulation on 30 January 2014.

Activities 2013

  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us 10 to 17 November, 28 October to 2 November, and 1 to 27 August 2013.
  • We organised CP 2013, the 19th International Conference on the Principles and Practice of Constraint Programming, held at Uppsala University on 16 - 20 September 2013.
  • Pierre Flener (senior PC + application track) as well as Mats Carlsson, Jean-Noël Monette, and Justin Pearson (main track) served on the programme committee of CP 2013, the 19th International Conference on the Principles and Practice of Constraint Programming, held in Uppsala (Sweden) on 16 - 20 September 2013.
  • Jean-Noël Monette was programme co-chair of COSpeL, the 1st workshop on Domain Specific Languages in Combinatorial Optimisation, held at CP 2013 in Uppsala (Sweden) on 16 September 2013.
  • Mats Carlsson served on the programme committee of TRICS, the 3rd workshop on Techniques foR Implementing Constraint programming Systems, held at CP 2013 in Uppsala (Sweden) on 16 September 2013.
  • Pierre Flener taught a course on constraint programming in autumn 2013 at Uppsala University.
  • Pierre Flener (senior PC) as well as Mats Carlsson, Jean-Noël Monette, and Justin Pearson (PC) served on the programme committee of IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence, held in Beijing (China) in August 2013.
  • Justin Pearson served on the programme committee of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, held in Bellevue (Washington, USA) in July 2013.
  • Jean-Noël Monette served on the programme committee of JFPC 2013, les 9ièmes Journées Francophones de Programmation par Contraintes, held in Aix-en-Provence (France) in June 2013.
  • Peter Backeman presented his MSc thesis on the nVector constraint on 12 June 2013, and became a PhD student at our department in November 2013.
  • Joakim Lindqvist presented his MSc thesis on physician rostering on 12 June 2013.
  • The SweConsNet 2013 workshop of SweConsNet, the Network of Sweden-based researchers and practitioners of Constraint programming, was held at Lund University on 27 May 2013.
  • Mats Carlsson, Pierre Flener, and Justin Pearson served on the programme committee of CPAIOR 2013, the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CP), held in Yorktown Heights (NY, USA) in May 2013.

Activities 2012

  • David Rijsman of Quintiq visited us on 17 December 2012 and gave a talk.
  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us 17 July - 1 August, 11 - 26 August 2012, 4 - 8 December 2012, and gave a talk.
  • Pierre Flener (senior PC + application track) as well as Mats Carlsson and Justin Pearson (main track) served on the programme committee of CP 2012, the 18th International Conference on the Principles and Practice of Constraint Programming, held in Québec City (Canada) in October 2012.
  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'12, the 12th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP 2012 in Québec City (Canada) in October 2012.
  • Justin Pearson served on the programme committee of ModRef'12, the 11th International Workshop on Constraint Modelling and Reformulation, held at CP 2012 in Québec City (Canada) in October 2012.
  • Mats Carlsson served on the programme committee of CICLOPS 2012, the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems, held at ICLP 2012 in Budapest (Hungary) in September 2012.
  • Pierre Flener taught a course on constraint programming in autumn 2012 at Uppsala University.
  • Justin Pearson served on the programme committee of ECAI 2012, the 20th European Conference on Artificial Intelligence, held in Montpellier (France) in August 2012.
  • Pierre Flener and Justin Pearson served on the programme committee of WAITS 2012, the Workshop on Artificial Intelligence in Telecommunications and Sensor Networks, held at ECAI 2012 in Montpellier (France) in August 2012.
  • Pierre Flener served on the programme committee of AAAI 2012, the 26th AAAI Conference on Artificial Intelligence, held in Toronto (Canada) in July 2012.
  • We co-organised CP meets CAV, an advanced seminar on identifying synergies between the constraint programming and computer-aided verification communities, held in Turunç (Turkey) in June 2012.
  • Johan Öfverstedt presented his BSc thesis on water retention in magic squares on 5 June 2012.
  • Mats Carlsson served on the programme committee of BPPC'12, the 4th International Workshop on Bin Packing and Placement Constraints, held at CPAIOR 2012 in Nantes (France) in May 2012.
  • Jean-Noël Monette served on the programme committee of JFPC 2012, les 8ièmes Journées Francophones de Programmation par Contraintes, held in Toulouse (France) in May 2012.
  • The SweConsNet 2012 workshop of SweConsNet, the Network of Sweden-based researchers and practitioners of Constraint programming, was held at Örebro University in May 2012.
  • Ken Brown of University College Cork (Ireland) visited us on 9 March 2012 and gave a talk.

Activities 2011

  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us 18 - 22 December 2011, 25 October to 4 November 2011, 1 - 31 August 2011, and 4 - 15 May 2011.
  • We had an open PhD position (application deadline: 8 December 2011).
  • Henning Hellkvist and William Sjöstedt defended their MSc thesis on university timetabling via constraint programming on 23 November 2011.
  • Josef Kvist obtained his MSc with a confidential thesis on high-school timetabling via constraint programming in September 2011.
  • Pierre Flener served on the programme committee of CP 2011, the 17th International Conference on Principles and Practice of Constraint Programming, held in Perugia (Italy) in September 2011.
  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'11, the 11th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP 2011 in Perugia (Italy) in September 2011.
  • Justin Pearson served on the programme committee of ModRef 2011, the 10th International Workshop on Constraint Modelling and Reformulation, held at CP 2011 in Perugia (Italy) in September 2011.
  • Pierre Flener served on the programme committee of LSCS 2011, the 8th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP 2011 in Perugia (Italy) in September 2011.
  • Mats Carlsson served on the programme committee of WCB 2011, the 7th Workshop on Constraint Based Methods for Bioinformatics, held at CP 2011 in Perugia (Italy) in September 2011.
  • Pierre Flener taught a course on constraint programming in autumn 2011 at Uppsala University.
  • Toni Mancini of Sapienza Università di Roma (Italy) visited us from May to August 2011.
  • Rodrigo Gumucio defended his MSc thesis on constraints on set variables for constraint-based local search on 24 August 2011.
  • Pierre Flener and Justin Pearson served on the programme committee of AAAI 2011, the 25th AAAI Conference on Artificial Intelligence, held in San Francisco (California, USA) in August 2011.
  • Pierre Flener served on the programme committee of RCRA 2011, the 18th International RCRA Workshop, on experimental evaluation of algorithms for solving problems with combinatorial explosion, held at IJCAI 2011 in Barcelona (Spain) in July 2011.
  • Mats Carlsson served on the programme committee of CICLOPS 2011, the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems, held at ICLP 2011 in Lexington (Kentucky, USA) in July 2011.
  • Maria Andreina Francisco Rodriguez defended her MSc thesis on consistency on 16 June 2011.
  • Carlos Eduardo Alvarez Divo defended his MSc thesis on automated reasoning on feature models on 14 June 2011.
  • The SweConsNet'11 workshop of SweConsNet 2011, the Network of Sweden-based researchers and practitioners of Constraint programming, was held at Örebro University on 30 May 2011.
  • Justin Pearson gave his docent lecture toward Associate Professorship on Tuesday 24 May 2011.
  • Peter Jägare defended his MSc thesis on airspace sectorisation on 17 May 2011.
  • We had an open postdoc position for two years (application deadline: 2 May 2011).

Activities 2010

  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 26 October - 1 November 2010.
  • Joseph Scott defended his MSc thesis on 21 September 2010, and joined us as a PhD student on 1 October 2010.
  • Pierre Flener taught a course on constraint programming in autumn 2010 at Uppsala University.
  • Justin Pearson served on the programme committees of CP'10, the 16th International Conference on Principles and Practices of Constraint Programming, and its Doctoral Programme, held in St Andrews (Scotland, UK) in September 2010.
  • Pierre Flener and Justin Pearson chaired the programme committee of SymCon'10, the 10th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'10 in September 2010.
  • Toni Mancini and Justin Pearson chaired the programme committee of ModRef'10, the 9th International Workshop on Constraint Modelling and Reformulation, held at CP'10 in September 2010. Pierre Flener served on the programme committee of ModRef'10.
  • Mats Carlsson served on the programme committee of TRICS'10, the 3rd workshop on Techniques foR Implementing Constraint programming Systems, held at CP'10 in September 2010.
  • Pierre Flener served on the programme committee of LSCS'10, the 7th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'10 in September 2010.
  • Mats Carlsson served on the programme committee of WCB'10, the 6th Workshop on Constraint Based Methods for Bioinformatics, held at ICLP'10 in Edinburgh (Scotland, UK) in July 2010.
  • Pierre Flener served on the programme committee of AAAI'10, the 24th AAAI Conference on Artificial Intelligence, held in Atlanta (Georgia, USA) in July 2010.
  • Toni Mancini of Sapienza Università di Roma (Italy) visited us from mid March 2010 to early July 2010, and gave a talk at SweConsNet'10.
  • Mats Carlsson co-chaired BPPC'10, the 3rd International Workshop on Bin Packing and Placement Constraints, held at CPAIOR'10 in Bologna (Italy) in June 2010.
  • Pierre Flener served on the programme committee of JFPC'10, les 6ièmes Journées Francophones de Programmation par Contraintes, held in Caen (France) in June 2010.
  • Justin Pearson served on the programme committee of RCRA'10, the 17th International RCRA Workshop, on experimental evaluation of algorithms for solving problems with combinatorial explosion, held in Bologna (Italy) in June 2010.
  • Karl Sundequist Blomdahl defended his MSc thesis on 18 May 2010.
  • Magnus Ågren was the programme chair of SweConsNet'10, the 9th workshop of the Network for Sweden-based researchers and practitioners of Constraint programming, which was co-located with SAIS'10 in Uppsala (Sweden) in May 2010; Pierre Flener and Justin Pearson were the local chairs of both events.
  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 19-24 April 2010.

Activities 2009

  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 13-22 December 2009.
  • Pierre Flener served on the programme committee of RCRA'09, the 16th International RCRA Workshop, on experimental evaluation of algorithms for solving problems with combinatorial explosion, held in Reggio Emilia (Italy) in December 2009.
  • Farshid Hassani Bijarbooneh defended his MSc thesis on 27 October 2009 and joined us as a PhD student on 1 December 2009.
  • Toni Mancini of Sapienza Università di Roma (Italy) visited us from mid July 2009 to late October 2009.
  • Tomas Axling of Tacton Systems AB gave a talk on "Constraint Technology for Solving Configuration Problems" on 12 October 2009.
  • Pan Xiaoyue defended her MSc thesis on 5 October 2009 and joined the UPMARC group as a PhD student.
  • Pierre Flener taught a course on constraint programming in autumn 2009 at Uppsala University.
  • Mats Carlsson served on the programme committee of CP'09, the 15th international conference on the Principles and Practice of Constraint Programming, held in Lisbon (Portugal) in September 2009.
  • Pierre Flener gave the invited talk at SymCon'09, the 9th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'09 in Lisbon (Portugal) in September 2009.
  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'09, the 9th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'09 in Lisbon (Portugal) in September 2009.
  • Mats Carlsson co-chaired BPPC'09, the 2nd International Workshop on Bin Packing and Placement Constraints, held at CP'09 in Lisbon (Portugal) in September 2009.
  • Pierre Flener served on the programme committee of LSCS'09, the 6th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'09 in Lisbon (Portugal) in September 2009.
  • Justin Pearson served on the programme committee of the Doctoral Programme of CP'09, held in Lisbon (Portugal) in September 2009.
  • Mats Carlsson served on the programme committee of CICLOPS'09, the 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems, held at IJCAI'09 and ICLP'09 in Pasadena (California, USA) in July 2009.
  • Mats Carlsson served on the programme committee of CLPSE'09, the 4th International Workshop on (Constraint) Logic Programming and Software Engineering, held at ICLP'09 in Pasadena (California, USA) in July 2009.
  • Pierre Flener served on the programme committee of JFPC'09, les 5ièmes Journées Francophones de Programmation par Contraintes, held in Orléans (France) in June 2009.
  • Justin Pearson and Pierre Flener chaired the 8th workshop of SweConsNet, held in Linköping (Sweden) in May 2009.
  • Pierre Flener served on the programme committee of SAIS'09, the 25th workshop of the Swedish Artificial Intelligence Society, held in Linköping (Sweden) in May 2009.
  • Dr Mats Carlsson of SICS (Sweden) gave his docent lecture on constraint programming toward Associate Professorship on Monday 9 February 2009 and joined the group in May 2009.

Activities 2008

  • Dr Hamza Zidoum of Sultan Qaboos University in Muscat (Oman) visited us 8-13 December 2008.
  • Samuel Edqvist presented his MSc thesis on physician rostering on November 7th, 2008.
  • Pierre Flener served on the programme committee of LaSh'08, the 2nd international workshop on Logic and Search, held in Leuven (Belgium) in November 2008.
  • SweConsNet became a special interest group of SAIS, the Swedish Artificial Intelligence Society, and Pierre Flener was appointed to the board of SAIS, in September 2008
  • Pierre Flener taught a course on constraint programming in autumn 2008 at Uppsala University.
  • Pierre Flener co-chaired LSCS'08, the 5th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'08 in Sydney (Australia) in September 2008.
  • Justin Pearson and Magnus Ågren served on the programme committee of LSCS'08.
  • Pierre Flener co-chaired ModRef'08, the 7th International Workshop on Constraint Modelling and Reformulation, held at CP'08 in Sydney (Australia) in September 2008.
  • Pierre Flener served on the programme committee of SymCon'08, the 8th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'08 in Sydney (Australia) in September 2008.
  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 17-18 July 2008.

Activities 2007

  • Dr Xavier Lorca of the École des Mines de Nantes (France) visited us from 13 to 22 December 2007.
  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 28 August, 2 November, and 14 December 2007.
  • Pierre Flener served on the programme committee of CP'07, the 13th international conference on the Principles and Practice of Constraint Programming, held on 23-27 September 2007 in Providence, RI, USA.
  • Pierre Flener and Justin Pearson served on the programme committee of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'07 in Providence, RI, USA.
  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'07, the 7th International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'07 in Providence, RI, USA.
  • Pierre Flener served on the programme committee of ModRef'07, the 6th International Workshop on Constraint Modelling and Reformulation, held at CP'07 in Providence, RI, USA.
  • Pierre Flener taught a course on constraint programming in autumn 2007 at Uppsala University.

Activities 2006

  • Justin Pearson served on the programme committee of LSCS'06, held at CP'06 in Nantes, France.
  • Justin Pearson served on the programme committee of CPSec, held at CP'06 in Nantes, France.
  • We taught a course on constraint programming in spring 2006 at Uppsala University.
  • Mats Norberg presented his MSc thesis on compiling relational constraint models on February 22nd, 2006.

Activities 2005

  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'05, the Fifth International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'05 in Sitges, Spain.
  • Pierre Flener made a position statement at the SymCon'05 panel on Future Research Directions.
  • Justin Pearson served on the programme committee of LSCS'05, the Second International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'05 in Sitges, Spain.
  • Justin Pearson served on the programme committee of CPSec, the First International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security, held at CP'05 in Sitges, Spain.
  • Olof Sivertsson presented his MSc thesis on financial portfolio optimisation on May 19th, 2005.
  • Maria Eriksson presented her MSc thesis on symmetry detection on May 13th, 2005.
  • Henrik Öhrman presented his MSc thesis on symmetry breaking on May 12th, 2005.

Activities 2004

  • Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us from 27 November to 5 December 2004.
  • Pierre Flener served on the programme committee of ASE'04, the 19th IEEE international conference on Automated Software Engineering.
  • Justin Pearson, Magnus Ågren, and Markus Bohlin chaired LSCS'04, the First International Workshop on Local Search Techniques in Constraint Satisfaction, held at CP'04 in Toronto, Canada.
  • Justin Pearson, Magnus Ågren, and Markus Bohlin launched LSCS, the series of International Workshops on Local Search Techniques in Constraint Satisfaction.
  • Ugur Sezerman and his students Pelin Çandarlioglu and Altuna Akalin of the Biological Sciences and Bioengineering group at SabancI University (Istanbul, Turkey) visited us in May, July, and September 2004, and gave a talk.
  • Senior Lecturer Patrick Prosser of Glasgow University (UK) visited us on 9 July 2004, after presenting his work on phylogeny at PCA'04.
  • Magnus Ågren and Justin Pearson taught a course called Constraint Programming for Solving Combinatorial Problems in summer 2004 at Uppsala University.
  • Yves Deville of the Université Catholique de Louvain (Belgium) visited us from 14 to 16 January 2004, and gave a talk on his work in bioinformatics with constraint programming.

Activities 2003

  • Pierre Flener and Justin Pearson taught a course called Constraint Programmig for Solving Combinatorial Problems in summer 2003 at Uppsala University.
  • Pierre Flener and Justin Pearson served on the programme committee of SymCon'03, the Third International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'03 in Kinsale, Ireland.
  • Pierre Flener served on the programme committee of ASE'03, the 18th IEEE international conference on Automated Software Engineering.

Activities 2002

  • Pierre Flener and Justin Pearson chaired SymCon'02, the Second International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'02 in Ithaca, NY, USA.
  • Pierre Flener served on the programme committee of ASE'02, the 17th IEEE international conference on Automated Software Engineering.
  • Pierre Flener and Justin Pearson chaired the SweConsNet'02, the First Workshop of the Network for Sweden-based researchers and practitioners of Constraint programming, held on 24 May 2002 in Uppsala.
  • Pierre Flener and Justin Pearson launched SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint programming, at a kick-off meeting on 24 May 2002 in Uppsala.

Activities 2001

  • Pierre Flener and Justin Pearson chaired SymCon'01, the First International Workshop on Symmetry in Constraint Satisfaction Problems, held at CP'01 in Paphos, Cyprus.
  • Pierre Flener and Justin Pearson launched SymCon, the series of International Workshops on Symmetry in Constraint Satisfaction Problems.
  • Pierre Flener served on the programme committee of ASE'01, the 16th IEEE international conference on Automated Software Engineering.
  • Drs Toby Walsh, Ian Miguel, and Alan M. Frisch of the University of York (UK) visited us for a week in May and gave seminars on 23 and 29 May 2001.

Activities 2000

  • Pierre Flener co-chaired the programme committee of ASE'00, the 15th IEEE international conference on Automated Software Engineering.
  • Pierre Flener was adopted onto the Steering Committee of the ASE conference series.
  • Pierre Flener served on the programme committee of CL'00, the 1st international conference on Computational Logic.
  • Pierre Flener served on the programme committee of LOPSTR'00, the 10th international workshop on LOgic-based Program Synthesis and TRansformation.
Updated  2017-05-15 08:57:29 by Pierre Flener.