CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1: Invited talk by Harvey FriedmanCPP at Room St Petersburg II
09:00 - 10:00
Talk
Perspectives on Formal Verfication
CPP
Harvey FriedmanOhio State University
14:00 - 15:30: Session 3: Design and Implementation of Theorem ProversCPP at Room St Petersburg II
14:00 - 14:30
Talk
The Vampire and the FOOL
CPP
Evgenii KotelnikovChalmers University of Technology, Laura KovacsChalmers University of Technology, Giles RegerUniversity of Manchester, Andrei VoronkovUniversity of Manchester
14:30 - 15:00
Talk
Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions
CPP
Lukasz CzajkaUniversity of Innsbruck
15:00 - 15:30
Talk
Mizar Environment for Isabelle
CPP
Cezary KaliszykUniversity of Innsbruck, Karol PąkUniversity of Bialystok, Institute of Computer Science, Josef Urban

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 5: Invited talk by Leonardo de MouraCPP at Room St Petersburg II
09:00 - 10:00
Talk
Dependent Type Practice
CPP
Leonardo De MouraMicrosoft Research, Redmond
10:30 - 12:00: Session 6: FoundationsCPP at Room St Petersburg II
10:30 - 11:00
Talk
A Logic of Proofs for Differential Dynamic Logic
CPP
Nathan FultonCarnegie Mellon University, André Platzer
11:00 - 11:30
Talk
Constructing the Propositional Truncation using Non-recursive HITs
CPP
Floris van DoornCarnegie Mellon University
11:30 - 12:00
Talk
A Nominal Exploration of Intuitionism
CPP
Vincent RahliSnT, Mark BickfordCornell University
14:00 - 15:30: Session 7: Verification for Concurrent and Distributed SystemsCPP at Room St Petersburg II
14:00 - 14:30
Talk
Bisimulation Up-to Techniques for Psi-calculi
CPP
Johannes Å. PohjolaUppsala University, Joachim ParrowUppsala University
14:30 - 15:00
Talk
Planning for Change in a Formal Verification of the Raft Consensus Protocol
CPP
Doug WoosUniversity of Washington, James R. WilcoxUniversity of Washington, Steve AntonUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Pre-print
15:00 - 15:30
Talk
A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
CPP
Michel St-MartinUniversity of Ottawa, Amy FeltyUniversity of Ottawa
16:00 - 17:00: Session 8: Compiler VerificationCPP at Room St Petersburg II
16:00 - 16:30
Talk
Formal Verification of Control-flow Graph Flattening
CPP
Sandrine BlazyIRISA / University of Rennes 1, Alix TrieuENS Rennes
16:30 - 17:00
Talk
Axiomatic Semantics for Compiler Verification
CPP
Steven Schäfer, Sigurd SchneiderSaarland University, Gert SmolkaSaarland University
18:00 - 21:00: CPP Reception, sponsored by the DeepSpec projectCPP at Room St Petersburg I
18:00 - 21:00
Social Event
CPP Reception, sponsored by the DeepSpec project
CPP

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)