The Workshop
The Nordic Network for researchers and practitioners of Constraint programming (NordConsNet, the network formerly known as SweConsNet) invites you to participate in its next workshop. The purpose is to share information about the research and practice of constraint programming (CP) in the Nordic countries. This is the jubilee 20th edition of this almost annual workshop.
Organisation
The NordConsNet Workshop 2025 is chaired by Pierre Flener and Justin Pearson, both of the Optimisation research group at Uppsala University, Sweden. They founded this network as SweConsNet in 2002, when they knew a bit less of HTML than now.
Dates
The workshop is held from lunch on Wednesday 20 August to lunch on Thursday 21 August 2025.
Location
The workshop takes place at Uppsala University in lecture hall 101195 (Heinz-Otto Kreiss) on floor 1 of house 10 at Ångström Laboratory on Regementsvägen 10 in Uppsala, Sweden. The two lunches are in Restaurang Rullan on floor 0 at the same address. The venue is a pleasant thirty-minute walk from the central railway station, and we have ordered good weather.
Accommodation
We hold 20 rooms for the workshop night at Best Western Hotel Uppsala on Trädgårdsgatan 5A in the centre, for 1,395 SEK (including VAT): write to booking@BestWesternUppsala.se (or call +4618121000) and mention "NordConsNet Workshop 2025": first come, first served.
Submit a Presentation Proposal
We hope for your participation, and encourage you to submit a proposal for a presentation of your ongoing work, recent results, or a relevant discussion topic. There are no abstract and paper submissions, no reviews, and no proceedings, hence recent conference or journal papers may also be presented. Contact Pierre Flener if you would like to present something.
Programme (tentative)
Wednesday 20 August 2025
| Time | Place | Presenter | Title | Slides |
|---|---|---|---|---|
| 12:00 -- 13:10 | Rullan | lunch | ||
| 13:15 -- 13:30 | 101195 | Pierre Flener | opening remarks | |
| tba | 101195 | Peter J. Stuckey (Monash University, Australia) | The RAIRE approach which is now in use is a branch and bound optimisation problem! | tba |
| tba | 101195 | Mats Carlsson (RI.SE) | The anatomy of the SICStus CLPFD solver | tba |
| tba | 101195 | Erik Cervin Edin (Ericsson.com, Sweden) | Automated, Scalable Product Configuration Optimisation | tba |
| tba | 101195 | Frej Knutar Lewander (Uppsala University) | Atlantis is in Uppsala! | tba |
| 15:30 -- 16:00 | 101195 | fika | ||
| 16:00 -- 17:30 | 101195 | ... presenters ... | ... titles ... | tba |
| 18:00 -- 22:00 | tba | dinner |
Thursday 21 August 2025
| Time | Place | Presenter | Title | Slides |
|---|---|---|---|---|
| 09:30 -- 11:50 | 101195 | ... presenters ... | ... titles ... | tba |
| 11:50 -- 11:55 | 101195 | Justin Pearson | closing remarks | |
| 12:00 -- 13:00 | Rullan | lunch |
Registration
Send an email to Justin Pearson. Registration --- including 2 lunches and fika --- must be sent no later than xx August 2025 (to be announced). If you register after that date, then you are still very welcome to attend talks (the lecture hall is large enough), but lunch cannot be guaranteed. There is no registration fee for the workshop.
You may forward this information to anyone who has a legitimate interest in this workshop but is not yet on the NordConsNet mailing list: they can subscribe to it by applying to Justin Pearson.
Abstracts
The RAIRE approach which is now in use is a branch and bound optimisation problem!
Peter J. Stuckey (Monash University, Australia)
... abstract coming up (RAIRE = Risk-limiting Audit for Instant Runoff Elections) ...
The anatomy of the SICStus CLPFD solver
Mats Carlsson (Research Institutes of Sweden)
... abstract coming up ...
Automated, Scalable Product Configuration Optimisation
Erik Cervin Edin (Ericsson.com)
... abstract coming up ...
Atlantis is in Uppsala!
Frej Knutar Lewander (Uppsala University)
... abstract coming up (Atlantis is our new MiniZinc backend, performing constraint-based local search) ...
... title ...
... presenter (affiliation) ...
... abstract ...