CP 2016 has ended

Create Your Own Event

CP 2016

09:00 CEST

Invited Talk: Optimizing preferences and social welfare in healthcare-related matching problems Grand Amphi

10:30 CEST

Application Session (1) Amphi Bosco Technical Session (1): Theory Grand Amphi

14:40 CEST

Computational Sustainability Session Grand Amphi Music Session (1) Amphi Bosco

16:00 CEST

Music Session (2) Amphi Bosco Technical Session (2): MaxSAT Grand Amphi

16:50 CEST

Journal-First and Sister Conferences Session (1): Symmetries Amphi Bosco Technical Session (3): Global constraints Grand Amphi

08:45 CEST

Invited Talk: Horn Constraints for Software Verification and Synthesis Grand Amphi

11:15 CEST

Preferences, Social Choice, and Constraints Session Amphi Bosco Testing and Verification Session Grand Amphi

13:35 CEST

Application Session (2) Grand Amphi Journal-First and Sister Conferences session (2): Consistencies Amphi Bosco

15:20 CEST

Technical Session (4): Theory Grand Amphi Technical Session (5): Global constraints, learning Amphi Bosco

16:35 CEST

Technical Session (6): SAT Grand Amphi Technical Session (7): Parallelism, temporal constraints Amphi Bosco

08:45 CEST

Invited Talk: Optimization and Control in the Smart Grid and Beyond Grand Amphi

10:15 CEST

Best Papers Grand Amphi

13:30 CEST

Application Session (3) Amphi Bosco CP and Biology Session Grand Amphi

14:20 CEST

Doctoral Research Award: Andre Augusto Cire Grand Amphi

14:45 CEST

Distinguished Service Award: Thomas Schiex Grand Amphi

09:00 CEST

Invited Talk: Evidence-Based Optimization of Complex Infrastructures Grand Amphi

10:30 CEST

Journal-First and Sister Conferences session (3): MIP, relaxations Amphi Bosco Technical Session (8): Scheduling Grand Amphi

13:40 CEST

Technical Session (10): Learning, decomposition Amphi Bosco Technical Session (9): Modelling, MIP Grand Amphi

15:30 CEST

Technical Session (11): SAT, SMT Grand Amphi Technical Session (12): scheduling Amphi Bosco