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
arrow_back
View All Dates
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
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.
Filtered by
Date
-
Clear filter
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