Program - CPP 2016

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room St Petersburg II	CPP Perspectives on Formal Verfication 09:00 - 10:00																		CPP Higher-order Representation Predicates in Separation Logic 10:30 - 11:00						CPP A Unified Coq Framework for Verifying C Programs with Floating-Point Co ... 11:00 - 11:30						CPP Refinement Based Verification of Imperative Data Structures 11:30 - 12:00																														CPP The Vampire and the FOOL 14:00 - 14:30						CPP Improving automation in interactive theorem provers by efficient encodi ... 14:30 - 15:00						CPP Mizar Environment for Isabelle 15:00 - 15:30												CPP A Modular, Efficient Formalisation of Real Algebraic Numbers 16:00 - 16:30						CPP Formal proofs of transcendence for e and pi as an application of multiv ... 16:30 - 17:00						CPP Formalizing Jordan Normal Forms in Isabelle/HOL 17:00 - 17:30						CPP Formalization of a Newton series representation of polynomials 17:30 - 18:00

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	9:00	15	30	45	10:00	15	30	45	11:00	15	30	45	12:00	15	30	45	13:00	15	30	45	14:00	15		30	45	15:00	15	30	45	16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Room St Petersburg I																							CPP CPP Reception, sponsored by the DeepSpec project 18:00 - 21:00
Room St Petersburg II	CPP Dependent Type Practice 09:00 - 10:00						CPP A Logic of Proofs for Differential Dynamic Logic 10:30 - 11:00		CPP Constructing the Propositional Truncation using Non-recursive HITs 11:00 - 11:30		CPP A Nominal Exploration of Intuitionism 11:30 - 12:00										CPP Bisimulation Up-to Techniques for Psi-calculi 14:00 - 14:30			CPP Planning for Change in a Formal Verification of the Raft Consensus Protocol 14:30 - 15:00		CPP A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules 15:00 - 15:30				CPP Formal Verification of Control-flow Graph Flattening 16:00 - 16:30		CPP Axiomatic Semantics for Compiler Verification 16:30 - 17:00

CPP 2016 Program

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

CPP 2016 Program

Switch Program View

Program Display Configuration

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Get Calendar (iCal)

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change