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

Katherine Giles

Dallas, TX

https://linkedin.com/in/gileska1

08:15

Registration Hallway

09:00

CP meets Verification Workshop B202

09:35

CP meets Verification Workshop B202

10:30

CP meets Verification - Invited talk: Model-Constructing Satisfiabilty Calculus B202

11:05

CP meets Verification - Invited talk: Optimization Modelling for Software Developers, or How to convert procedural code to constraints! B202

11:40

CP meets Verification Workshop B202

08:45

Welcome address Grand Amphi

09:00

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

10:30

Application Session (1) Amphi Bosco

13:40

Tutorial: Constraint Programming in Music Amphi Bosco

14:40

Computational Sustainability Session Grand Amphi

16:00

Music Session (2) Amphi Bosco

18:30

Welcome Reception Salle des Illustres, Capitol building

10:15

Tutorial: Social Choice Amphi Bosco

15:20

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

16:35

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

17:25

CP'2017 & CPAIOR'2017 presentation Grand Amphi

17:40

ACP General Assembly Grand Amphi

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

15:30

Social Program: A380 assembly line visit (1st bus) Airbus FranceLIMITED

19:00

Conference Dinner Salles des Colonnes, Hotel Dieu

09:00

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

10:30

Technical Session (8): Scheduling Grand Amphi

13:40

Technical Session (10): Learning, decomposition Amphi Bosco

15:30

Technical Session (12): scheduling Amphi Bosco

16:20

Farewell coffee Hallway