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
← Back
SV
Sascha Van Cauwelaert
UCLouvain
Louvain-la-Neuve Belgium
Monday
, September 5
13:30 CEST
CP meets Verification - Invited talk: Constraint Satisfaction over Bit-Vectors
B202
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 →
