To main content

SweConsNet16

SweConsNet16

Published 08 March 2016

The 15th workshop of SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint Programming

The Network for Sweden-based researchers and practitioners of Constraint Programming (SweConsNet) kindly invites you to participate in the yearly SweConsNet Workshop. This year its arranged by SINTEF Optimization, find your way to SINTEF.PDF

LOCATION: This year the workshop will take place at SINTEF, forskningsvn 1, Oslo, on the 15th of June, 2016. From 09:30-16:30.

FOCUS: The purpose of the workshop is to learn about ongoing research in Constraint Programming, existing projects and products, and further development of the network. The workshop is open to everybody interested in the theory and practice of constraint programming, whether based in Sweden, Norway, 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.

SUBMIT A PROPOSAL: 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

REGISTRATION: To register, please send a brief statement of intent, and desirably the title and abstract of your talk, to Tomas Nordlander (tomas.nordlander at sintef.no). In order to facilitate organization, please notify us of your intention to participate as soon as possible, and at the latest before May 27th, 2016.The workshop does not have a registration fee.

Please forward this message to anyone who might be interested in this workshop but is not yet on the SweConsNet mailing list. They can subscribe to it by sending  message to Justin Pearson (justin.pearson at it.uu.se).

PROGRAM:

09:30-10:00 Registration and Intro, Tomas Eric Nordlander. SINTEF
10:00-10:30 Adding Symbolic Reasoning to FD with Arrays for Attacking SMTlib Formulae,
Quentin Plazar (Inria Rennes)
10:30-11:30 CP-behind-the-curtains, Christian Schulte (KTH) 
11:30-12:00 Constraint-Based Human-Aware Planning,
Uwe Köckemann (Örebro University)
12:00-13:00 LUNCH
13:00-13:30 Time-Series Constraints, Maria Andreina Francisco Rodriguez (Uppsala University)
13:30-14:00 Universal Instruction Selection, Gabriel Hjort Blindell (KTH)
14:00-14:30 Tea & Coffee Break
14:30-15:00 Scheduling Double Round-Robin Tournaments with Divisional Play: New Results,
Mats Carlsson (SICS)
15:00-15:30 Constraint-Based Code Generation for Custom Vector Processors
Mehmet Ali Arslan (Lund University)
14:30-15:00 Ananke, a constraint-based knowledge refinement tool, Tomas Eric Nordlander (SINTEF)
15:00-15:30 Parting words by Tomas Eric Nordlander (SINTEF)
   
Research Manager

Project duration

2016 - 2016