______________________________________________________________________
Date:  Tuesday 14 October 2014
Time:  15:00
Venue: Room 1345, House 1, ITC, Polacksbacken, Uppsala University
______________________________________________________________________

            Automated Modelling in Constraint Programming

         Ozgur Akgun (http://ozgur.host.cs.st-andrews.ac.uk)

              University of St Andrews, United Kingdom

Constraint Programming (CP) is a very powerful paradigm for solving
combinatorial problems.  In order to solve a problem using CP, the
problem needs to be modelled into a suitable format first.  It is
widely accepted that modelling in CP is difficult: producing a correct
model for a problem can be challenging.  Producing a good model can be
even more challenging, even for experts.

I have been interested in automating the modelling process in CP, such
that different ways of modelling are captured in a system and can be
explored in a systematic way.  I will talk about how the tool I
developed, called Conjure, works by starting from a high level problem
specification and compiling it down to concrete CP models.  I will
also discuss challenges and future directions in this line of
research.

Short bio:

Ozgur Akgun is a Postdoctoral researcher at the School of Computer
Science in University of St Andrews.  He did his PhD at the same
school between 2009 and 2013.  He is interested in high-level
languages for constraint programming, automated constraint modelling,
and model selection.  He developed the automated modelling tool
Conjure and continues to work towards making Constraint Programming
more effective and easier to use for everyone.
______________________________________________________________________

Directions: http://www.polacksbacken.uu.se/Find_us/