Write a Blog >>
VenueJW Marriott New Orleans
Room nameMaurepas
Floor3
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

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Introduction and Invited TalksPLanQC at Maurepas
Chair(s): Robert RandUniversity of Maryland
09:00 - 09:30
Talk
PLanQC
I: Jennifer PaykinGalois, Inc.
Media Attached File Attached
09:30 - 10:00
Talk
PLanQC
I: Peter SelingerDalhousie University
Media Attached
10:30 - 12:30: Invited Talks, Pulses, Errors and CategoriesPLanQC at Maurepas
Chair(s): Frank Fu
10:30 - 11:00
Talk
PLanQC
I: Bettina HeimMicrosoft
Media Attached
11:00 - 11:30
Talk
PLanQC
I: Fred ChongUniversity of Chicago
Media Attached File Attached
11:30 - 11:50
Talk
PLanQC
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
11:50 - 12:10
Talk
PLanQC
Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland
Pre-print Media Attached File Attached
12:10 - 12:30
Talk
PLanQC
Andre KornellTulane University, Bert LindenhoviusTulane University, Michael MisloveTulane
14:00 - 15:05: Formal MethodsPLanQC at Maurepas
Chair(s): Dominique UnruhUniversity of Tartu
14:00 - 14:20
Talk
PLanQC
Federico OlmedoUniversity of Chile & IMFD Chile, Alejandro Díaz-CaroICC (UBA-CONICET) & UNQ
Pre-print File Attached
14:20 - 14:40
Talk
PLanQC
Christopĥe CharetonCEA, LIST, France, Sebastien BardinCEA LIST, François BobotCEA, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
14:40 - 15:05
Talk
PLanQC
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
15:35 - 16:35: NISQPLanQC at Maurepas
Chair(s): Will ZengUnitary Fund
15:35 - 15:55
Talk
PLanQC
Andrew N. GlaudellUniversity of Maryland, Neil Julien RossDalhousie University, Jacob M. TaylorUniversity of Maryland
Pre-print Media Attached File Attached
15:55 - 16:15
Talk
PLanQC
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
16:15 - 16:35
Talk
PLanQC
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
16:50 - 17:50: Quantum-Classical CommunicationPLanQC at Maurepas
Chair(s): Michael HicksUniversity of Maryland
16:50 - 17:10
Talk
PLanQC
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
17:10 - 17:30
Talk
PLanQC
Dongho LEELRI / CEA LIST, Univ Paris Saclay, Sebastien BardinCEA LIST, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
17:30 - 17:50
Talk
PLanQC
Pablo Andres-MartinezUniversity of Edinburgh, Chris HeunenUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached File Attached

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited talkCPP at Maurepas
Chair(s): Cătălin HriţcuInria Paris
09:00 - 10:00
Talk
CPP
Grigore RoşuUniversity of Illinois at Urbana-Champaign, Xiaohong ChenUniversity of Illinois at Urbana-Champaign
DOI Media Attached
10:30 - 11:35: Program verificationCPP at Maurepas
Chair(s): Nikhil SwamyMicrosoft Research
10:30 - 10:51
Talk
CPP
Clement BlaudeauEcole Polytechnique, Natarajan ShankarSRI International, USA
DOI Pre-print Media Attached
10:51 - 11:13
Talk
CPP
Tobias NipkowTechnische Universität München, Thomas SewellChalmers University of Technology, Sweden
DOI Pre-print Media Attached
11:13 - 11:35
Talk
CPP
Thomas LetanANSSI, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
DOI Pre-print Media Attached
11:45 - 12:30: Automated verification and SAT solvingCPP at Maurepas
Chair(s): Ori LahavTel Aviv University
11:45 - 12:07
Talk
CPP
Shilpi GoelCentaur Technology, Inc., Anna SlobodovaCentaur Technology, Inc., Rob SumnersCentaur Technology, Inc., Sol SwordsCentaur Technology, Inc.
DOI Pre-print File Attached
12:07 - 12:30
Talk
CPP
DOI Pre-print Media Attached
14:00 - 15:05: Proof engineering and user interactionCPP at Maurepas
Chair(s): Yves BertotINRIA
14:00 - 14:21
Talk
CPP
Yannick ZakowskiUniversity of Pennsylvania, Paul HeUniversity of Pennsylvania, Chung-Kil HurSeoul National University, Steve ZdancewicUniversity of Pennsylvania
DOI Pre-print Media Attached File Attached
14:21 - 14:43
Talk
CPP
Qingxiang WangUniversity of Innsbruck, Chad BrownCzech Technical University in Prague, Cezary KaliszykUniversity of Innsbruck, Josef UrbanCzech Technical University in Prague
DOI Pre-print
14:43 - 15:05
Talk
CPP
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
15:35 - 16:40: Decidability and complexityCPP at Maurepas
Chair(s): Kathrin StarkPrinceton University, USA
15:35 - 15:56
Talk
CPP
Yannick ForsterSaarland University, Fabian KunzeSaarland University, Maximilian WuttkeSaarland University
DOI Pre-print Media Attached
15:56 - 16:18
Talk
CPP
Linh TranNational University of Singapore, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print Media Attached
16:18 - 16:40
Talk
CPP
Simon SpiesSaarland University, Yannick ForsterSaarland University
DOI Pre-print Media Attached
16:50 - 17:56: Homotopy Type Theory and PC chairs' reportCPP at Maurepas
Chair(s): Floris van DoornUniversity of Pittsburgh
16:50 - 17:12
Talk
CPP
Anders MörtbergDepartment of Mathematics, Stockholm University, Loïc PujetGallinette Project-Team, Inria
DOI Pre-print Media Attached File Attached
17:12 - 17:34
Talk
CPP
Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde
DOI Pre-print Media Attached File Attached
17:34 - 17:56
Talk
CPP
Jasmin BlanchetteVrije Universiteit Amsterdam, Cătălin HriţcuInria Paris
DOI Media Attached File Attached

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited talkCPP at Maurepas
Chair(s): Jasmin BlanchetteVrije Universiteit Amsterdam
09:00 - 10:00
Talk
CPP
Adam ChlipalaMassachusetts Institute of Technology
DOI Media Attached
10:30 - 11:35: Mechanized metatheoryCPP at Maurepas
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
10:30 - 10:51
Talk
CPP
Yannick ForsterSaarland University, Kathrin StarkPrinceton University, USA
DOI Pre-print Media Attached
10:51 - 11:13
Talk
CPP
Tomás DíazIMFD Chile, Federico OlmedoUniversity of Chile & IMFD Chile, Éric TanterUniversity of Chile
DOI Pre-print Media Attached File Attached
11:13 - 11:35
Talk
CPP
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
11:45 - 12:30: Verified cryptographyCPP at Maurepas
Chair(s): Adam ChlipalaMassachusetts Institute of Technology
11:45 - 12:07
Talk
CPP
David ButlerAlan Turing Institute, David AspinallUniversity of Edinburgh, Adria GasconAlan Turing Institute
DOI Pre-print Media Attached
12:07 - 12:30
Talk
CPP
Denis FirsovGuardtime AS, Ahto BuldasTallinn University of Technology, Ahto TruuGuardtime AS, Risto LaanojaGuardtime AS
DOI Pre-print Media Attached File Attached
14:00 - 15:05: Concurrency and linearityCPP at Maurepas
Chair(s): Zhong ShaoYale University
14:00 - 14:21
Talk
CPP
Roy OverbeekVrije Universiteit Amsterdam
DOI Pre-print Media Attached
14:21 - 14:43
Talk
CPP
Niccolò VeltriTallinn University of Technology, Andrea VezzosiIT University Copenhagen
DOI Pre-print Media Attached File Attached
14:43 - 15:05
Talk
CPP
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
15:35 - 16:40: Formalized mathematics 1CPP at Maurepas
Chair(s): Robert Y. LewisVrije Universiteit Amsterdam
15:35 - 15:56
Talk
CPP
Patrick MassotUniversité Paris Sud, Kevin BuzzardImperial College London, Johan CommelinUniversität Freiburg
DOI Pre-print Media Attached File Attached
15:56 - 16:18
Talk
CPP
Abhishek Kr SinghTata Institute of Fundamental Research Mumbai, Raja NatarajanTata Institute of Fundamental Research Mumbai
DOI Pre-print Media Attached File Attached
16:18 - 16:40
Talk
CPP
Christian DoczkalUniversité Côte d'Azur, Damien PousCNRS, ENS Lyon
DOI Pre-print Media Attached
16:50 - 17:56: Formalized mathematics 2CPP at Maurepas
Chair(s): Tobias NipkowTechnische Universität München
16:50 - 17:12
Talk
CPP
Fabian ImmlerCarnegie Mellon University, Yong Kiam TanCarnegie Mellon University, USA
DOI Pre-print Media Attached
17:12 - 17:34
Talk
CPP
Jesse Michael HanUniversity of Pittsburgh, Floris van DoornUniversity of Pittsburgh
DOI Pre-print Media Attached
17:34 - 17:56
Talk
CPP
DOI Pre-print Media Attached File Attached

Sat 25 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited TalkCoqPL at Maurepas
Chair(s): Robbert KrebbersDelft University of Technology
09:00 - 10:00
Talk
CoqPL
Chantal KellerLRI, Université Paris-Sud
File Attached
10:30 - 12:30: Contributed TalksCoqPL at Maurepas
Chair(s): Amin Timanyimec-Distrinet KU-Leuven
10:30 - 11:00
Talk
CoqPL
Arthur Azevedo de AmorimCarnegie Mellon University, USA
File Attached
11:00 - 11:30
Talk
CoqPL
File Attached
11:30 - 12:00
Talk
CoqPL
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
12:00 - 12:30
Talk
CoqPL
Media Attached File Attached
14:00 - 15:05: Invited TalkCoqPL at Maurepas
Chair(s): Yves BertotINRIA
14:00 - 15:00
Talk
CoqPL
Kathrin StarkPrinceton University, USA
File Attached
15:35 - 17:45: Contributed Talks & Coq DevelopersCoqPL at Maurepas
Chair(s): Joseph TassarottiBoston College, Robbert KrebbersDelft University of Technology
15:35 - 16:05
Talk
CoqPL
Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA
File Attached
16:05 - 16:35
Talk
CoqPL
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
16:35 - 16:50
Break
CoqPL
16:50 - 17:35
Demonstration
CoqPL

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Sat 25 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Sat 25 Jan
Times are displayed in time zone: Saskatchewan, Central America change