ASTRA Activities

Activities 2012 See our homepage for more recent activities! Rodrigo Gumucio won the Best AI Master's Thesis Award 2012 of SAIS, the Swedish Artificial Intelligence Society! 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 was elected (election statement) to serve on the Executive Committee of the Association for Constraint Programming from 2013 to 2016. 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 made a position statement, based on a paper co-written by some of us, at the panel Future of Constraint Programming, held at CP 2012 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. Pierre Flener and Justin Pearson guest-edited the Special Issue on Constraint Programming for Air Traffic Management (call) of the Knowledge Engineering Review, published in September 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. Pierre Flener and Jean-Noël Monette were invited to Dagstuhl seminar 12152: Software Synthesis, held in April 2012. Ken Brown of University College Cork (Ireland) visited us on 9 March 2012 and gave a talk.	Activities 2011 Joseph Scott won the Best AI Master's Thesis Award 2011 of SAIS, the Swedish Artificial Intelligence Society! 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). Jean-Noël Monette gave the talk Solving Scheduling Problems from High-Level Models on 1 December 2011 at Uppsala University. 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. Pascal Van Hentenryck of Brown University (USA) visited us on 26 - 27 August 2011, and gave a talk on 26 August 2011. 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. Pierre Flener, Justin Pearson, and Christian Schulte (KTH, Sweden) directed the ACP Summer School 2011: Hybrid Methods for Constraint Programming, held in Turunç (Turkey) in late June 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. Pierre Flener was invited to Dagstuhl seminar 11201: Constraint Programming meets Machine Learning and Data Mining, held in 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. Serdar Kadioglu of Brown University (USA) visited us from 25 April to 31 May 2010, and gave a talk at SweConsNet'10 as well as a seminar on search procedures. Karl Sundequist Blomdahl defended his MSc thesis on 18 May 2010. Dr Arnaud Gotlieb of INRIA Rennes (France) visited us 18-22 May 2010, and gave a seminar on constraint-based testing as well as a talk at SweConsNet'10. 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. Pierre Flener lectured at the ACP Summer School 2010 on Constraint Programming, held in Aussois (France) in May 2010. 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 Toni Mancini of Sapienza Università di Roma (Italy) visited us from mid November 2008 to mid February 2009 and gave a talk on quantified constraints. Dr Hamza Zidoum of Sultan Qaboos University in Muscat (Oman) visited us 8-13 December 2008. Guido Tack of Saarland University (Germany) visited us on 11 December 2008 and gave a talk on Boolean set constraints. Pierre Flener and Justin Pearson chaired the International Workshop on Constraint Programming for Air Traffic Control & Management, held in Paris (France) in 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. Pierre Flener served as a judge for the 3rd International CSP Solver Competition, held in summer 2008. Nicolas Beldiceanu of the École des Mines de Nantes (France) visited us on 17-18 July 2008. Dr Marco Kuhlmann of the Department of Linguistics and Philology at Uppsala University (Sweden) gave a talk on constraint-based computational linguistics on 11 June 2008 and joined our group. Pierre Flener and Justin Pearson were appointed in May 2008 as Members of the Centre for Interdisciplinary Mathematics of Uppsala University, Sweden. Magnus Ågren defended his PhD dissertation on 18 January 2008. The opponent was Prof. Gilles Pesant of the École Polytechnique de Montréal (Canada). The jury was composed of Dr Thomas Stützle of the Université Libre de Bruxelles (Belgium), Dr Christian Schulte of KTH (Stockholm, Sweden), and Prof. Gunilla Kreiss of Uppsala University (Sweden). Dr Thomas Stützle of the Université Libre de Bruxelles (Belgium) gave a talk on stochastic local search on 18 January 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. Roland Yap of the National University of Singapore visited us on May 30th, 2006 and gave a talk on non-binary constraints. 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 Justin Pearson gave a talk on financial portfolio optimisation at the Financial Mathematics group of the Department of Mathematics at Uppsala University on December 12th, 2005. Meinolf Sellmann of Brown University (USA) visited us from 22 to 27 November 2005 and gave a talk on structure and symmetry. 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. Magnus Ågren presented his licentiate thesis on local search on September 29th, 2005. 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. Pierre Flener served on the programme committee of the Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, held at CP'04 in Toronto, Canada. 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. Pierre Flener and Justin Pearson were appointed in May 2004 as Associated Members at the Linnaeus Centre for Bioinformatics 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 the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, 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 the First International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation, 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. Pascal Van Hentenryck of Brown University (USA) visited us for a week in August 2002 and gave a seminar on constraint-based local search. 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. Pierre Flener served on the programme committee of the AAAI'02 Spring Symposium on the State of the Art and Future Trends of Logic-based Program Synthesis.	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.

ASTRA Activities

Search results appear here...