Write a Blog >>
CPP 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameMaurepas
Floor3
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 19 Jan

planqc-2020-papers
09:00 - 10:00: PLanQC - Introduction and Invited Talks at Maurepas
Chair(s): Robert RandUniversity of Maryland
planqc-2020-papers09:00 - 09:30
Talk
Jennifer PaykinGalois, Inc.
Media Attached File Attached
planqc-2020-papers09:30 - 10:00
Talk
Peter SelingerDalhousie University
Media Attached
planqc-2020-papers
10:30 - 12:30: PLanQC - Invited Talks, Pulses, Errors and Categories at Maurepas
Chair(s): Frank Fu
planqc-2020-papers10:30 - 11:00
Talk
Bettina HeimMicrosoft
Media Attached
planqc-2020-papers11:00 - 11:30
Talk
Fred ChongUniversity of Chicago
Media Attached File Attached
planqc-2020-papers11:30 - 11:50
Talk
Thomas AlexanderIBM T.J. Watson Research Center, New York, USA, Naoki KanazawaIBM Research, Tokyo, Japan, Daniel EggerIBM Research, Zurich, Switzerland, Ali Javadi-AbhariIBM T.J. Watson Research Center, New York, USA, David C. McKayIBM T.J. Watson Research Center, New York, USA
planqc-2020-papers11:50 - 12:10
Talk
Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland
Pre-print Media Attached File Attached
planqc-2020-papers12:10 - 12:30
Talk
Andre KornellTulane University, Bert LindenhoviusTulane University, Michael MisloveTulane
planqc-2020-papers
14:00 - 15:05: PLanQC - Formal Methods at Maurepas
Chair(s): Dominique UnruhUniversity of Tartu
planqc-2020-papers14:00 - 14:20
Talk
Federico OlmedoUniversity of Chile & IMFD Chile, Alejandro Díaz-CaroICC (UBA-CONICET) & UNQ
Pre-print File Attached
planqc-2020-papers14:20 - 14:40
Talk
Christopĥe CharetonCEA, LIST, France, Sebastien BardinCEA LIST, François BobotCEA, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
planqc-2020-papers14:40 - 15:05
Talk
Kesha HietalaUniversity of Maryland, Kartik SinghalUniversity of Chicago, Robert RandUniversity of Maryland, Shih-Han HungUniversity of Maryland, Xiaodi WuUniversity of Maryland, College Park, Michael HicksUniversity of Maryland
Media Attached
planqc-2020-papers
15:35 - 16:35: PLanQC - NISQ at Maurepas
Chair(s): Will ZengUnitary Fund
planqc-2020-papers15:35 - 15:55
Talk
Andrew N. GlaudellUniversity of Maryland, Neil Julien RossDalhousie University, Jacob M. TaylorUniversity of Maryland
Pre-print Media Attached File Attached
planqc-2020-papers15:55 - 16:15
Talk
Yu ZhangUniversity of Science and Technology of China, Haowei DengUniversity of Science and Technology of China, Quanxi LiUniversity of Science and Technology of China
Pre-print Media Attached
planqc-2020-papers16:15 - 16:35
Talk
Xiang FuInstitute for Quantum Information & State Key Laboratory of High Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Jintao YuState Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China, Xing SuCollege of Meteorology and Oceanography, National University of Defense Technology, Changsha, China, Hanru JiangCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Hua WuShanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China, Dong ChenDepartment of Computing Science, College of Computer, National University of Defense Technology, Changsha, China, Fucheng ChengCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Xi DengCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Jinrong ZhangCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Lei JinSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Yihang YangSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Le XuSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Chunchao HuSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Anqi HuangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Guangyao HuangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Xiaogang QiangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Mingtang DengInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Ping XuInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Wanwei LiuNational University of Defense Technology, Yuxin DengEast China Normal University, Junjie WuInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Yuan FengCentre for Quantum Software and Information, University of Technology Sydney, Australia
File Attached
planqc-2020-papers
16:50 - 17:50: PLanQC - Quantum-Classical Communication at Maurepas
Chair(s): Michael HicksUniversity of Maryland
planqc-2020-papers16:50 - 17:10
Talk
Alexander McCaskeyOak Ridge National Laboratory, Tiffany MintzOak Ridge National Laboratory, Eugene DumitrescuOak Ridge National Laboratory, Sarah PowersOak Ridge National Laboratory, Shirley MooreOak Ridge National Laboratory, Pavel LougovskiOak Ridge National Laboratory
planqc-2020-papers17:10 - 17:30
Talk
Dongho LEELRI / CEA LIST, Univ Paris Saclay, Sebastien BardinCEA LIST, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
planqc-2020-papers17:30 - 17:50
Talk
Pablo Andres-MartinezUniversity of Edinburgh, Chris HeunenUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached File Attached

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
DOI Media Attached
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
DOI Pre-print Media Attached
CPP-2020-papers10:51 - 11:13
Talk
Tobias NipkowTechnische Universität München, Thomas SewellChalmers University of Technology, Sweden
DOI Pre-print Media Attached
CPP-2020-papers11:13 - 11:35
Talk
Thomas LetanANSSI, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
DOI Pre-print Media Attached
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.
DOI Pre-print File Attached
CPP-2020-papers12:07 - 12:30
Talk
DOI Pre-print Media Attached
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
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached
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
DOI Pre-print Media Attached
CPP-2020-papers15:56 - 16:18
Talk
Linh TranNational University of Singapore, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print Media Attached
CPP-2020-papers16:18 - 16:40
Talk
Simon SpiesSaarland University, Yannick ForsterSaarland University
DOI Pre-print Media Attached
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
DOI Pre-print Media Attached File Attached
CPP-2020-papers17:12 - 17:34
Talk
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
DOI Pre-print Media Attached File Attached
CPP-2020-papers17:34 - 17:56
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Cătălin HriţcuInria Paris
DOI Media Attached 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
DOI Media Attached
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
DOI Pre-print Media Attached
CPP-2020-papers10:51 - 11:13
Talk
Tomás DíazIMFD Chile, Federico OlmedoUniversity of Chile & IMFD Chile, Éric TanterUniversity of Chile
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached
CPP-2020-papers12:07 - 12:30
Talk
Denis FirsovGuardtime AS, Ahto BuldasTallinn University of Technology, Ahto TruuGuardtime AS, Risto LaanojaGuardtime AS
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached
CPP-2020-papers14:21 - 14:43
Talk
Niccolò VeltriTallinn University of Technology, Andrea VezzosiIT University Copenhagen
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached File Attached
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
DOI Pre-print Media Attached File Attached
CPP-2020-papers15:56 - 16:18
Talk
Abhishek Kr SinghTata Institute of Fundamental Research Mumbai, Raja NatarajanTata Institute of Fundamental Research Mumbai
DOI Pre-print Media Attached File Attached
CPP-2020-papers16:18 - 16:40
Talk
Christian DoczkalUniversité Côte d'Azur, Damien PousCNRS, ENS Lyon
DOI Pre-print Media Attached
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 Media Attached
CPP-2020-papers17:12 - 17:34
Talk
Jesse Michael HanUniversity of Pittsburgh, Floris van DoornUniversity of Pittsburgh
DOI Pre-print Media Attached
CPP-2020-papers17:34 - 17:56
Talk
DOI Pre-print Media Attached File Attached

Sat 25 Jan

CoqPL-2020-papers
09:00 - 10:00: CoqPL - Invited Talk at Maurepas
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-2020-papers09:00 - 10:00
Talk
Chantal KellerLRI, Université Paris-Sud
File Attached
CoqPL-2020-papers
10:30 - 12:30: CoqPL - Contributed Talks at Maurepas
Chair(s): Amin Timanyimec-Distrinet KU-Leuven
CoqPL-2020-papers10:30 - 11:00
Talk
Arthur Azevedo de AmorimCarnegie Mellon University, USA
File Attached
CoqPL-2020-papers11:00 - 11:30
Talk
File Attached
CoqPL-2020-papers11:30 - 12:00
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
Link to publication File Attached
CoqPL-2020-papers12:00 - 12:30
Talk
Media Attached File Attached
CoqPL-2020-papers
14:00 - 15:05: CoqPL - Invited Talk at Maurepas
Chair(s): Yves BertotINRIA
CoqPL-2020-papers14:00 - 15:00
Talk
Kathrin StarkSaarland University, Germany
CoqPL-2020-papers
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at Maurepas
Chair(s): Joseph TassarottiBoston College, Robbert KrebbersDelft University of Technology
CoqPL-2020-papers15:35 - 16:05
Talk
Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA
File Attached
CoqPL-2020-papers16:05 - 16:35
Talk
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA, Andrej DudenhefnerSaarland University, Edith HeiterSaarland University, Dominik KirstSaarland University, Fabian KunzeSaarland University, Gert SmolkaSaarland University, Simon SpiesSaarland University, Dominik WehrSaarland University, Universiteit van Amsterdam, Maximilian WuttkeSaarland University
Media Attached File Attached
CoqPL-2020-papers16:35 - 16:50
Break
CoqPL-2020-papers16:50 - 17:35
Demonstration

Sun 19 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Maurepas
15:35 - 16:35

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

Sat 25 Jan 2020

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