This event has ended. View the official site or create your own event → Check it out

This event has ended. Create your own

CP 2016

View analytic

09:00

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

10:30

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

14:40

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

16:00

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

16:50

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

08:45

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

11:15

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

13:35

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

15:20

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

16:35

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

08:45

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

10:15

Best Papers Grand Amphi

13:30

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

14:20

Doctoral Research Award: Andre Augusto Cire Grand Amphi

14:45

Distinguished Service Award: Thomas Schiex Grand Amphi

09:00

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

10:30

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

13:40

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

15:30

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