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

Mon 8 Jan

CPP-2018
09:00 - 10:00: CPP 2018 - Invited Talk by René Thiemann at Museum A
Chair(s): June AndronickData61,CSIRO (formerly NICTA) and UNSW
CPP-201809:00 - 10:00
Talk
Jose Divasón, Sebastiaan Joosten, Ondřej KunčarTechnische Universität München, Germany, René ThiemannUniversity of Innsbruck, Akihisa Yamada
DOI
CPP-2018
10:30 - 12:00: CPP 2018 - Verifying Programs and Systems at Museum A
Chair(s): Natarajan ShankarSRI International, USA
CPP-201810:30 - 11:00
Talk
Antal Spector-Zabusky, Joachim BreitnerUniversity of Pennsylvania, Christine RizkallahUniversity of Pennsylvania, USA, Stephanie WeirichUniversity of Pennsylvania, USA
DOI
CPP-201811:00 - 11:30
Talk
Damien RouhlingUniversity of Côte d'Azur, France
DOI
CPP-201811:30 - 12:00
Talk
Christian DoczkalCNRS, France, Joachim BardSaarland University, Germany
DOI
CPP-2018
13:30 - 15:30: CPP 2018 - Verified Applications at Museum A
Chair(s): K. Rustan M. LeinoAmazon
CPP-201813:30 - 14:00
Talk
Conrad WattUniversity of Cambridge, UK
DOI
CPP-201814:00 - 14:30
Talk
Sidney AmaniUNSW, Australia, Myriam BégelENS Paris-Saclay, France, Maksym Bortin, Mark StaplesCSIRO, Australia
DOI
CPP-201814:30 - 15:00
Talk
George PîrleaUniversity College London, Ilya SergeyUniversity College London
DOI Pre-print
CPP-201815:00 - 15:30
Talk
Cezary KaliszykUniversity of Innsbruck, Julian ParsertUniversity of Innsbruck, Austria
CPP-2018
16:00 - 18:00: CPP 2018 - Proof Methods and Libraries at Museum A
Chair(s): René ThiemannUniversity of Innsbruck
CPP-201816:00 - 16:30
Talk
Craig McLaughlinThe University of Edinburgh, James McKinna, Ian StarkThe University of Edinburgh
DOI
CPP-201816:30 - 17:00
Talk
Talia RingerUniversity of Washington, Nathaniel YazdaniUniversity of Washington, Seattle, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
CPP-201817:00 - 17:30
Talk
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
CPP-201817:30 - 18:00
Talk
Hugo FéréeUniversity of Kent, UK, Samuel HymUniversity of Lille, France, Micaela Mayero, Jean-Yves MoyenUniversity of Copenhagen, Denmark, David NowakCNRS, France
DOI
CPP-2018
18:15 - 20:15: CPP 2018 - CPP Reception at Museum A
CPP-201818:15 - 20:15
Social Event

Tue 9 Jan

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

Mon 8 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Museum A
18:15 - 20:15

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Museum A