Filter
Dates
Rooms
Tracks
Badges
Your Program
Sun 19 Jan
09:00 - 10:00: PLanQC - Introduction and Invited Talks at Maurepas Chair(s): Robert RandUniversity of Maryland | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Jennifer PaykinGalois, Inc. Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Peter SelingerDalhousie University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Moshe VardiRice University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Bettina HeimMicrosoft Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Fred ChongUniversity of Chicago Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:10 Talk | Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 12:30: VMCAI 2020 - Papers 1 at St Jerome Chair(s): Natasha SharyginaUSI Lugano, Switzerland | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Pietro FerraraUniversità Ca' Foscari, Venezia, Italy, Luca OlivieriJuliaSoft SRL, Fausto SpotoU. Verona | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Sorawee PorncharoenwaseUniversity of Washington, James BornholtUniversity of Texas at Austin, Emina TorlakUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Talk | Marta KwiatkowskaUniversity of Oxford | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:55 Talk | 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 | 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 | 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 | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:07 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:07 - 16:40 Talk | Jack GarzellaUniversity of Utah, Marek S. BaranowskiUniversity of Utah, Shaobo HeUniversity of Utah, Zvonimir RakamaricUniversity of Utah | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:12 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 17:12 - 17:45 Talk | Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv university | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:50: PLanQC - Quantum-Classical Communication at Maurepas Chair(s): Michael HicksUniversity of Maryland | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:30 - 17:50 Talk | Link to publication DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
Mon 20 Jan
08:30 - 10:00: PADL 2020 - Logical Engines and Applications at Bacchus Chair(s): Ekaterina KomendantskayaHeriot-Watt University, UK | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:35 Talk | Nikolaj BjørnerMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 09:35 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Tutorial | Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Rajeev AlurUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Grigore RosuUniversity of Illinois at Urbana-Champaign, Xiaohong ChenUniversity of Illinois at Urbana-Champaign DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Robbert KrebbersDelft University of Technology Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: PEPM 2020 - Opening & Keynote Talk 1 at Frontenac Chair(s): Casper Bach PoulsenDelft University of Technology, Zhenjiang HuPeking University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Talk | Nate FosterCornell University | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Tutorial | Nadia PolikarpovaUniversity of California, San Diego Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Tutorial | Robert RandUniversity of Maryland Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Tutorial | Justin HsuUniversity of Wisconsin-Madison, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: PADL 2020 - Answer Set Programming Systems at Bacchus Chair(s): Neng-Fa ZhouCUNY Brooklyn College and Graduate Center | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:10 Short-paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:25 Short-paper | Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University | |||||||||||||||||||||||||||||||||||||||||
| 11:25 - 12:00 Other | Nikolaj BjørnerMicrosoft Research, Paul TarauUniversity of North Texas, Eduardo Blanco, Kinjal Basu, Farhad Shakerin, Gopal Gupta, Alex Brik, Jeffrey XuUCLA, Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 12:30 Tutorial | Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Research paper | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Research paper | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Research paper | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Research paper | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Research paper | Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:30: PEPM 2020 - Sessions 1 & 2 at Frontenac Chair(s): Ohad KammarUniversity of Edinburgh, Walid Taha | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:05 Talk | Atsushi IgarashiKyoto University, Japan | |||||||||||||||||||||||||||||||||||||||||
| 11:05 - 11:30 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 11:45 Break | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:10 Research paper | Yuhi SatoUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan, Takahisa WatanabeUniversity of Tsukuba, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:10 - 12:30 Short-paper | Jacques CaretteMcMaster University, Brooks MacLachlanMcMaster University, Spencer SmithMcMaster University, Computing and Software Department DOI Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 12:30 Tutorial | Nadia PolikarpovaUniversity of California, San Diego Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 12:30 Tutorial | Robert RandUniversity of Maryland Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 12:30 Tutorial | Justin HsuUniversity of Wisconsin-Madison, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: PADL 2020 - Memory and Real-Time in Functional Programming at Bacchus Chair(s): John HughesChalmers University of Technology, Sweden | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:45 Talk | David JaninBordeaux INP / CNRS LaBRI / Bordeaux University | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:00 Other | Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg, Bhargav Shivkumar, Jeffrey Murphy, Lukasz ZiarekSUNY Buffalo, USA, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Talk | Josh BerdineFacebook File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: PEPM 2020 - Keynote Talk 2 at Frontenac Chair(s): Casper Bach PoulsenDelft University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Xinyu FengNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:32 Talk | Hongce ZhangPrinceton University, Weikun YangPrinceton University, Grigory FedyukovichFlorida State University, Aarti GuptaPrinceton University, Sharad MalikPrinceton University | |||||||||||||||||||||||||||||||||||||||||
| 14:32 - 15:05 Talk | Eric Rothstein-MorrisSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Sudipta ChattopadhyaySingapore University of Technology and Design | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (I) at SHANGRI-LA | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Tutorial | Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: CPP 2020 - Proof engineering and user interaction at Maurepas Chair(s): Yves BertotINRIA | ||||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Tutorial | Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (I) at Endymion | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Tutorial | Konstantinos (Kostis) SagonasUppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:20 - 17:00 Talk | Neng-Fa ZhouCUNY Brooklyn College and Graduate Center | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:40 Talk | Nadia PolikarpovaUniversity of California, San Diego | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:45 Talk | Thomas WiesNew York University | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: CPP 2020 - Decidability and complexity at Maurepas Chair(s): Kathrin StarkSaarland University, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Yannick ForsterSaarland University, Fabian KunzeSaarland University, Maximilian WuttkeSaarland University DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | 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 | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:07 Talk | Daniel HausmannFriedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias ZinnerFAU Erlangen-Nürnberg | |||||||||||||||||||||||||||||||||||||||||
| 16:07 - 16:40 Talk | Martin BlichaUniversità della Svizzera italiana, Antti HyvärinenUniversità della Svizzera Italiana, Matteo MarescottiUniversità della Svizzera Italiana, Natasha SharyginaUSI Lugano, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:12 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 17:12 - 17:45 Talk | Link to publication Pre-print | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:35: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (II) at SHANGRI-LA | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:35 Tutorial | Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:35 Tutorial | Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: PEPM 2020 - Sessions 3 & 4 at Frontenac Chair(s): Jeremy YallopUniversity of Cambridge, UK, Atsushi IgarashiKyoto University, Japan | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:10 Talk | Ohad KammarUniversity of Edinburgh Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:35 Research paper | DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 16:50 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:25 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:25 - 17:45 Short-paper | Isao SasanoShibaura Institute of Technology DOI | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:35: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (II) at Endymion | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:35 Tutorial | Konstantinos (Kostis) SagonasUppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:56: CPP 2020 - Homotopy Type Theory and PC chairs' report at Maurepas Chair(s): Floris van DoornUniversity of Pittsburgh | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:12 Talk | 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 | 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 | DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
Tue 21 Jan
08:30 - 10:00: PADL 2020 - Reasoning and Efficient Implementation at Bacchus Chair(s): Y. Annie LiuStony Brook University | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:20 Talk | Adnan DarwicheUCLA | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:45 - 10:00 Short-paper | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: CPP 2020 - Invited talk at Maurepas Chair(s): Jasmin BlanchetteVrije Universiteit Amsterdam | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Adam ChlipalaMassachusetts Institute of Technology DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: PLMW 2020 - Morning 1 at Ile de France III (IDF III) Chair(s): Stephanie BalzerCarnegie Mellon University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | Brigitte PientkaMcGill University | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Derek DreyerMPI-SWS File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:10 Tutorial | Peter O'HearnFacebook, Philippa GardnerImperial College London, Muralidaran VijayaraghavanSiFive, Peter SewellUniversity of Cambridge | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: VMCAI 2020 - Papers 6 at St Jerome Chair(s): Andreas PodelskiUniversity of Freiburg, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | Helmut SeidlTechnische Universität München, Christian MüllerTechnical University of Munich, Bernd FinkbeinerSaarland University | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Ruben LapauwKatholieke Universiteit Leuven, Maurice BruynoogheKatholieke Universiteit Leuven, Marc DeneckerKatholieke Universiteit Leuven | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Jesse SigalUniversity of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: CPP 2020 - Mechanized metatheory at Maurepas Chair(s): Benjamin C. PierceUniversity of Pennsylvania | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10: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 | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:30: PLMW 2020 - Morning 2 at Ile de France III (IDF III) Chair(s): Robbert KrebbersDelft University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:10 Talk | Lindsey KuperUniversity of California, Santa Cruz Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:50 Talk | Marco GaboardiBoston University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Xavier LeroyCollège de France Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Andreas FellnerAIT - Austrian Institute of Technology, Thorsten TarrachAustrian Institute of Technology, Georg WeissenbacherTechnische Universität Wien | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Swen JacobsCISPA Helmholtz Center for Information Security, Mouhammad SakrSaarland University, Martin ZimmermannUniversity of Liverpool | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Maxwell LevatichYale, Nikolaj BjørnerMicrosoft Research, Ruzica PiskacYale University, USA, Sharon ShohamTel Aviv university | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: PADL 2020 - Small Languages and Implementation at Bacchus Chair(s): James CheneyUniversity of Edinburgh, UK | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:35 Short-paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:35 - 12:00 Other | Adnan DarwicheUCLA, Johannes K. FichteTU Dresden, Markus Hecher, Patrick Thier, Stefan Woltran, Farhad Shakerin, Gopal Gupta, Martin ErwigOregon State University, Prashant Kumar, Alan Fern, Johannes Eriksson, Masoumeh Parsa, Ramy Shahin, Marsha ChechikUniversity of Toronto | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: CPP 2020 - Verified cryptography at Maurepas Chair(s): Adam ChlipalaMassachusetts Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | David ButlerAlan Turing Institute, David AspinallUniversity of Edinburgh, Adria GasconAlan Turing Institute DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12: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 | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: PADL 2020 - Invited Experience and Direction Session at Bacchus Chair(s): David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Molham ArefRelational.ai | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Mayur NaikUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Grant PassmoreImandra Inc. | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: PLMW 2020 - Afternoon 1 at Ile de France III (IDF III) Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Talk | William J. BowmanUniversity of British Columbia, Kenny FonerGalois, Andrew HirschMax Planck Institute for Software Systems, Taro SekiyamaNational Institute of Informatics, Juliana FrancoMicrosoft Research, Cambridge, Hannah GommerstadtVassar College Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Yuan ZhouUniversity of Oxford, Hongseok YangKAIST, Yee Whye TehUniversity of Oxford, Tom RainforthDepartment of Statistics, University of Oxford | |||||||||||||||||||||||||||||||||||||||||
| 14:32 - 14:47 Talk | Alexander K. LewMassachusetts Institute of Technology, USA, Benjamin ShermanMassachusetts Institute of Technology, USA, Marco Cusumano-TownerMIT-CSAIL, Austin GarrettMIT, Ben ZinbergMIT, Vikash MansinghkaMIT, Michael CarbinMassachusetts Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 14:49 - 15:05 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Roy OverbeekVrije Universiteit Amsterdam DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:32 Talk | Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaIRIF, University Paris Diderot & CNRS, Madhavan MukundChennai Mathematical Institute, Gautham Shenoy RChennai Mathematical Institute, S.P. SureshChennai Mathematical Institute | |||||||||||||||||||||||||||||||||||||||||
| 14:32 - 15:05 Talk | Wytse OortwijnETH Zürich, Dilian GurovKTH Royal Institute of Technology, Marieke HuismanUniversity of Twente | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:15 Tutorial | Sarah de HaasGoogle Research | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: PADL 2020 - Invited Experience and Direction Session (Continued) at Bacchus Chair(s): Y. Annie LiuStony Brook University, David WarrenStony Brook University, Konstantinos (Kostis) SagonasUppsala University, Sweden | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Philip WadlerUniversity of Edinburgh, UK | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:45 Other | Molham ArefRelational.ai, Mayur NaikUniversity of Pennsylvania, Grant PassmoreImandra Inc., Philip WadlerUniversity of Edinburgh, UK | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: PLMW 2020 - Afternoon 2 at Ile de France III (IDF III) Chair(s): Nobuko YoshidaImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 15:40 - 16:40 Talk | Kenny FonerGalois Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 16:50 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:35 Talk | Isil DilligUniversity of Texas Austin Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:05 Talk | Alexander BagnallOhio University, Gordon StewartOhio University, Anindya BanerjeeIMDEA Software Institute | |||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:35 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 17:05 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:05 - 17:35 Talk | David TolpinPUB+ | |||||||||||||||||||||||||||||||||||||||||
| 17:35 - 17:45 Day closing | ||||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: CPP 2020 - Formalized mathematics 1 at Maurepas Chair(s): Robert Y. LewisVrije Universiteit Amsterdam | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Patrick MassotUniversité Paris Sud, Kevin BuzzardImperial College London, Johan CommelinUniversität Freiburg DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: POPLmark 15 Year Retrospective Panel - POPLmark 15 Year Retrospective Panel at Frontenac | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:35 Other | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:45 Other | Lenore ZuckUIC, Michael WhalenAmazon Web Services and the University of Minnesota, Natarajan ShankarSRI International, USA, Andreas PodelskiUniversity of Freiburg, Germany, Dirk BeyerLMU Munich | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:56: CPP 2020 - Formalized mathematics 2 at Maurepas Chair(s): Tobias NipkowTechnische Universität München | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:12 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:12 - 17:34 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:34 - 17:56 Talk | DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
Wed 22 Jan
08:45 - 09:00: Research Papers - Welcome + SIGPLAN Award Ceremony at Ile de France II (IDF II) Chair(s): Brigitte PientkaMcGill University, Jens PalsbergUniversity of California, Los Angeles, Lars BirkedalAarhus University | ||||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Day opening | Media Attached | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II) Chair(s): Brigitte PientkaMcGill University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Martin VechevETH Zürich Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Complexity / Decision Procedures at Ile de France III (IDF III) Chair(s): Roopsha SamantaPurdue University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Yannick ForsterSaarland University, Fabian KunzeSaarland University, Marc RothSaarland University and MMCI and Merton College, Oxford University Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Yotam FeldmanTel Aviv University, Neil ImmermanUniversity of Massachusetts, Amherst, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Rojin RezvanSharif University Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Probabilistic Programming at Ile de France II (IDF II) Chair(s): Alexandra SilvaUniversity College London | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Alexander K. LewMassachusetts Institute of Technology, USA, Marco Cusumano-TownerMIT-CSAIL, Benjamin ShermanMassachusetts Institute of Technology, USA, Michael CarbinMassachusetts Institute of Technology, Vikash MansinghkaMIT Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Reasoning about Program Complexity/Efficiency at Ile de France II (IDF II) Chair(s): Thomas WiesNew York University | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Alex KavvosAarhus University, Edward MorehouseWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Martin Adam Thomas HandleyUniversity of Nottingham, Niki VazouIMDEA Software Institute, Graham HuttonUniversity of Nottingham, UK Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Synthesis at Ile de France III (IDF III) Chair(s): Mohsen LesaniUniversity of California, Riverside | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Zheng GuoUniversity of California, San Diego, Michael JamesUniversity of California, San Diego, David JustoUniversity of California, San Diego, Jiaxiao ZhouUniversity of California, San Diego, Ziteng WangUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Gradual Typing / Language Design at Ile de France III (IDF III) Chair(s): Jeremy G. SiekIndiana University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Zeina MigeedUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Max NewNortheastern University, Dustin JamnerNortheastern University, USA, Amal AhmedNortheastern University, USA Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Lukas LazarekNorthwestern University, Alexis KingNorthwestern University, Samanvitha SundarNorthwestern University, Robby FindlerNorthwestern University, USA, Christos DimoulasPLT @ Northwestern University Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Program Logics at Ile de France II (IDF II) Chair(s): Azalea RaadMPI-SWS, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Ralf JungMPI-SWS, Rodolphe LepigreMPI-SWS, Gaurav ParthasarathyETH Zurich, Marianna RapoportUniversity of Waterloo, Amin Timanyimec-Distrinet KU-Leuven, Derek DreyerMPI-SWS, Bart Jacobsimec-DistriNet, Dept. CS, KU Leuven Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Paulo Emílio de VilhenaInria, François PottierInria, France, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Jonas Kastberg HinrichsenIT University of Copenhagen, Jesper BengtsonIT University of Copenhagen, Robbert KrebbersDelft University of Technology Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Automatic Differentiation / Kleene Algebra at Ile de France II (IDF II) Chair(s): Lars BirkedalAarhus University | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Steffen SmolkaCornell University, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Tobias KappéUniversity College London, Dexter KozenCornell University, Alexandra SilvaUniversity College London Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Concurrency / Memory at Ile de France III (IDF III) Chair(s): Susmit SarkarUniversity of St. Andrews | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Gil NeigerIntel Corporation, Viktor VafeiadisMPI-SWS, Germany Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Hoang-Hai DangMPI-SWS, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Jan-Oliver KaiserMPI-SWS, Derek DreyerMPI-SWS Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:35: Research Papers - Synthesis and Decision Procedures at Ile de France II (IDF II) Chair(s): Roopsha SamantaPurdue University | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:12 Talk | Chenglong WangUniversity of Washington, USA, Yu FengUniversity of California, Santa Barbara, Rastislav BodikUniversity of Washington, Alvin CheungUniversity of California, Berkeley, Isil DilligUniversity of Texas Austin Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:12 - 17:35 Talk | Umang MathurUniversity of Illinois at Urbana-Champaign, Adithya MuraliUniversity of Illinois at Urbana-Champaign, Paul KrogmeierUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign Link to publication DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
Thu 23 Jan
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II) Chair(s): Brigitte PientkaMcGill University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Cristina CifuentesOracle Labs Link to publication Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Synthesis at Ile de France III (IDF III) Chair(s): Mohsen LesaniUniversity of California, Riverside | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Suguman BansalRice University, USA, Kedar NamjoshiBell Labs, Nokia, Yaniv Sa'arNokia Bell Labs, Kfar Saba, Israel Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Shengwei AnPurdue University, Rishabh SinghGoogle Brain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Roopsha SamantaPurdue University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Mukund RaghothamanUniversity of Southern California, Jonathan MendelsonUniversity of Pennsylvania, David ZhaoThe University of Sydney, Mayur NaikUniversity of Pennsylvania, Bernhard ScholzUniversity of Sydney, Australia Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Types and Effects at Ile de France II (IDF II) Chair(s): Dominique DevrieseVrije Universiteit Brussel | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Guilhem JaberLS2N, Université de Nantes Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Datalog, OO + Functional Programming at Ile de France III (IDF III) Chair(s): Brigitte PientkaMcGill University | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Neel KrishnaswamiComputer Laboratory, University of Cambridge, Michael ArntzeniusUniversity of Birmingham, UK Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | David BinderUniversity of Tübingen, Julian JabsUniversity of Tübingen, Ingo SkupinUniversity of Tübingen, Klaus OstermannUniversity of Tübingen, Germany Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Dynamic Program Analysis at Ile de France II (IDF II) Chair(s): Peter ThiemannUniversity of Freiburg, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Andreas PavlogiannisAarhus University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Daming ZouPeking University, Muhan ZengPeking University, Yingfei XiongPeking University, Zhoulai FuIT University of Copenhagen, Denmark, Lu ZhangPeking University, Zhendong SuETH Zurich Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Abstract Interpretation at Ile de France III (IDF III) Chair(s): Xavier RivalINRIA/CNRS/ENS Paris | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Roberto BruniUniversity of Pisa, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Roberta GoriUniversity of Pisa, Isabel Garcia-ContrerasIMDEA Software Institute, Dusko PavlovicUniversity of Hawaii Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Ryan BeckettMicrosoft Research, Aarti GuptaPrinceton University, Ratul MahajanUniversity of Washington, Intentionet, David WalkerPrinceton University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis Link to publication DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Type Systems at Ile de France II (IDF II) Chair(s): Peter ThiemannUniversity of Freiburg, Germany | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Julian MackayVictoria University of Wellington, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Stephen ChangNortheastern University, Michael BallantynePLT @ Northeastern University, Milo TurnerPLT @ Northeastern University, William J. BowmanUniversity of British Columbia Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Probabilistic Programming at Ile de France III (IDF III) Chair(s): Ohad KammarUniversity of Edinburgh | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | David DaraisUniversity of Vermont, Ian SweetUniversity of Maryland, Chang LiuCitadel Securities, Michael HicksUniversity of Maryland Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Feras SaadMassachusetts Institute of Technology, Cameron FreerMassachusetts Institute of Technology, Martin RinardMIT, Vikash MansinghkaMIT Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Program Logics at Ile de France II (IDF II) Chair(s): Chung-Kil HurSeoul National University | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Martin ClochardETH Zürich, Claude MarchéInria Saclay & Université Paris-Saclay, Andrei PaskevichLRI, Université Paris-Sud & CNRS Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Kenji MaillardInria Nantes & University of Chile, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Antoine Van MuylderInria Paris and Paris 7 Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Peter O'HearnFacebook Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 18:00 Meeting | Media Attached | |||||||||||||||||||||||||||||||||||||||||
Fri 24 Jan
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II) Chair(s): Lars BirkedalAarhus University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Hongseok YangKAIST Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Type Systems at Ile de France II (IDF II) Chair(s): Dominique DevrieseVrije Universiteit Brussel | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Mark JonesPortland State University, J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:35: Research Papers - Verification in Proof Assistants at Ile de France III (IDF III) Chair(s): Sandrine BlazyUniv Rennes- IRISA | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:51 Talk | Mengqi LiuYale University, Lionel RiegVerimag, Zhong ShaoYale University, Ronghui GuColumbia University, David CostanzoYale University, Jung-Eun KimYale University, Man-Ki YoonYale University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Michael SammlerMPI-SWS, Deepak GargMax Planck Institute for Software Systems, Derek DreyerMPI-SWS, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8 Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Li-yao XiaUniversity of Pennsylvania, Yannick ZakowskiUniversity of Pennsylvania, Paul HeUniversity of Pennsylvania, Chung-Kil HurSeoul National University, Gregory MalechaBedRock Systems, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Concurrent Programming & Session Types at Ile de France II (IDF II) Chair(s): Susmit SarkarUniversity of St. Andrews | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
11:45 - 12:30: Research Papers - Probabilistic Reasoning and Verification at Ile de France III (IDF III) Chair(s): Arthur Azevedo de AmorimCarnegie Mellon University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Peixin WangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Yuxin DengEast China Normal University, Ming XuEast China Normal University Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Marcel HarkRWTH Aachen University, Germany, Benjamin Lucien KaminskiRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Language Design at Ile de France III (IDF III) Chair(s): Amin Timanyimec-Distrinet KU-Leuven | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Sam WestrickCarnegie Mellon University, Rohan YadavCarnegie Mellon University, Matthew FluetRochester Institute of Technology, Umut AcarCarnegie Mellon University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Research Papers - Semantics of Probabilistic & Quantum Programming at Ile de France II (IDF II) Chair(s): Alexandra SilvaUniversity College London | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:21 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Justin HsuUniversity of Wisconsin-Madison, USA, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University., Nengkun YuUniversity of Technology Sydney, Australia, Li ZhouMax Planck Institute for Security and Privacy/Tsinghua University Link to publication DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Justin HsuUniversity of Wisconsin-Madison, USA, Kevin LiaoMax Planck Institute for Security and Privacy Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Semantics & Type Theory at Ile de France II (IDF II) Chair(s): Arthur Azevedo de AmorimCarnegie Mellon University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Benedikt AhrensUniversity of Birmingham, United Kingdom, André HirschowitzUniversité Côte d'Azur, Ambroise LafontInria, France, Marco MaggesiUniversità di Firenze Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Matthieu SozeauInria, Simon BoulierInria, Yannick ForsterSaarland University, Nicolas TabareauInria, Théo WinterhalterInria — LS2N Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 16:40: Research Papers - Verified & Secure Compilation at Ile de France III (IDF III) Chair(s): Andrew AppelPrinceton | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:56 Talk | Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Sandrine BlazyUniv Rennes- IRISA, Benjamin GregoireINRIA, Rémi HutinIRISA / ENS Rennes, Vincent LaporteInria, David PichardieUniv Rennes, ENS Rennes, IRISA, Alix TrieuAarhus University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Youngju SongSeoul National University, Minki ChoSeoul National University, Dongjoo KimSeoul National University, Yonghyun KimSeoul National University, South Korea, Jeehoon KangKAIST, Chung-Kil HurSeoul National University Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Timothy BourkeInria / École normale supérieure, Lélio BrunENS/Inria, Marc PouzetÉcole normale supérieure Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
Sat 25 Jan
| 09:00 - 09:30 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Koen JacobsKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Dominique DevrieseVrije Universiteit Brussel Pre-print | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: CoqPL - Invited Talk at Maurepas Chair(s): Robbert KrebbersDelft University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Chantal KellerLRI, Université Paris-Sud File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:05 Day opening | Dominique DevrieseVrije Universiteit Brussel File Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:05 - 10:00 Industry talk | Tyler McMullenFastly Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Arthur Azevedo de AmorimCarnegie Mellon University, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Matthieu SozeauInria Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:30: Principles of Secure Compilation 2020 - Foundations and timing channels at Rosalie Chair(s): Marco VassenaCISPA Helmholtz Center for Information Security | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:54 Talk | Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:54 - 11:18 Talk | Carmine AbateInria Paris, Roberto BlancoInria, Stefan CiobacaAlexandru Ioan Cuza University of Iasi, Deepak GargMax Planck Institute for Software Systems, Cătălin HriţcuInria Paris, Marco PatrignaniStanford University & CISPA , Éric TanterUniversity of Chile, Jérémy ThibaultInria Paris Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:18 - 11:42 Talk | Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:42 - 12:06 Talk | Ken Friis LarsenDIKU, University of Copenhagen, Torben MogensenDIKU, University of Copenhagen, Michael Kirkedal ThomsenDIKU, University of Copenhagen | |||||||||||||||||||||||||||||||||||||||||
| 12:06 - 12:30 Talk | Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes, David PichardieUniv Rennes, ENS Rennes, IRISA Media Attached | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:30: WGT - Programming features at Orleans Chair(s): Giuseppe CastagnaCNRS - Université de Paris, France | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:32 Talk | Kuang-Chen LuIndiana University Bloomington, Jeremy G. SiekIndiana University, USA, Andre KuhlenschmidtIndiana University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:32 - 15:05 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Kathrin StarkSaarland University, Germany | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:05: Principles of Secure Compilation 2020 - New outlooks on secure compilation at Rosalie Chair(s): Cristina CifuentesOracle Labs | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:24 Talk | Jennifer PaykinGalois, Inc., Eric MertensGalois, Inc., Mark TullsenGalois, Inc, Luke MaurerGalois, Inc, Benoit RazetGalois, Inc, Alexander BakstGalois, Inc, Scott MooreGalois, Inc Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:24 - 14:48 Talk | Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:48 - 14:56 Talk | Marco VassenaCISPA Helmholtz Center for Information Security, Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:56 - 15:04 Talk | Tahina RamananandroMicrosoft Research, n.n. Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: WGT - Analysis, verification, blame at Orleans Chair(s): Niki VazouIMDEA Software Institute | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:07 Talk | Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:07 - 16:40 Talk | Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderFacebook, Joshua SunshineCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 16:50 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:20 Talk | Jakub ZalewskiUniversity of Edinburgh, James McKinnaUniversity of Edinburgh, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:45 Day closing | ||||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: Principles of Secure Compilation 2020 - Compartmentalization, memory safety, and isolation at Rosalie Chair(s): Marco PatrignaniStanford University & CISPA , Jonathan ProtzenkoMicrosoft Research, Redmond | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 15:59 Talk | Sean AndersonPortland State University, Andrew TolmachPortland State University, Chris ChhakPortland State University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:59 - 16:23 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:23 - 16:47 Talk | Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Job Noormanimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Jo Van Bulckimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Letterio GallettaIMT School for Advanced Studies, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Jan Tobias Mühlbergimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Frank PiessensKU Leuven Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:47 - 16:57 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:57 - 17:21 Talk | Jay BosamiyaCarnegie Mellon University, Benjamin LimCarnegie Mellon University, Bryan ParnoCarnegie Mellon University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:21 - 17:45 Talk | Marco VassenaCISPA Helmholtz Center for Information Security, Marco PatrignaniStanford University & CISPA Link to publication Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at Maurepas Chair(s): Joseph TassarottiBoston College, Robbert KrebbersDelft University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:05 Talk | Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 16:50 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:35 Demonstration | ||||||||||||||||||||||||||||||||||||||||||
Sun 19 Jan 2020
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Break | 10:00 - 10:30 | 15:05 - 15:35 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Lunch Room | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Maurepas | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 16:35 | 16:50 - 17:50 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| St Jerome | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 20 Jan 2020
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bacchus | 08:30 - 10:00 | 10:30 - 12:00 | 13:30 - 15:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Break | 10:00 - 10:30 | 15:05 - 15:35 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Conde | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Endymion | 09:00 - 10:00 | 10:30 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frontenac | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Lunch Room | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Maurepas | 09:00 - 10:00 | 10:30 - 11:35 | 11:45 - 12:30 | 14:00 - 15:05 | 15:35 - 16:40 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||