Sched.com Conference Mobile Apps
CP 2016
has ended
Create Your Own Event
CP 2016
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Attendees
Search
or browse by date + venue
Conference
All
Application
CP and Biology
Computational Sustainability
Journal-First and Sister Conferences
Music
Preferences and Social Choice
Technical program
Verification
Doctoral Programme
Keynote
Meeting
Networking
All
Configuration
Tutorial
All
Computational Sustainability
Music
Preferences and Social Choice
Verification
Workshop: Bioinformatics
All
Constraint-Based Methods for Bioinformatics
Workshop: Configuration
All
Configuration
Workshop: CP and AI
All
CP and AI
Workshop: ModRef
All
Constraint Modelling and Reformulation
Workshop: Verification
All
CP meets Verification
Invited talk
Popular
menu
Menu
Schedule
Speakers
Attendees
Search
tune
Filter sessions
Simple
Expanded
Grid
By Venue
Monday
, September 5
Amphi Bosco
09:00 •
Doctoral Programme
10:30 •
Doctoral Programme
13:30 •
Doctoral Programme
15:30 •
Doctoral Programme
B102
10:30 •
Constraint Modelling and Reformulation Workshop
13:30 •
Constraint Modelling and Reformulation Workshop
15:30 •
Constraint Modelling and Reformulation Workshop
B104
09:00 •
Configuration Workshop
10:30 •
Configuration Workshop
13:30 •
Configuration Workshop
15:30 •
Configuration Workshop
B201
09:00 •
Constraint-Based Methods for Bioinformatics Workshop
10:30 •
Constraint-Based Methods for Bioinformatics Workshop
13:30 •
Constraint-Based Methods for Bioinformatics Workshop
15:30 •
Constraint-Based Methods for Bioinformatics Workshop
B202
09:00 •
CP meets Verification - Invited talk: Challenges of Program Verification with SPARK
09:00 •
CP meets Verification Workshop
09:35 •
CP meets Verification Workshop
10:30 •
CP meets Verification - Invited talk: Model-Constructing Satisfiabilty Calculus
11:05 •
CP meets Verification - Invited talk: Optimization Modelling for Software Developers, or How to convert procedural code to constraints!
11:40 •
CP meets Verification Workshop
13:30 •
CP meets Verification - Invited talk: Constraint Satisfaction over Bit-Vectors
14:05 •
CP meets Verification Workshop
15:30 •
CP meets Verification - Invited talk: The use of Constraint Programming in the testing and analysis of a telecommunications protocol
16:05 •
CP meets Verification - Invited talk: Network Verification: When less is more, but not always
16:40 •
CP meets Verification Workshop
B203
13:30 •
CP and AI Workshop - Invited Talk: From Constraint Programming to Probabilistic Programming to Approximate Programming: Observations and Thoughts
14:00 •
CP and AI Workshop
15:30 •
CP and AI Workshop
Cafeteria
08:15 •
Welcome coffee
10:00 •
Coffee Break
12:00 •
Lunch Break
15:00 •
Coffee Break
Grand Amphi
17:45 •
ACP challenge
Hallway
08:15 •
Registration
Room 151
17:30 •
Toulbar2 Projects Meeting
Toulouse
20:00 •
Configuration Workshop Dinner
LIMITED
20:00 •
Doctoral Programme Dinner
LIMITED
Tuesday
, September 6
Amphi Bosco
10:30 •
Application Session (1)
13:40 •
Tutorial: Constraint Programming in Music
14:40 •
Music Session (1)
16:00 •
Music Session (2)
16:50 •
Journal-First and Sister Conferences Session (1): Symmetries
B104
09:00 •
Configuration Workshop
10:30 •
Configuration Workshop
Cafeteria
08:00 •
Welcome Coffee
10:00 •
Coffee Break
12:10 •
Lunch
15:30 •
Coffee Break
Grand Amphi
08:45 •
Welcome address
09:00 •
Invited Talk: Optimizing preferences and social welfare in healthcare-related matching problems
10:30 •
Technical Session (1): Theory
13:40 •
Tutorial: Topics in Computational Sustainability
14:40 •
Computational Sustainability Session
16:00 •
Technical Session (2): MaxSAT
16:50 •
Technical Session (3): Global constraints
Hallway
08:00 •
Registration
Salle des Illustres, Capitol building
18:30 •
Welcome Reception
Toulouse
20:30 •
Executive Commitee ACP dinner
LIMITED
Wednesday
, September 7
Amphi Bosco
10:15 •
Tutorial: Social Choice
11:15 •
Preferences, Social Choice, and Constraints Session
13:35 •
Journal-First and Sister Conferences session (2): Consistencies
15:20 •
Technical Session (5): Global constraints, learning
16:35 •
Technical Session (7): Parallelism, temporal constraints
Cafeteria
09:45 •
Coffee Break
12:05 •
Lunch
12:05 •
Constraints Ed. Board meeting
LIMITED
14:50 •
Coffee Break
Grand Amphi
08:45 •
Invited Talk: Horn Constraints for Software Verification and Synthesis
10:15 •
Tutorial: Automated Program Analysis and Verification
11:15 •
Testing and Verification Session
13:35 •
Application Session (2)
15:20 •
Technical Session (4): Theory
16:35 •
Technical Session (6): SAT
17:25 •
CP'2017 & CPAIOR'2017 presentation
17:40 •
ACP General Assembly
Hallway
08:15 •
Registration
Toulouse
20:00 •
Senior PC Dinner
LIMITED
Thursday
, September 8
Airbus France
15:30 •
Social Program: A380 assembly line visit (1st bus)
LIMITED
Amphi Bosco
13:30 •
Application Session (3)
Cafeteria
09:45 •
Coffee Break
Grand Amphi
08:45 •
Invited Talk: Optimization and Control in the Smart Grid and Beyond
10:15 •
Best Papers
13:30 •
CP and Biology Session
14:20 •
Doctoral Research Award: Andre Augusto Cire
14:45 •
Distinguished Service Award: Thomas Schiex
Hallway
08:15 •
Registration
12:00 •
Lunch
15:45 •
Social Program: A380 assembly line visit (2nd bus)
LIMITED
16:00 •
Social Program: visit of Toulouse
Salles des Colonnes, Hotel Dieu
19:00 •
Conference Dinner
Friday
, September 9
Amphi Bosco
10:30 •
Journal-First and Sister Conferences session (3): MIP, relaxations
13:40 •
Technical Session (10): Learning, decomposition
15:30 •
Technical Session (12): scheduling
Cafeteria
10:00 •
Coffee Break
12:10 •
(Packed) Lunch
Grand Amphi
09:00 •
Invited Talk: Evidence-Based Optimization of Complex Infrastructures
10:30 •
Technical Session (8): Scheduling
11:45 •
MiniZinc challenge
13:40 •
Technical Session (9): Modelling, MIP
15:30 •
Technical Session (11): SAT, SMT
Hallway
16:20 •
Farewell coffee
Saturday
, September 10
Room 133
09:30 •
CSPLib Sprint
Timezone
CP 2016
Europe/Paris
Filter By Date
CP 2016
Sep 5
-
10, 2016
Monday
, September 5
Tuesday
, September 6
Wednesday
, September 7
Thursday
, September 8
Friday
, September 9
Saturday
, September 10
Filter By Venue
Toulouse, France
Sort schedule by Venue
Airbus France
Amphi Bosco
B102
B104
B201
B202
B203
Cafeteria
Grand Amphi
Hallway
Room 133
Room 151
Salle des Illustres, Capitol building
Salles des Colonnes, Hotel Dieu
Toulouse
Filter By Type
Conference
All
Application
CP and Biology
Computational Sustainability
Journal-First and Sister Conferences
Music
Preferences and Social Choice
Technical program
Verification
Doctoral Programme
Keynote
Meeting
Networking
All
Configuration
Tutorial
All
Computational Sustainability
Music
Preferences and Social Choice
Verification
Workshop: Bioinformatics
All
Constraint-Based Methods for Bioinformatics
Workshop: Configuration
All
Configuration
Workshop: CP and AI
All
CP and AI
Workshop: ModRef
All
Constraint Modelling and Reformulation
Workshop: Verification
All
CP meets Verification
Invited talk
Popular
Recently Active Attendees
Willem-Jan van Hoeve
Richard Taupe
Stefan Szeider
Roberto Castañeda Lozano
Robert Ganian
Emmanuel Hebrard
Tilak Raj Singh
Imade Benelallam
More →
Filter sessions
Apply filters to sessions.
close
Dates
Monday
, September 5
Tuesday
, September 6
Wednesday
, September 7
Thursday
, September 8
Friday
, September 9
Saturday
, September 10
Venue
Airbus France
Amphi Bosco
B102
B104
B201
B202
B203
Cafeteria
Grand Amphi
Hallway
Room 133
Room 151
Salle des Illustres, Capitol building
Salles des Colonnes, Hotel Dieu
Toulouse
Session Type
Conference
All
Application
CP and Biology
Computational Sustainability
Journal-First and Sister Conferences
Music
Preferences and Social Choice
Technical program
Verification
Doctoral Programme
Keynote
Meeting
Networking
All
Configuration
Tutorial
All
Computational Sustainability
Music
Preferences and Social Choice
Verification
Workshop: Bioinformatics
All
Constraint-Based Methods for Bioinformatics
Workshop: Configuration
All
Configuration
Workshop: CP and AI
All
CP and AI
Workshop: ModRef
All
Constraint Modelling and Reformulation
Workshop: Verification
All
CP meets Verification
Invited talk
Other Filters
Popular