SweConsNet15

​The 14th 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, which will take place at the Department of Signals and Systems, Chalmers University of Technology, on May 7th, 2015. The purpose of the workshop is to learn about ongoing research in Constraint Programming, existing projects and products, and further development of the network. SweConsNet Workshop 2015 is the 14th edition of this annual event.

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. 

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 Pierre Flener (pierre.flener at it.uu.se). In order to facilitate organization, please notify us of your intention to participate as soon as possible, and at the latest before April 23rd, 2015. 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 a message to Justin Pearson (justin.pearson at it.uu.se).

Program:

09:30-10:00  Registration and tea/coffee

10:00-11:30  Christian Schulte (KTH): The Constraint Programmer's Toolbox 

11:30-12:00  Gustav Björdal (Uppsala University): A Constraint-Based Local Search Backend for MiniZinc; joint work with Pierre Flener, Jean-Noël Monette and Justin Pearson

12:00-13:30  Lunch

13:30-14:00  Roberto Castañeda Lozano (KTH): Integrated Register Allocation and Instruction Scheduling with Constraint Programming; joint work with  Mats Carlsson, Frej Drejhammar, Gabriel Hjort Blindell, and Christian Schulte

14:00-14:30  Roberto Castañeda Lozano (KTH): demo of Unison: Assembly Code Generation Using Constraint Programming

14:30-15:00  Tea/coffee

15:00-15:30  Mehmet Ali Arslan (Lund University): Code generation for pipelined SIMD architectures; joint work with Krzysztof Kuchcinski

15:30-16:00  Joseph Scott (Uppsala University): Constraint Solving on Bounded String Variables; joint work with Pierre Flener and Justin Pearson



Kategori Workshop
Plats: Chalmers Johanneberg: EB
Tid: 2015-05-07 10:00
Sluttid: 2015-05-07 16:00

Publicerad: to 15 jan 2015. Ändrad: må 04 maj 2015