PEPM 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameCPP
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Mon 20 Jan

CPP-2020-papers
09:00 - 10:00: CPP 2020 - Invited talk at CPP
CPP-2020-papers09:00 - 10:00
Talk
Grigore RosuUniversity of Illinois at Urbana-Champaign, Xiaohong ChenUniversity of Illinois at Urbana-Champaign
CPP-2020-papers
10:30 - 11:35: CPP 2020 - Program verification at CPP
CPP-2020-papers10:30 - 10:51
Talk
Clement BlaudeauEcole Polytechnique, Natarajan ShankarSRI International, USA
CPP-2020-papers10:51 - 11:13
Talk
Tobias NipkowTechnische Universität München, Thomas SewellChalmers University of Technology, Sweden
CPP-2020-papers11:13 - 11:35
Talk
Thomas LetanANSSI, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
CPP-2020-papers
11:45 - 12:30: CPP 2020 - Automated verification and SAT solving at CPP
CPP-2020-papers11:45 - 12:07
Talk
Shilpi GoelCentaur Technology, Inc., Anna SlobodovaCentaur Technology, Inc., Rob SumnersCentaur Technology, Inc., Sol SwordsCentaur Technology, Inc.
CPP-2020-papers12:07 - 12:30
Talk
CPP-2020-papers
14:00 - 15:05: CPP 2020 - Proof engineering and user interaction at CPP
CPP-2020-papers14:00 - 14:21
Talk
Yannick ZakowskiUniversity of Pennsylvania, Paul HeUniversity of Pennsylvania, Chung-Kil HurSeoul National University, Steve ZdancewicUniversity of Pennsylvania
CPP-2020-papers14:21 - 14:43
Talk
Qingxiang WangUniversity of Innsbruck, Chad BrownCzech Technical University in Prague, Cezary KaliszykUniversity of Innsbruck, Josef UrbanCzech Technical University in Prague
DOI Pre-print
CPP-2020-papers14:43 - 15:05
Talk
Talia RingerUniversity of Washington, Alex Sanchez-SternUniversity of California, San Diego, Dan GrossmanUniversity of Washington, Sorin LernerUniversity of California, San Diego
CPP-2020-papers
15:35 - 16:40: CPP 2020 - Decidability and complexity at CPP
CPP-2020-papers15:35 - 15:56
Talk
Yannick ForsterSaarland University, Fabian KunzeSaarland University, Maximilian WuttkeSaarland University
CPP-2020-papers15:56 - 16:18
Talk
Linh TranNational University of Singapore, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
CPP-2020-papers16:18 - 16:40
Talk
Simon SpiesSaarland University, Yannick ForsterSaarland University
CPP-2020-papers
16:50 - 17:56: CPP 2020 - Homotopy Type Theory and PC chair's report at CPP
CPP-2020-papers16:50 - 17:12
Talk
Anders MörtbergDepartment of Mathematics, Stockholm University, Loïc PujetGallinette Project-Team, Inria
CPP-2020-papers17:12 - 17:34
Talk
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
CPP-2020-papers17:34 - 17:56
Talk
Cătălin HriţcuInria Paris, Jasmin BlanchetteVrije Universiteit Amsterdam

Tue 21 Jan

CPP-2020-papers
09:00 - 10:00: CPP 2020 - Invited talk at CPP
CPP-2020-papers09:00 - 10:00
Talk
Adam ChlipalaMassachusetts Institute of Technology
CPP-2020-papers
10:30 - 11:35: CPP 2020 - Mechanized metatheory at CPP
CPP-2020-papers10:30 - 10:51
Talk
Yannick ForsterSaarland University, Kathrin StarkSaarland University, Germany
CPP-2020-papers10:51 - 11:13
Talk
Tomás DíazIMFD Chile, Federico OlmedoUniversity of Chile & IMFD Chile, Éric TanterUniversity of Chile & Inria Paris
CPP-2020-papers11:13 - 11:35
Talk
Danil AnnenkovConcordium Blockchain Research Center, Aarhus University, Jakob Botsch NielsenConcordium Blockchain Research Center, Aarhus University, Bas SpittersConcordium Blockchain Research Center, Aarhus University
Pre-print
CPP-2020-papers
11:45 - 12:30: CPP 2020 - Verified cryptography at CPP
CPP-2020-papers11:45 - 12:07
Talk
David ButlerAlan Turing Institute, David AspinallUniversity of Edinburgh, Adria GasconAlan Turing Institute
CPP-2020-papers12:07 - 12:30
Talk
Denis FirsovUniversity of Iowa, USA, Ahto BuldasTallinn University of Technology, Ahto TruuGuardtime AS, Risto LaanojaGuardtime AS
CPP-2020-papers
14:00 - 15:05: CPP 2020 - Concurrency and linearity at CPP
CPP-2020-papers14:00 - 14:21
Talk
Roy OverbeekVrije Universiteit Amsterdam
CPP-2020-papers14:21 - 14:43
Talk
Niccolò VeltriTallinn University of Technology, Andrea VezzosiIT University Copenhagen
CPP-2020-papers14:43 - 15:05
Talk
Arjen RouvoetDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersDelft University of Technology, Eelco VisserDelft University of Technology
CPP-2020-papers
15:35 - 16:40: CPP 2020 - Formalized mathematics 1 at CPP
CPP-2020-papers15:35 - 15:56
Talk
Patrick MassotUniversité Paris Sud, Kevin BuzzardImperial College London, Johan CommelinUniversität Freiburg
CPP-2020-papers15:56 - 16:18
Talk
Abhishek Kr SinghTata Institute of Fundamental Research Mumbai, Raja NatarajanTata Institute of Fundamental Research Mumbai
Pre-print
CPP-2020-papers16:18 - 16:40
Talk
Christian DoczkalUniversité Côte d'Azur, Damien PousCNRS, ENS Lyon
CPP-2020-papers
16:50 - 17:56: CPP 2020 - Formalized mathematics 2 at CPP
CPP-2020-papers16:50 - 17:12
Talk
Fabian ImmlerCarnegie Mellon University, Yong Kiam TanCarnegie Mellon University, USA
CPP-2020-papers17:12 - 17:34
Talk
Jesse Michael HanUniversity of Pittsburgh, Floris van DoornUniversity of Pittsburgh
CPP-2020-papers17:34 - 17:56
Talk

This program is tentative and subject to change.

Mon 20 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CPP
09:00 - 10:00

Tue 21 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CPP
09:00 - 10:00

This program is tentative and subject to change.