CP 2016 has ended

Create Your Own Event

CP 2016

arrow_back View All Dates

09:00 CEST

CP meets Verification - Invited talk: Challenges of Program Verification with SPARK B202 CP meets Verification Workshop B202

09:35 CEST

CP meets Verification Workshop B202

10:30 CEST

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

11:05 CEST

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

11:40 CEST

CP meets Verification Workshop B202

13:30 CEST

CP meets Verification - Invited talk: Constraint Satisfaction over Bit-Vectors B202

14:05 CEST

CP meets Verification Workshop B202

15:30 CEST

CP meets Verification - Invited talk: The use of Constraint Programming in the testing and analysis of a telecommunications protocol B202

16:05 CEST

CP meets Verification - Invited talk: Network Verification: When less is more, but not always B202

16:40 CEST

CP meets Verification Workshop B202