Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, September 5 • 10:30 - 12:00
Doctoral Programme
    See presentations
  • 10:30: Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control, Boon Ping Lim, Hassan Hijazi, Sylvie Thiebaux and Menkes van Den Briel
  • 10:35: Evaluation of New Branching Heuristic for Tie-breaking, Seongsoo Moon and Mary Inaba
  • 10:50: SABIO: An Implementation of MIP and CP for Interactive Soccer Queries, Robinson Duque, Juan Francisco Diaz and Alejandro Arbelaez
  • 10:55: Using CP and ILP with tree decomposition to solve the sum colouring problem, Maël Minot, Samba Ndojh Ndiaye and Christine Solnon
  • 11:10: Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints, Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson and Helmut Simonis
  • 11:15: Symbolic reasoning for constraint solvers with arrays, Quentin Plazar, Sebastien Bardin, Arnaud Gotlieb and Mathieu Acher
  • 11:30: A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes, Kyle E. C. Booth, Goldie Nejat and Chris Beck
  • 11:35: An Exact Algorithm for Unicost Set Covering, Emir Demirović, Nysret Musliu, Katsumi Inoue and Théo Le Calvar
  • 11:50: Morphing between Stable Matching Problems, Ciaran McCreesh, Patrick Prosser and James Trimble
  • 11:55: An adaptive parallel SAT solver, Nicolas Szczepanski, Jean-Marie Lagniez, Sebastien Tabary and Gilles Audemard

Moderators
avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

Speakers
avatar for Ekaterina Arafailova

Ekaterina Arafailova

PhD Student, Armines (Mines Nantes)
avatar for Kyle Booth

Kyle Booth

University of Toronto
RD

Robinson Duque

Universidad del Valle
avatar for Boon-Ping Lim

Boon-Ping Lim

ANU / Data61
avatar for Maël Minot

Maël Minot

INSA Lyon
SM

Seongsoo Moon

Dotoral course, University of Tokyo
QP

Quentin Plazar

Inria Rennes Bretagne-Atlantique
avatar for Nicolas Szczepanski

Nicolas Szczepanski

CRIL UMR 8188
JT

James Trimble

University of Glasgow



Monday September 5, 2016 10:30 - 12:00
Amphi Bosco Bosco building

Attendees (5)