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. | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Peter SelingerDalhousie University | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Moshe VardiRice University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Bettina HeimMicrosoft | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Fred ChongUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
| 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 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 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 | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Robbert KrebbersDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 - 11:00 Research paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Research paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Research paper | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Research paper | ||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 12:30 Tutorial | Nadia PolikarpovaUniversity of California, San Diego Link to publication | |||||||||||||||||||||||||||||||||||||||||
| 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. Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:05 Tutorial | Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven Link to publication | |||||||||||||||||||||||||||||||||||||||||
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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Linh TranNational University of Singapore, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 17:35 Tutorial | Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven Link to publication | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:12 - 17:34 Talk | Fredrik Nordvall ForsbergUniversity of Strathclyde, Chuangjie XuLudwig-Maximilians-Universität München, Neil GhaniUniversity of Strathclyde Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:34 - 17:56 Talk | 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | ||||||||||||||||||||||||||||||||||||||||||
| 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 | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Tomás DíazIMFD Chile, Federico OlmedoUniversity of Chile & IMFD Chile, Éric TanterUniversity of Chile Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:50 Talk | Marco GaboardiBoston University | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Xavier LeroyCollège de France | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Denis FirsovGuardtime AS, Ahto BuldasTallinn University of Technology, Ahto TruuGuardtime AS, Risto LaanojaGuardtime AS Pre-print | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 16:50 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:35 Talk | Isil DilligUniversity of Texas Austin | |||||||||||||||||||||||||||||||||||||||||
| 15:35 - 16:05 Talk | Alexander BagnallOhio University, Gordon StewartOhio University, Anindya BanerjeeIMDEA Software Institute | |||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:35 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 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 Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Abhishek Kr SinghTata Institute of Fundamental Research Mumbai, Raja NatarajanTata Institute of Fundamental Research Mumbai Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | G. A. KavvosWesleyan University, Edward MorehouseWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Martin Adam Thomas HandleyUniversity of Nottingham, Niki VazouIMDEA Software Institute, Graham HuttonUniversity of Nottingham, UK Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Max NewNortheastern University, Dustin JamnerNortheastern University, USA, Amal AhmedNortheastern University, USA Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 10:51 - 11:13 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Guilhem JaberLS2N, Université de Nantes Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Ryan BeckettMicrosoft Research, Aarti GuptaPrinceton University, Ratul MahajanUniversity of Washington, Intentionet, David WalkerPrinceton University Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:43 - 15:05 Talk | Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Feras SaadMassachusetts Institute of Technology, Cameron FreerMassachusetts Institute of Technology, Martin RinardMIT, Vikash MansinghkaMIT Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:18 Talk | Kenji MaillardInria Paris and ENS Paris, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Antoine Van MuylderInria Paris and Paris 7 Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Peter O'HearnFacebook Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 11:13 - 11:35 Talk | Li-yao Xia, 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:43 Talk | Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 16:18 - 16:40 Talk | Matthieu SozeauInria, Simon BoulierInria, Yannick ForsterSaarland University, Nicolas TabareauInria, Théo WinterhalterInria — LS2N Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
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 Talk | Chantal KellerLRI, Université Paris-Sud | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Industry talk | Tyler McMullenFastly | |||||||||||||||||||||||||||||||||||||||||
| 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 File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Matthieu SozeauInria 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 | ||||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 11:18 - 11:42 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Michael GreenbergPomona College, Stefan MalewskiUniversity of Santiago de Chile, Éric TanterUniversity of Chile Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 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:21 Talk | Jennifer PaykinGalois, Inc., Eric MertensGalois, Inc., Mark TullsenGalois, Inc, Luke MaurerGalois, Inc, Benoit RazetGalois, Inc, Alexander BakstGalois, Inc, Scott MooreGalois, Inc | |||||||||||||||||||||||||||||||||||||||||
| 14:24 - 14:48 Talk | Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University | |||||||||||||||||||||||||||||||||||||||||
| 14:48 - 15:05 Other | ||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||
| 15:59 - 16:23 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 16:47 - 16:57 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:57 - 17:21 Talk | Jay BosamiyaCarnegie Mellon University, Benjamin LimCarnegie Mellon University, Bryan ParnoCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 17:21 - 17:45 Talk | Marco VassenaCISPA Helmholtz Center for Information Security, Marco PatrignaniStanford University & CISPA | |||||||||||||||||||||||||||||||||||||||||
| 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 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 | 16:50 - 17:56 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| St Jerome | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 21 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Frontenac | 10:30 - 12:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Ile de France III (IDF III) | 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 | 16:50 - 17:56 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Orpheus | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| St Jerome | 09:00 - 10:00 | 10:30 - 12:30 | 14:00 - 15:05 | 15:35 - 17:45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 22 Jan 2020
| Room | 7:00 | 30 | 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 | 18:00 | 30 | 19:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Break | 10:00 - 10:30 | 15:05 - 15:35 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Endymion | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Ile de France II (IDF II) | 08:45 - 09:00 | 09:00 - 10:00 | 10:30 - 11:35 | 14:00 - 15:05 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Ile de France III (IDF III) | 10:30 - 11:35 | 11:45 - 12:30 | 14:00 - 15:05 | 15:35 - 16:40 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Lunch Room | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Thu 23 Jan 2020
| Room | 7:00 | 30 | 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 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Break | 10:00 - 10:30 | 15:05 - 15:35 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||