Programme Schedule
.
.
Thursday, 6th November09.00-09.25
Registration
09.20-09.30
Welcome
09.30-10.30
Invited talk: Pascal Van Hentenryck. "Constraint Programming at work"
10.30-11.00
Coffee
11.00-12.30
Technical Talks:
- Tomi Janhunen, Ilkka Niemelä and Mark Sevalnev. "Computing Stable Models via Reductions to Boolean Circuits and Difference Logic"
- Johan Wittocx, Maarten Mariën and Marc Denecker. "The IDP system: a model expansion system for an extension of classical logic"
- Alessandro Dal Palu, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi. "GASP: Answer Set Programming with Lazy Grounding"
- Tomi Janhunen, Ilkka Niemelä and Mark Sevalnev. "Computing Stable Models via Reductions to Boolean Circuits and Difference Logic"
- Johan Wittocx, Maarten Mariën and Marc Denecker. "The IDP system: a model expansion system for an extension of classical logic"
- Alessandro Dal Palu, Agostino Dovier, Enrico Pontelli and Gianfranco Rossi. "GASP: Answer Set Programming with Lazy Grounding"
12.30-14.00
Lunch
14.00-15.30
Technical Talks:
- Pascal Van Hentenryck and Laurent Michel. "Incremental Accumulators"
- Coban Elvin, Esra Erdem and Ture Ferhan. "Comparing ASP, CP, ILP on two Challenging Applications: Wire Routing and Haplotype Inference"
- Emanuele Di Rosa, Enrico Giunchiglia and Marco Maratea. "Enumerating the optimal solutions with qualitative preferences in SAT, CP and ASP"
- Pascal Van Hentenryck and Laurent Michel. "Incremental Accumulators"
- Coban Elvin, Esra Erdem and Ture Ferhan. "Comparing ASP, CP, ILP on two Challenging Applications: Wire Routing and Haplotype Inference"
- Emanuele Di Rosa, Enrico Giunchiglia and Marco Maratea. "Enumerating the optimal solutions with qualitative preferences in SAT, CP and ASP"
15.30-16.00
Coffee
16.00-17.30
System Demonstrations:
- Michael Gelfond, Veena Mellarkod and Yuanlin Zhang. "Systems integrating answer set programming and constraint programming"
- Michael Codish, Vitaly Lagoon and Peter Stuckey. "Telecommunications Feature Subscription as a Partial Order Constraint Problem"
- Other Demonstrations:
- Comet: Pascal Van Hentenrijck
- HUT-systems: Tomi Janhunen
- MXG: Eugenia Ternovska, David Mitchell
- IDP: Johan Wittocx, Maarten Mariën, Marc Denecker
- Michael Gelfond, Veena Mellarkod and Yuanlin Zhang. "Systems integrating answer set programming and constraint programming"
- Michael Codish, Vitaly Lagoon and Peter Stuckey. "Telecommunications Feature Subscription as a Partial Order Constraint Problem"
- Other Demonstrations:
- Comet: Pascal Van Hentenrijck
- HUT-systems: Tomi Janhunen
- MXG: Eugenia Ternovska, David Mitchell
- IDP: Johan Wittocx, Maarten Mariën, Marc Denecker
17.30-19.00
Panel: "On the future of ASP, SAT and CP"
- Enrico Giunchiglia, Tomi Janhunen, David Mitchell, Robert Nieuwenhuis, Eugenia Ternovska, Pascal Van Hentenrijck
- Enrico Giunchiglia, Tomi Janhunen, David Mitchell, Robert Nieuwenhuis, Eugenia Ternovska, Pascal Van Hentenrijck
.
.
Friday, 7th November09.00-10.00
Invited talk: Robert Nieuwenhuis. "The Barcelogic approach to search: fast and robust but expressive"
10.00-10.30
Coffee
10.30-12.00
Technical Talks:
- Marijn Heule. "Solving edge-matching problems with satisfiability solvers"
- Matti Järvisalo, Tommi Junttila and Ilkka Niemelä. Justification-Based Local Search with Adaptive Noise Strategies
- Evgenia Ternovska, David Mitchell and Brendan Guild. Declarative Programming of Search Problems with Built-In Arithmetic
- Marijn Heule. "Solving edge-matching problems with satisfiability solvers"
- Matti Järvisalo, Tommi Junttila and Ilkka Niemelä. Justification-Based Local Search with Adaptive Noise Strategies
- Evgenia Ternovska, David Mitchell and Brendan Guild. Declarative Programming of Search Problems with Built-In Arithmetic
12.00-13.30
Lunch
13.30-14.30
Technical Talks:
- Wolfgang Faber, Nicola Leone, Marco Maratea and Francesco Ricca. "Backjumping and Look-back Heuristics for Disjunctive Logic Programming"
- Mirek Truszczynski. "A trichotomy result for disjunctive logic programs"
- Wolfgang Faber, Nicola Leone, Marco Maratea and Francesco Ricca. "Backjumping and Look-back Heuristics for Disjunctive Logic Programming"
- Mirek Truszczynski. "A trichotomy result for disjunctive logic programs"
14.30-16.00
Informal Discussion Sessions
- See this page for details of discussion topics.
- See this page for details of discussion topics.
16.00-16.30
Coffee
16.30-18.00
Informal Discussion Sessions and Closing Panel
