About the Workshop
SweConsNet is the Network for Sweden-based researchers and practitioners of Constraint technology.
Following the previous successful workshops, we would like to announce the 13th SweConsNet workshop, which will take place in Kista, Sweden on June 13th 2014.
The purpose of this workshop is to learn about ongoing research in constraint programming, as well as existing projects and products. We will also discuss the further development of the network, such as a possible widening to other Nordic countries.
The workshop is open to everybody interested in the theory and practice of constraint programming, whether based in Sweden or elsewhere. The scope of the workshop spans all areas of Constraint Programming, and is open to presentations and discussions addressing topics related to both theory and application.
Please forward a link to this page to people who might be interested but are not yet on the SweConsNet mailing list. They can subscribe to it by sending a message to Justin.Pearson at it.uu.se.
We hope for your participation, and highly encourage you to submit a proposal for a presentation of your ongoing work, recent results, or of a relevant discussion topic. There are no paper submissions, reviews, or proceedings, hence recent conference/journal papers may also be presented.
To register, please send a brief statement of intent, and desirably the title and abstract of your talk, to Christian Schulte (cschulte at kth.se). In order to facilitate organization, please notify us of your intention to participate as soon as possible, and at the latest before May 28th, 2014. The workshop does not have a registration fee.
The talks will be at Room Knuth, SICS, Electrum, Kista. Just ask the reception for Christian Schulte.
- 10:00 Coffee for the early birds.
- 10:30 Mats Carlsson, Swedish Institute of Computer Science. An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments.
- 11:00 Farshid Hassani Bijarbooneh, Uppsala University. Energy-Efficient Sensor Selection for Data Quality and Load Balancing.
- 11:30 Håkan Kjellerstrand. Picat: a new logic-based multi-paradigm programming language.
- 12:00 Lunch break (we will take a short walk for lunch)
- 13:30 Mehmet Ali Arslan, Lund University. Scheduling and Data Allocation for Custom Architectures.
- 14:00 Oskar Wigström, Chalmers University. Using Nonlinear Programming within CP for scheduling problems with continuous dynamics.
- 14:30 Coffee break.
- 15:00 Olga Grinchtein, Ericsson AB. Application of Constraint Programming in testing and test-case generation in telecommunication systems.
- 15:30 Maria Andreina Francisco Rodriguez, Uppsala University. Generation of Implied Constraints for Automaton-Induced Decompositions.