VenueOmni Hotel
Room nameMuseum A
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by René ThiemannCPP at Museum A
Chair(s): June AndronickData61,CSIRO (formerly NICTA) and UNSW
09:00 - 10:00
Talk
CPP
Jose Divasón, Sebastiaan Joosten, Ondřej KunčarTechnische Universität München, Germany, René ThiemannUniversity of Innsbruck, Akihisa Yamada
DOI
10:30 - 12:00: Verifying Programs and SystemsCPP at Museum A
Chair(s): Natarajan ShankarSRI International, USA
10:30 - 11:00
Talk
CPP
Antal Spector-Zabusky, Joachim BreitnerUniversity of Pennsylvania, Christine RizkallahUniversity of Pennsylvania, USA, Stephanie WeirichUniversity of Pennsylvania, USA
DOI
11:00 - 11:30
Talk
CPP
Damien RouhlingUniversity of Côte d'Azur, France
DOI
11:30 - 12:00
Talk
CPP
Christian DoczkalCNRS, France, Joachim BardSaarland University, Germany
DOI
13:30 - 15:30: Verified ApplicationsCPP at Museum A
Chair(s): K. Rustan M. LeinoAmazon
13:30 - 14:00
Talk
CPP
Conrad WattUniversity of Cambridge, UK
DOI
14:00 - 14:30
Talk
CPP
Sidney AmaniUNSW, Australia, Myriam BégelENS Paris-Saclay, France, Maksym Bortin, Mark StaplesCSIRO, Australia
DOI
14:30 - 15:00
Talk
CPP
George PîrleaUniversity College London, Ilya SergeyUniversity College London
DOI Pre-print
15:00 - 15:30
Talk
CPP
Cezary KaliszykUniversity of Innsbruck, Julian ParsertUniversity of Innsbruck, Austria
16:00 - 18:00: Proof Methods and LibrariesCPP at Museum A
Chair(s): René ThiemannUniversity of Innsbruck
16:00 - 16:30
Talk
CPP
Craig McLaughlinThe University of Edinburgh, James McKinna, Ian StarkThe University of Edinburgh
DOI
16:30 - 17:00
Talk
CPP
Talia RingerUniversity of Washington, Nathaniel YazdaniUniversity of Washington, Seattle, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
17:00 - 17:30
Talk
CPP
Niklas GrimmVienna University of Technology, Austria, Kenji MaillardInria Paris and ENS Paris, Cédric FournetMicrosoft Research, Cătălin HriţcuInria Paris, Matteo MaffeiSaarland University, Jonathan ProtzenkoMicrosoft Research, n.n., Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research, Santiago Zanella-BéguelinMicrosoft Research, n.n.
DOI
17:30 - 18:00
Talk
CPP
Hugo FéréeUniversity of Kent, UK, Samuel HymUniversity of Lille, France, Micaela Mayero, Jean-Yves MoyenUniversity of Copenhagen, Denmark, David NowakCNRS, France
DOI
18:15 - 20:15: CPP ReceptionCPP at Museum A
18:15 - 20:15
Social Event
CPP

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by Brigitte PientkaCPP at Museum A
Chair(s): Amy FeltyUniversity of Ottawa
09:00 - 10:00
Talk
CPP
Brigitte PientkaMcGill University
DOI
10:30 - 12:00: Trusted Verification Frameworks and SystemsCPP at Museum A
Chair(s): Zhong ShaoYale University
10:30 - 11:00
Talk
CPP
Mathias FleuryMPI-INF, Jasmin BlanchetteVrije Universiteit Amsterdam, Peter LammichTechnische Universität München
DOI
11:00 - 11:30
Talk
CPP
Eric MullenUniversity of Washington, Stuart PernsteinerUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
DOI
11:30 - 12:00
Talk
CPP
Maria Paola BonacinaUniversity of Verona, Italy, Stéphane Graham-LengrandCNRS, France, Natarajan ShankarSRI International, USA
DOI
13:30 - 15:30: Type Theory, Set Theory, and Formalized MathematicsCPP at Museum A
Chair(s): Thorsten AltenkirchUniversity of Nottingham
13:30 - 14:00
Talk
CPP
Dan FruminRadboud University, Herman GeuversRadboud University Nijmegen, Netherlands, Léon GondelmanLRI, Université Paris-Sud, Niels van der WeideRadboud University Nijmegen, Netherlands
DOI
14:00 - 14:30
Talk
CPP
Denis FirsovUniversity of Iowa, USA, Aaron StumpUniversity of Iowa, USA
DOI
14:30 - 15:00
Talk
CPP
Dominik KirstSaarland University, Gert SmolkaSaarland University
DOI
15:00 - 15:30
Talk
CPP
16:00 - 18:00: Formalizing Meta-TheoryCPP at Museum A
Chair(s): Brigitte PientkaMcGill University
16:00 - 16:30
Talk
CPP
Sergueï LengletUniversity of Lorraine, France, Alan SchmittInria
DOI
16:30 - 17:00
Talk
CPP
Paweł WieczorekUniversity of Wrocław, Dariusz BiernackiUniversity of Wrocław
DOI
17:00 - 17:30
Talk
CPP
Kaustuv ChaudhuriInria, France
DOI
17:30 - 18:00
Talk
CPP
Jonas Kaiser, Steven Schäfer, Kathrin StarkSaarland University, Germany
DOI

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change