Kick-off Meeting for SweConsNet,
the Network for Sweden-based
researchers and practitioners
of Constraint technology

Friday 24th of May 2002, Uppsala

Sponsored by ASTEC,
the Advanced Software TEChnology
competence centre

Purpose

We believe that Sweden has a critical mass of research and development in constraint programming, but lacks an infrastructure allowing the involved people to learn about the existing projects and products, to meet each other, and to cross-fertilise through partnerships. With inspiration from our colleagues in the United Kingdom, who are loosely but effectively organised through UK ConsNet, we hereby launch

SweConsNet,
the Network for Sweden-based researchers and practitioners of Constraint programming

with at least the following objectives:

• a homepage (hosted at Uppsala University) with:
  • links to person, project, and product listings at member nodes
  • a calendar of upcoming courses, seminars, thesis defences,etc
  • job openings
• a yearly workshop

Schedule (Minutes)

• 9:30 - 9:45
  Opening by Pierre Flener and Justin Pearson
• 9:45 - 10:15
  Overview of Constraints Work at SICS Uppsala
  Nicolas Beldiceanu and Mats Carlsson (SICS, Uppsala)
• 10:15 - 10:45
  Overview of Constraints Work at SICS Kista
  Per Kreuger (SICS, Kista)
• 10:45 - 11:00
  Refreshments
• 11:00 - 11:30
  Relational Modelling of CSPs and Tractability
  Pierre Flener and Justin Pearson (ASTRA group, Uppsala University)
• 11:30 - 12:00
  CrewGroups and MovementPlanner - Two Applications Using Constraint Programming
  Tomas Lidén (Carmen Consulting, Stockholm)
• 12:00 - 12:30
  Combinatorial Auctions
  Arne Andersson (Uppsala University and Trade Extensions)
• 12:30 - 14:00
  Lunch
• 14:00 - 15:00
  Discussion about the goals and operation of the network
• 15:00 - 15:30
  Overview of Constraints Work at Linköping University, and
  Using Parametric Set Constraints for Locating Errors in CLP Programs
  Wlodek Drabent, Jan Maluszynski, and Pawel Pietrzak (Linköping University)
  (paper to appear in Theory and Practice of Logic Programming and available from CoRR)
• 15:30 - 16:00
  Overview of Constraints Work at Chalmers and Carmen Systems
  Erik Kilborn and Mattias Grönkvist (Chalmers and Carmen Systems, Göteborg)
• 16:00 - 16:30
  Refreshments
• 16:30 - 17:00
  Overview of Constraints Work at KTH
  Christian Schulte, Thomas Sjöland, and Sven Lämmermann (KTH, Stockholm)
• 17:00 - 17:30
  Constraint Systems Used in Worst-Case Execution Time Analysis
  Andreas Ermedahl and Jakob Engblom (Uppsala University and IAR Systems)

Location

Uppsala University
Mathematics & Informatics Centre (MIC)
Polacksbacken
House 1, Room 1-111
(Directions to MIC) (Directions inside MIC)

Organisers

Pierre Flener, Information Technology, Uppsala University

Justin Pearson, Information Technology, Uppsala University

Please register by Tuesday 21st of May, so that we can make the necessary catering arrangements.