Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 20 Jan

CPP-2020-papers
09:00 - 10:00: CPP 2020 - Invited talk at Maurepas
Chair(s): Cătălin HriţcuInria Paris
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 Maurepas
Chair(s): Nikhil SwamyMicrosoft Research
CPP-2020-papers10:30 - 10:51
Talk
Clement BlaudeauEcole Polytechnique, Natarajan ShankarSRI International, USA
Pre-print
CPP-2020-papers10:51 - 11:13
Talk
Tobias NipkowTechnische Universität München, Thomas SewellChalmers University of Technology, Sweden
Pre-print
CPP-2020-papers11:13 - 11:35
Talk
Thomas LetanANSSI, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
Pre-print
CPP-2020-papers
11:45 - 12:30: CPP 2020 - Automated verification and SAT solving at Maurepas
Chair(s): Ori LahavTel Aviv University
CPP-2020-papers11:45 - 12:07
Talk
Shilpi GoelCentaur Technology, Inc., Anna SlobodovaCentaur Technology, Inc., Rob SumnersCentaur Technology, Inc., Sol SwordsCentaur Technology, Inc.
Pre-print
CPP-2020-papers12:07 - 12:30
Talk
Pre-print
CPP-2020-papers
14:00 - 15:05: CPP 2020 - Proof engineering and user interaction at Maurepas
Chair(s): Yves BertotINRIA
CPP-2020-papers14:00 - 14:21
Talk
Yannick ZakowskiUniversity of Pennsylvania, Paul HeUniversity of Pennsylvania, Chung-Kil HurSeoul National University, Steve ZdancewicUniversity of Pennsylvania
Pre-print
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
Pre-print
CPP-2020-papers
15:35 - 16:40: CPP 2020 - Decidability and complexity at Maurepas
Chair(s): Kathrin StarkSaarland University, Germany
CPP-2020-papers15:35 - 15:56
Talk
Yannick ForsterSaarland University, Fabian KunzeSaarland University, Maximilian WuttkeSaarland University
Pre-print
CPP-2020-papers15:56 - 16:18
Talk
Linh TranNational University of Singapore, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
Pre-print
CPP-2020-papers16:18 - 16:40
Talk
Simon SpiesSaarland University, Yannick ForsterSaarland University
Pre-print
CPP-2020-papers
16:50 - 17:56: CPP 2020 - Homotopy Type Theory and PC chairs' report at Maurepas
Chair(s): Floris van DoornUniversity of Pittsburgh
CPP-2020-papers16:50 - 17:12
Talk
Anders MörtbergDepartment of Mathematics, Stockholm University, Loïc PujetGallinette Project-Team, Inria
Pre-print
CPP-2020-papers17:12 - 17:34
Talk
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
Pre-print
CPP-2020-papers17:34 - 17:56
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Cătălin HriţcuInria Paris
File Attached

Tue 21 Jan

CPP-2020-papers
09:00 - 10:00: CPP 2020 - Invited talk at Maurepas
Chair(s): Jasmin BlanchetteVrije Universiteit Amsterdam
CPP-2020-papers09:00 - 10:00
Talk
Adam ChlipalaMassachusetts Institute of Technology
CPP-2020-papers
10:30 - 11:35: CPP 2020 - Mechanized metatheory at Maurepas
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
CPP-2020-papers10:30 - 10:51
Talk
Yannick ForsterSaarland University, Kathrin StarkSaarland University, Germany
Pre-print
CPP-2020-papers10:51 - 11:13
Talk
Tomás DíazIMFD Chile, Federico OlmedoUniversity of Chile & IMFD Chile, Éric TanterUniversity of Chile
Pre-print
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 Maurepas
Chair(s): Adam ChlipalaMassachusetts Institute of Technology
CPP-2020-papers11:45 - 12:07
Talk
David ButlerAlan Turing Institute, David AspinallUniversity of Edinburgh, Adria GasconAlan Turing Institute
Pre-print
CPP-2020-papers12:07 - 12:30
Talk
Denis FirsovGuardtime AS, Ahto BuldasTallinn University of Technology, Ahto TruuGuardtime AS, Risto LaanojaGuardtime AS
Pre-print
CPP-2020-papers
14:00 - 15:05: CPP 2020 - Concurrency and linearity at Maurepas
Chair(s): Zhong ShaoYale University
CPP-2020-papers14:00 - 14:21
Talk
Roy OverbeekVrije Universiteit Amsterdam
Pre-print
CPP-2020-papers14:21 - 14:43
Talk
Niccolò VeltriTallinn University of Technology, Andrea VezzosiIT University Copenhagen
Pre-print
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
Pre-print
CPP-2020-papers
15:35 - 16:40: CPP 2020 - Formalized mathematics 1 at Maurepas
Chair(s): Robert Y. LewisVrije Universiteit Amsterdam
CPP-2020-papers15:35 - 15:56
Talk
Patrick MassotUniversité Paris Sud, Kevin BuzzardImperial College London, Johan CommelinUniversität Freiburg
Pre-print
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
DOI Pre-print
CPP-2020-papers
16:50 - 17:56: CPP 2020 - Formalized mathematics 2 at Maurepas
Chair(s): Tobias NipkowTechnische Universität München
CPP-2020-papers16:50 - 17:12
Talk
Fabian ImmlerCarnegie Mellon University, Yong Kiam TanCarnegie Mellon University, USA
DOI Pre-print
CPP-2020-papers17:12 - 17:34
Talk
Jesse Michael HanUniversity of Pittsburgh, Floris van DoornUniversity of Pittsburgh
Pre-print
CPP-2020-papers17:34 - 17:56
Talk
Pre-print

Mon 20 Jan 2020

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

Tue 21 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Maurepas
09:00 - 10:00
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)