Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 13 Jan

beat-2019-papers
08:30 - 10:30: BEAT 2019 - Session 1 at BEAT
beat-2019-papers08:30 - 08:40
Day opening
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PerezUniversity of Groningen, The Netherlands
beat-2019-papers08:40 - 09:30
Talk
Peter ThiemannUniversity of Freiburg, Germany
beat-2019-papers09:30 - 09:50
Talk
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
beat-2019-papers09:50 - 10:10
Talk
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
beat-2019-papers10:10 - 10:30
Talk
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 1 at VMCAI
VMCAI-201909:00 - 10:30
Talk
Sylvie PutotÉcole Polytechnique
prisc-2019
11:00 - 12:30: PriSC 2019 - Session 2 at PriSC
beat-2019-papers
11:00 - 12:30: BEAT 2019 - Session 2 at BEAT
beat-2019-papers11:00 - 11:50
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
beat-2019-papers11:50 - 12:10
Talk
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer Science and Communications Research Unit, University of Luxembourg
beat-2019-papers12:10 - 12:30
Talk
Mauricio CanoUniversity of Groningen, The Netherlands
beat-2019-papers
13:30 - 15:30: BEAT 2019 - Session 3 at BEAT
beat-2019-papers13:30 - 14:20
Talk
Jan HoffmannCarnegie Mellon University
beat-2019-papers14:20 - 15:10
Talk
Rumyana NeykovaImperial College London, UK
beat-2019-papers15:10 - 15:30
Talk
Hans HüttelDepartment of Computer Science, Aalborg University, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian FrancalanzaUniversity of Malta, Mario BravettiUniversità di Bologna
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Program Synthesis at VMCAI
VMCAI-201914:00 - 14:30
Talk
Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland
VMCAI-201914:30 - 15:00
Talk
Grigory FedyukovichPrinceton University, Arie GurfinkelUniversity of Waterloo, Aarti GuptaPrinceton University
VMCAI-201915:00 - 15:30
Talk
Thanh-Toan Nguyen, Quang-Trung TaNational University of Singapore, Wei-Ngan ChinNational University of Singapore
prisc-2019
14:00 - 15:30: PriSC 2019 - Session 3 at PriSC
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Abstract Interpretation (2) at VMCAI
VMCAI-201916:00 - 16:30
Talk
Kimball GermaneUniversity of Utah, Jay McCarthyUniversity of Massachusetts Lowell, Michael D. AdamsUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
VMCAI-201916:30 - 17:00
Talk
Kimball GermaneUniversity of Utah, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
VMCAI-201917:00 - 17:30
Talk
Jens NicolayVrije Universiteit Brussel, Belgium, Quentin StiévenartVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
prisc-2019
16:00 - 17:30: PriSC 2019 - Session 4 at PriSC
beat-2019-papers
16:00 - 18:25: BEAT 2019 - Session 4 at BEAT
beat-2019-papers16:00 - 16:50
Talk
beat-2019-papers16:50 - 17:10
Talk
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
beat-2019-papers17:10 - 17:30
Talk
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PerezUniversity of Groningen, The Netherlands
beat-2019-papers17:30 - 17:40
Break
beat-2019-papers17:40 - 18:00
Talk
Søren DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
beat-2019-papers18:00 - 18:20
Talk
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
beat-2019-papers18:20 - 18:25
Day closing
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PerezUniversity of Groningen, The Netherlands

Mon 14 Jan

POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Engineering Distributed Systems via Protocols and Commitments I at TutorialFest 2
POPL-2019-TutorialFest09:00 - 10:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 2 at VMCAI
VMCAI-201909:00 - 10:30
Talk
Kedar NamjoshiBell Labs, Nokia
CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 1 and Research Paper at CPP
CPP-201909:00 - 10:00
Talk
Amy FeltyUniversity of Ottawa
CPP-201910:00 - 10:30
Research paper
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Linear and Graded Modal Types for Fine-Grained Program Reasoning I at TutorialFest 3
POPL-2019-TutorialFest09:00 - 10:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Programming Cyber-Physical Systems With Logic I at TutorialFest 4
POPL-2019-TutorialFest09:00 - 10:30
Talk
André PlatzerCarnegie Mellon University
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - QuickChick: Property-Based Testing in Coq I at TutorialFest 1
POPL-2019-TutorialFest09:00 - 10:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Decision Procedures at VMCAI
VMCAI-201911:00 - 11:30
Talk
Jochen HoenickeUniversität Freiburg, Tanja SchindlerUniversity of Freiburg
VMCAI-201911:30 - 12:00
Talk
Xiaokang QiuPurdue University, Yanjun Wang
VMCAI-201912:00 - 12:30
Talk
Charlie MurphyPrinceton University, Zachary KincaidPrinceton University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Engineering Distributed Systems via Protocols and Commitments II at TutorialFest 2
POPL-2019-TutorialFest11:00 - 12:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Linear and Graded Modal Types for Fine-Grained Program Reasoning II at TutorialFest 3
POPL-2019-TutorialFest11:00 - 12:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Programming Cyber-Physical Systems With Logic II at TutorialFest 4
POPL-2019-TutorialFest11:00 - 12:30
Talk
André PlatzerCarnegie Mellon University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - QuickChick: Property-Based Testing in Coq II at TutorialFest 1
POPL-2019-TutorialFest11:00 - 12:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Proof Theory, Theory of Programming Languages at CPP
CPP-201911:00 - 11:30
Research paper
Kaustuv ChaudhuriInria, France, Matteo ManighettiInria & École Polytechnique, Dale MilerINRIA Saclay and LIX
CPP-201911:30 - 12:00
Research paper
Yannick ForsterSaarland University, Steven Schäfer, Simon Spies, Kathrin StarkSaarland University, Germany
CPP-201912:00 - 12:30
Research paper
Theo WinterhalterGallinette / Inria / LS2N, Nicolas TabareauInria, Matthieu SozeauInria
pepm-2019-papers
11:00 - 12:30: PEPM 2019 - Session 1 at PEPM
pepm-2019-papers11:00 - 12:00
Talk
Christian HumerOracle Labs, Switzerland
pepm-2019-papers12:00 - 12:30
Talk
Barry JayUniversity of Technology Sydney
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Building Your Own Modular Static Analyser with Infer I at TutorialFest 4
POPL-2019-TutorialFest14:00 - 15:30
Talk
Jules Villard, Ezgi ÇiçekFacebook London, Dino DistefanoFacebook London, Nikos Gorogiannis, Peter O'HearnFacebook
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Correct-by-Construction Programming in Agda I at TutorialFest 1
POPL-2019-TutorialFest14:00 - 15:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Higher-Order Probabilistic Programming I at TutorialFest 3
POPL-2019-TutorialFest14:00 - 15:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
PADL-2019
14:00 - 15:30: PADL 2019 - PADL Session 1 at PADL
PADL-201914:00 - 14:30
Talk
PADL-201914:30 - 15:00
Talk
Joaquin Arias, Manuel CarroIMDEA Software Institute and T.U. of Madrid (UPM)
PADL-201915:00 - 15:30
Talk
Michael HanusKiel University
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Probabilistic Systems at VMCAI
VMCAI-201914:00 - 14:30
Talk
VMCAI-201914:30 - 15:00
Talk
Hongfei FuIST Austria, Krishnendu ChatterjeeIST Austria
VMCAI-201915:00 - 15:30
Talk
Stefan Haar, Juraj KolčákLSV, CNRS & ENS Cachan, University Paris Saclay, Loïc Paulevé
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at CPP
CPP-201914:00 - 14:30
Research paper
Ian RoessleVirginia Tech, USA, Freek VerbeekOpen University of the Netherlands, The Netherlands, Binoy RavindranVirginia Tech
CPP-201914:30 - 15:00
Research paper
Sandrine BlazyUniv Rennes- IRISA, Rémi Hutin
CPP-201915:00 - 15:30
Research paper
Nicolas Koh, Yao LiUniversity of Pennsylvania, Yishuai LiUniversity of Pennsylvania, Li-yao Xia, Lennart BeringerPrinceton University, Wolf Honore, William ManskyUniversity of Illinois at Chicago, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 2 at PEPM
pepm-2019-papers14:00 - 14:30
Talk
Sihan XuNankai University, China, Sen ZhangNankai University, China, Weijing WangNankai University, China, Xinya CaoNankai University, China, Chenkai GuoNankai University, China, Jing XuNankai University, China
pepm-2019-papers14:30 - 15:00
Talk
Keiichi WatanabeUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Hiroki OshikawaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
pepm-2019-papers15:00 - 15:30
Talk
Gabriel RadanneUniversity of Freiburg, Germany
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Session-Typed Concurrent Programming I at TutorialFest 2
POPL-2019-TutorialFest14:00 - 15:30
Talk
Stephanie BalzerCarnegie Mellon University, USA
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Building Your Own Modular Static Analyser with Infer II at TutorialFest 4
POPL-2019-TutorialFest16:00 - 17:30
Talk
Jules Villard, Ezgi ÇiçekFacebook London, Dino DistefanoFacebook London, Nikos Gorogiannis, Peter O'HearnFacebook
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Correct-by-Construction Programming in Agda II at TutorialFest 1
POPL-2019-TutorialFest16:00 - 17:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Higher-Order Probabilistic Programming II at TutorialFest 3
POPL-2019-TutorialFest16:00 - 17:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
PADL-2019
16:00 - 17:30: PADL 2019 - PADL Session 2 at PADL
PADL-201916:00 - 16:30
Talk
PADL-201916:30 - 17:00
Talk
Kristoffer Just Arndal AndersenAarhus University, Ilya SergeyYale-NUS College
PADL-201917:00 - 17:30
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at CPP
CPP-201916:00 - 16:30
Research paper
Robert Y. LewisVrije Universiteit Amsterdam
CPP-201916:30 - 17:00
Research paper
Wenda LiUniversity of Cambridge, Lawrence PaulsonUniversity of Cambridge
CPP-201917:00 - 17:30
Research paper
pepm-2019-papers
16:00 - 17:30: PEPM 2019 - Session 3 at PEPM
pepm-2019-papers16:00 - 17:00
Talk
Jens PalsbergUniversity of California, Los Angeles (UCLA)
pepm-2019-papers17:00 - 17:30
Talk
Ryosuke SatoKyushu University, Japan, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Session-Typed Concurrent Programming II at TutorialFest 2
POPL-2019-TutorialFest16:00 - 17:30
Talk
Stephanie BalzerCarnegie Mellon University, USA

Tue 15 Jan

lafi-2019
09:00 - 10:30: LAFI (né PPS) - Archimedes at LAFI
lafi-201909:00 - 09:10
Talk
lafi-201909:10 - 09:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Naohiko HoshinoKyoto University
lafi-201909:30 - 10:30
Talk
Matthijs VákárUniversity of Oxford
VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 3 at VMCAI
VMCAI-201909:00 - 10:30
Talk
Nuno P. LopesMicrosoft Research
CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 2 and Research Paper at CPP
CPP-201909:00 - 10:00
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam
CPP-201910:00 - 10:30
Research paper
Anders SchlichtkrullTechnical University of Denmark, Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
PLMW-2019-papers
09:00 - 10:30: PLMW@POPL - PLMW Session 1 at PLMW
PLMW-2019-papers09:00 - 09:15
Day opening
PLMW-2019-papers09:15 - 10:00
Talk
Sharon ShohamTel Aviv university
PLMW-2019-papers10:00 - 10:30
Talk
Chung-chieh ShanIndiana University, USA
lafi-2019
11:00 - 12:30: LAFI (né PPS) - Borel at LAFI
lafi-201911:00 - 11:30
Talk
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Michael ThomasIndependent Researcher
lafi-201911:30 - 12:00
Talk
Eli SenneshNortheastern University, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Hao WuNortheastern University, Jan-Willem van de MeentNortheastern University
lafi-201912:00 - 12:30
Talk
PLMW-2019-papers
11:00 - 12:30: PLMW@POPL - PLMW Session 2 at PLMW
PLMW-2019-papers11:00 - 11:30
Talk
PLMW-2019-papers11:30 - 12:30
Talk
Dominic OrchardUniversity of Kent, UK, Jorge A. PerezUniversity of Groningen, The Netherlands, Azalea RaadMPI-SWS, Germany, Max NewNortheastern University, Stephanie BalzerCarnegie Mellon University, USA
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Rewriting, Automated Reasoning at CPP
CPP-201911:00 - 11:30
Research paper
Kathrin StarkSaarland University, Germany, Steven Schäfer, Jonas Kaiser
CPP-201911:30 - 12:00
Research paper
Alexander Lochmann, Christian SternagelUniversity of Innsbruck, Austria
CPP-201912:00 - 12:30
Research paper
pepm-2019-papers
11:00 - 12:30: PEPM 2019 - Session 4 at PEPM
pepm-2019-papers11:00 - 12:00
Talk
pepm-2019-papers12:00 - 12:30
Talk
Kenny Zhuo Ming LuNanyang Polytechnic, Singapore
VMCAI-2019
11:00 - 12:30: VMCAI 2019 - Software Verification and Synthesis at VMCAI
VMCAI-201911:00 - 11:30
Talk
Viorel Preoteasa, Iulia Dragomir, Stavros TripakisAalto University and UC Berkeley
VMCAI-201911:30 - 12:00
Talk
VMCAI-201912:00 - 12:30
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin-Madison
PADL-2019
14:00 - 15:30: PADL 2019 - PADL Session 5 at PADL
PADL-201914:00 - 14:30
Talk
Viktor Palmkvist, David BromanKTH Royal Institute of Technology
PADL-201914:30 - 15:00
Talk
Christopher SchwaabUniversity of St Andrews, Ekaterina KomendantskayaHeriot-Watt University, UK, Alasdair Hill, Frantisek Farka, Ron Petrick, Joe Wells, Kevin HammondUniversity of St. Andrews, UK
PADL-201915:00 - 15:30
Talk
Paul TarauUniversity of North Texas
PLMW-2019-papers
14:00 - 15:30: PLMW@POPL - PLMW Session 3 at PLMW
PLMW-2019-papers14:00 - 14:45
Talk
Frank PfenningCarnegie Mellon University, USA
PLMW-2019-papers14:45 - 15:30
Talk
Michael HicksUniversity of Maryland, College Park
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at CPP
CPP-201914:00 - 14:30
Research paper
CPP-201914:30 - 15:00
Research paper
Véronique BenzakenLRI, Université Paris-Sud, Evelyne Contejean
CPP-201915:00 - 15:30
Research paper
Susannah Mansky, Elsa GunterUniversity of Illinois
pepm-2019-papers
14:00 - 15:30: PEPM 2019 - Session 5 at PEPM
pepm-2019-papers14:00 - 14:30
Talk
Kenichi AsaiOchanomizu University
pepm-2019-papers14:30 - 15:00
Talk
Tamino DauthKarlsruhe University of Applied Sciences, Germany, Martin SulzmannKarlsruhe University of Applied Sciences, Germany
pepm-2019-papers15:00 - 15:30
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
VMCAI-2019
14:00 - 15:30: VMCAI 2019 - Software Verification at VMCAI
VMCAI-201914:00 - 14:30
Talk
Tianhan LuUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Ashutosh Trivedi
VMCAI-201914:30 - 15:00
Talk
Quentin Bouillaguet, François BobotCEA, Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France, Boris YakobowskiCEA - LIST
VMCAI-201915:00 - 15:30
Talk
Anja KarlInstitute of Applied Information Processing and Communications, Graz University of Technology, Robert Schilling, Roderick BloemInstitute of Software Technology, Graz University of Technology , Stefan Mangard
lafi-2019
16:00 - 17:30: LAFI (né PPS) - Dirichlet at LAFI
lafi-201916:00 - 16:30
Talk
Simon Castellan, Hugo PaquetUniversity of Cambridge
lafi-201916:30 - 17:00
Talk
Steven HoltzenUniversity of California, Los Angeles, Joe QianUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles
lafi-201917:00 - 17:30
Talk
Matthew HeimerdingerIndiana University, Chung-chieh ShanIndiana University, USA
VMCAI-2019
16:00 - 17:30: VMCAI 2019 - Networks and Concurrency at VMCAI
VMCAI-201916:00 - 16:30
Talk
Azalea RaadMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
VMCAI-201916:30 - 17:00
Talk
Nuno P. LopesMicrosoft Research, Andrey RybalchenkoMicrosoft Research
VMCAI-201917:00 - 17:30
Talk
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Laurent Fribourg, Romain Soulat, Jean-Marc Mota
PLMW-2019-papers
16:00 - 17:30: PLMW@POPL - PLMW Session 4 at PLMW
PLMW-2019-papers16:00 - 16:30
Talk
Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon, Deepak GargMax Planck Institute for Software Systems, Philippa GardnerImperial College London, Atsushi IgarashiKyoto University, Japan, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
PLMW-2019-papers16:30 - 17:30
Talk
Ilya SergeyYale-NUS College
CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at CPP
CPP-201916:00 - 16:30
Research paper
Yannick ForsterSaarland University, Dominik KirstSaarland University, Gert SmolkaSaarland University
CPP-201916:30 - 17:00
Research paper
Manuel EberlTechnische Universität München
CPP-201917:00 - 17:30
Meeting
Assia MahboubiINRIA, Magnus O. MyreenChalmers University of Technology, Sweden
pepm-2019-papers
16:00 - 17:30: PEPM 2019 - Session 6 at PEPM
pepm-2019-papers16:00 - 17:30
Poster

Wed 16 Jan

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - Welcome & Keynote I at POPL
POPL-2019-Research-Papers09:00 - 09:05
Day opening
Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Stephanie WeirichUniversity of Pennsylvania, USA
POPL-2019-Research-Papers09:05 - 10:05
Talk
Mark HarmanFacebook and University College London
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Concurrency at POPL Track 2
POPL-2019-Research-Papers10:35 - 10:57
Talk
Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-NUS College
DOI Pre-print
POPL-2019-Research-Papers10:57 - 11:19
Talk
POPL-2019-Research-Papers11:19 - 11:41
Talk
Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA, Alexander Bakst, Deian StefanUniversity of California San Diego, Ranjit JhalaUniversity of California, San Diego
POPL-2019-Research-Papers11:41 - 12:03
Talk
Michael EmmiSRI International, Constantin EneaUniversité Paris Diderot
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Reasoning about Probabilistic Programs at POPL Track 1
POPL-2019-Research-Papers10:35 - 10:57
Talk
Tetsuya SatoUniversity at Buffalo, SUNY, USA, Alejandro AguirreIMDEA Software Institute, Spain, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems, Justin HsuUniversity of Wisconsin-Madison, USA
POPL-2019-Research-Papers10:57 - 11:19
Talk
Joseph TassarottiCarnegie Mellon University, Robert Harper
POPL-2019-Research-Papers11:19 - 11:41
Talk
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph Matheja, Thomas NollRWTH Aachen University
POPL-2019-Research-Papers11:41 - 12:03
Talk
Calvin SmithUniversity of Wisconsin - Madison, Justin HsuUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Categories at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
POPL-2019-Research-Papers14:07 - 14:29
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
POPL-2019-Research-Papers14:29 - 14:51
Talk
MelliesCNRS and University Paris Diderot
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Probabilistic Programming and Semantics at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
DOI Pre-print
POPL-2019-Research-Papers14:07 - 14:29
Talk
Matthijs VákárUniversity of Oxford, Ohad KammarUniversity of Oxford, Sam StatonUniversity of Oxford
Pre-print
POPL-2019-Research-Papers14:29 - 14:51
Talk
Feras SaadMassachusetts Institute of Technology, Marco Cusumano-TownerMIT-CSAIL, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, Vikash MansingkhaMIT
Pre-print
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Capabilities and Session Types I at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Lau Skorstengaard, Dominique DevrieseVrije Universiteit Brussel, Belgium, Lars BirkedalAarhus University
POPL-2019-Research-Papers15:43 - 16:05
Talk
Simon CastelanImperial College London, UK, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers16:05 - 16:27
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
Pre-print
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Machine Learning and Linear Algebra at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
POPL-2019-Research-Papers15:43 - 16:05
Talk
POPL-2019-Research-Papers16:05 - 16:27
Talk
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin - Madison, John CyphertUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Quantum Programming at POPL Track 1
POPL-2019-Research-Papers16:37 - 16:59
Talk
Shih-Han HungUniversity of Maryland, Kesha HietalaUniversity of Maryland, Shaopeng ZhuUniversity of Maryland, Mingsheng YingUniversity of Technology Sydney, Michael HicksUniversity of Maryland, College Park, Xiaodi WuUniversity of Oregon, USA
POPL-2019-Research-Papers16:59 - 17:21
Talk
POPL-2019-Research-Papers17:21 - 17:43
Talk
Dominique UnruhUniversity of Tartu
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Session Types II at POPL Track 2
POPL-2019-Research-Papers16:37 - 16:59
Talk
Bernardo ToninhoNOVA-LINCS, FCT/UNL, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers16:59 - 17:21
Talk
David CastroImperial College London, Raymond HuImperial College London, Sung-Shik JongmansOpen University of the Netherlands, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print
POPL-2019-Research-Papers17:21 - 17:43
Talk
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print

Thu 17 Jan

POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Synthesis at POPL Track 2
POPL-2019-Research-Papers09:00 - 09:22
Talk
Nadia PolikarpovaUniversity of California, San Diego, Ilya SergeyYale-NUS College
DOI Pre-print
POPL-2019-Research-Papers09:22 - 09:44
Talk
Kensen ShiStanford University, Jacob SteinhardtStanford University, Percy LiangStanford University
POPL-2019-Research-Papers09:44 - 10:06
Talk
Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Type Abstraction and Effects at POPL Track 1
POPL-2019-Research-Papers09:00 - 09:22
Talk
Yizhou ZhangCornell University, Andrew MyersCornell University
POPL-2019-Research-Papers09:22 - 09:44
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
POPL-2019-Research-Papers09:44 - 10:06
Talk
Karl CraryCarnegie Mellon University
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Gradual Types at POPL Track 1
POPL-2019-Research-Papers10:36 - 10:58
Talk
Matías ToroUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
POPL-2019-Research-Papers10:58 - 11:20
Talk
Max S. NewNortheastern University, Dan LicataWesleyan University, Amal AhmedNortheastern University, USA
POPL-2019-Research-Papers11:20 - 11:42
Talk
Matías ToroUniversity of Chile, Elizabeth LabradaUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
DOI Pre-print
POPL-2019-Research-Papers11:42 - 12:04
Talk
Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago, Matthew HammerUniversity of Colorado, Boulder
Pre-print
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Separation Logic and Memory Semantics at POPL Track 2
POPL-2019-Research-Papers10:36 - 10:58
Talk
Aleš BizjakAarhus University, Daniel Gratzer, Robbert KrebbersDelft University of Technology, Lars BirkedalAarhus University
POPL-2019-Research-Papers10:58 - 11:20
Talk
José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Gabriela SampaioImperial College London, UK, Philippa GardnerImperial College London
POPL-2019-Research-Papers11:20 - 11:42
Talk
Alasdair Armstrong, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidArm Ltd, Kathryn E. GrayUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, Shaked FlurUniversity of Cambridge, Ian StarkThe University of Edinburgh, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
POPL-2019-Research-Papers11:42 - 12:04
Talk
Kayvan MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Brooks DavisSRI International, Stephen KellUniversity of Kent, Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Type Inference I at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Joshua DunfieldQueen's University, Kingston, Ontario, Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
POPL-2019-Research-Papers14:07 - 14:29
Talk
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
POPL-2019-Research-Papers14:29 - 14:51
Talk
Gyunghee ParkKAIST, Oracle Labs, Jaemin HongKAIST, South Korea, Guy L. Steele Jr.Oracle Labs, Sukyoung RyuKAIST, South Korea
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Weak Memory at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Azalea RaadMPI-SWS, Germany, Marko DokoMPI-SWS, Germany, Lovro RožićMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
POPL-2019-Research-Papers14:07 - 14:29
Talk
Anton PodkopaevJetBrains Resereach, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Pre-print
POPL-2019-Research-Papers14:29 - 14:51
Talk
Soham ChakrabortyMax Planck Institute for Software Systems, Viktor VafeiadisMPI-SWS, Germany
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Time at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
Pre-print
POPL-2019-Research-Papers15:43 - 16:05
Talk
Conrad WattUniversity of Cambridge, John RennerUniversity of California, San Diego, Natalie PopescuUniversity of California San Diego, Sunjay CauligiUCSD, Deian StefanUniversity of California San Diego
POPL-2019-Research-Papers16:05 - 16:27
Talk
Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania
POPL-2019-Research-Papers16:27 - 16:49
Talk
Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Type Inference II at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
Yusuke MiyazakiKyoto University, Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
POPL-2019-Research-Papers15:43 - 16:05
Talk
Giuseppe CastagnaCNRS, France / University of Paris Diderot, France, Victor LanvinENS Cachan, France, Tommaso PetruccianiDIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France, Jeremy G. SiekIndiana University, USA
POPL-2019-Research-Papers16:05 - 16:27
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Marc De VismeENS Lyon, Damiano MazzaCNRS, Akira YoshimizuINRIA
POPL-2019-Research-Papers16:27 - 16:49
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
POPL-2019-Research-Papers
17:00 - 18:00: Research Papers - Business Meeting at POPL
POPL-2019-Research-Papers17:00 - 17:15
Other
Stephanie WeirichUniversity of Pennsylvania, USA
POPL-2019-Research-Papers17:15 - 17:25
Awards
POPL-2019-Research-Papers17:25 - 17:30
Other
Brigitte PientkaMcGill University, Lars BirkedalAarhus University
POPL-2019-Research-Papers17:30 - 17:40
Other
Rance CleavelandUniversity of Maryland
POPL-2019-Research-Papers17:40 - 17:50
Other
Benjamin C. PierceUniversity of Pennsylvania
POPL-2019-Research-Papers17:50 - 18:00
Meeting

Fri 18 Jan

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - SRC Announcement & Keynote II at POPL
POPL-2019-Student-Research-Competition09:00 - 09:05
Awards
POPL-2019-Research-Papers09:05 - 10:05
Talk
Brigitte PientkaMcGill University
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Abstract Interpretation at POPL Track 2
POPL-2019-Research-Papers10:35 - 10:57
Talk
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
POPL-2019-Research-Papers10:57 - 11:19
Talk
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
POPL-2019-Research-Papers11:19 - 11:41
Talk
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
DOI Pre-print
POPL-2019-Research-Papers11:41 - 12:03
Talk
John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Dependent Types at POPL Track 1
POPL-2019-Research-Papers10:35 - 10:57
Talk
Evan CavalloCarnegie Mellon University, Robert Harper
POPL-2019-Research-Papers10:57 - 11:19
Talk
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham, András KovácsEötvös Loránd University
POPL-2019-Research-Papers11:19 - 11:41
Talk
Gaetan Gilbert, Jesper CockxChalmers | University of Gothenburg, Matthieu SozeauInria, Nicolas TabareauInria
POPL-2019-Research-Papers11:41 - 12:03
Talk
Rasmus Ejlers MøgelbergIT University of Copenhagen, Niccolò VeltriIT University of Copenhagen
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Model Checking at POPL Track 2
POPL-2019-Research-Papers13:45 - 14:07
Talk
Taolue ChenBirkbeck, University of London, Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Philipp RuemmerUppsala University, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
POPL-2019-Research-Papers14:07 - 14:29
Talk
Kyungmin BaePohang University of Science and Technology (POSTECH), Jia LeePohang University of Science and Technology (POSTECH)
POPL-2019-Research-Papers14:29 - 14:51
Talk
Luca AcetoReykjavik University, Antonis AchilleosReykjavik University, Adrian FrancalanzaUniversity of Malta, Anna IngolfsdottirReykjavik University, Karoliina LehtinenUniversity of Kiel and University of Liverpool
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Semantics at POPL Track 1
POPL-2019-Research-Papers13:45 - 14:07
Talk
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
DOI
POPL-2019-Research-Papers14:07 - 14:29
Talk
Filippo BonchiUniversity of Pisa, Joshua HollandUniversity of Southampton, Robin PiedeleuUniversity of Oxford, Pawel SobocinskiUniversity of Southampton, Fabio ZanasiUniversity College London
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paolo Baldan, Barbara KoenigUniversity of Duisburg-Essen, Christina Mika-MichalskiUniversity of Duisburg-Essen, Tommaso PadoanUniversity of Padova
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Program Analysis I at POPL Track 2
POPL-2019-Research-Papers15:21 - 15:43
Talk
Umang MathurUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Pre-print
POPL-2019-Research-Papers15:43 - 16:05
Talk
Oana-Fabiana AndreescuInternet of Trust, Thomas P. JensenINRIA Rennes, Stéphane LescuyerProve & Run, Benoît MontaguProve & Run
POPL-2019-Research-Papers16:05 - 16:27
Talk
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Security and Information Flow at POPL Track 1
POPL-2019-Research-Papers15:21 - 15:43
Talk
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
POPL-2019-Research-Papers15:43 - 16:05
Talk
Marco VassenaChalmers University of Technology, Alejandro RussoChalmers University of Technology, Sweden, Deepak GargMax Planck Institute for Software Systems, Vineet RajaniMPI-SWS, Deian StefanUniversity of California San Diego
POPL-2019-Research-Papers16:05 - 16:27
Talk
G. A. KavvosWesleyan University
DOI Pre-print
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Program Analysis II at POPL Track 2
POPL-2019-Research-Papers16:37 - 16:59
Talk
Xin YiNational University of Defense Technology, Liqian ChenNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology, Tao JiNational University of Defense Technology
POPL-2019-Research-Papers16:59 - 17:21
Talk
Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria, Nastaran OkatiFerdowsi University of Mashhad, Andreas PavlogiannisEPFL, Switzerland
POPL-2019-Research-Papers17:21 - 17:43
Talk
Valentin TouzeauUniv. Grenoble Alpes, Claire MaizaVerimag, France, David MonniauxCNRS, VERIMAG, Jan ReinekeSaarland University
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Verified Compilation and Concurrency at POPL Track 1
POPL-2019-Research-Papers16:37 - 16:59
Talk
Spencer P. FlorenceNorthwestern University, USA, Shu-Hung YouNorthwestern University, USA, Jesse A. TovNorthwestern University, Department of Electrical Engineering and Computer Science, Robby FindlerNorthwestern University, USA
POPL-2019-Research-Papers16:59 - 17:21
Talk
Yuting WangYale University, Pierre WilkeYale University, Zhong ShaoYale University
POPL-2019-Research-Papers17:21 - 17:43
Talk
Aymeric FromherzCarnegie Mellon University, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research

Sat 19 Jan

CoqPL-2019
09:00 - 10:30: CoqPL - Keynote & Contributed talks 1 at CoqPL
CoqPL-201909:00 - 09:05
Day opening
CoqPL-201909:05 - 10:05
Talk
CoqPL-201910:05 - 10:30
Talk
Sam GruetterMassachusetts Institute of Technology
File Attached
CoqPL-2019
11:15 - 12:30: CoqPL - Contributed talks 2 at CoqPL
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-201911:15 - 11:40
Talk
Kiran GopinathanUniversity College London, Ilya SergeyYale-NUS College
File Attached
CoqPL-201911:40 - 12:05
Talk
Karl PalmskogUniversity of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
File Attached
CoqPL-201912:05 - 12:30
Talk
File Attached
CoqPL-2019
14:00 - 15:30: CoqPL - Contributed talks 3 & Coq developers at CoqPL
CoqPL-201914:00 - 14:25
Talk
Vadim ZalivaCarnegie Mellon University, USA, Matthieu SozeauInria
File Attached
CoqPL-201914:25 - 14:50
Talk
Paolo TorriniSwansea University
File Attached
CoqPL-201914:50 - 15:30
Demonstration

Sun 13 Jan 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
BEAT
08:30 - 10:30
11:00 - 12:30
13:30 - 15:30
16:00 - 18:25
PriSC
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
VMCAI
09:00 - 10:30

Mon 14 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CPP
OPCT
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
PADL
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
PEPM
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
TutorialFest 1
TutorialFest 2
TutorialFest 3
TutorialFest 4
VMCAI
09:00 - 10:30
16:00 - 17:30

Tue 15 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CPP
LAFI
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
OPCT
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
PADL
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
PEPM
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
PLMW
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
VMCAI
09:00 - 10:30

Sat 19 Jan 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CoqPL
OBT

Sun 13 Jan 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
BEAT
08:30 - 08:40
17:30 - 17:40
18:20 - 18:25
PriSC
VMCAI

Mon 14 Jan 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
CPP
PADL
PEPM
TutorialFest 1
TutorialFest 2
TutorialFest 3
TutorialFest 4
VMCAI

Tue 15 Jan 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
CPP
11:30 - 12:00
17:00 - 17:30
LAFI
PADL
PEPM
PLMW
09:00 - 09:15
VMCAI

Wed 16 Jan 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
POPL
POPL Track 1
POPL Track 2