‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal

Display in different time zone

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.
Apply
Close
‹Programming› 2020 (series) /

‹Programming› 2020 Program

Filter
Conference Dates
Conference Dates are in time zone (GMT+01:00) Greenwich Mean Time : Belfast, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 23 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

programming-2020-Organizational
08:00 - 17:00: - Registration at ​Registration (Lobby)
programming-2020-Organizational08:00 - 17:00
Registration
icw-2020-papers
09:00 - 10:30: ICW - No session (workshop starts after lunch) at W2
px-2020-papers
09:00 - 10:30: PX/20 - PX/20 #1 at W1
proweb-2020-papers
09:00 - 10:30: ProWeb 2020 - ProWeb 2020 #1 at W3
Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI)
proweb-2020-papers09:00 - 09:05
Day opening
proweb-2020-papers09:05 - 10:00
Talk
Saba AlimadadiSimon Fraser University
proweb-2020-papers10:00 - 10:30
Talk
Adam Granicz, Jozsef Uri, Andras Janko
cocodo-2020
09:00 - 10:30: CoCoDo 2020 - Session the First at W4
Chair(s): Johan FabryRaincode Labs, Belgium
cocodo-202009:00 - 10:30
Demonstration
Walter Cazzola Università degli Studi di Milano
programming-2020-catering
10:30 - 11:00: Catering - Break at ​Break-Space
programming-2020-catering10:30 - 11:00
Coffee break
icw-2020-papers
11:00 - 12:30: ICW - No session (workshop starts after lunch) at W2
px-2020-papers
11:00 - 12:30: PX/20 - PX/20 #2 at W1
proweb-2020-papers
11:00 - 12:30: ProWeb 2020 - ProWeb 2020 #2 at W3
proweb-2020-papers11:00 - 11:30
Talk
Danny GroenewegenDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
proweb-2020-papers11:30 - 12:00
Talk
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
proweb-2020-papers12:00 - 12:30
Talk
Frank EmrichThe University of Edinburgh, Daniel HillerströmThe University of Edinburgh
cocodo-2020
11:00 - 12:30: CoCoDo 2020 - Session the Second at W4
Chair(s): Johan FabryRaincode Labs, Belgium
cocodo-202011:00 - 12:30
Demonstration
Jeff SmitsDelft University of Technology
programming-2020-catering
12:30 - 14:00: Catering - Lunch at ​Break-Space
programming-2020-catering12:30 - 14:00
Lunch
icw-2020-papers
14:00 - 15:30: ICW - ICW 2020 #1 at W2
Chair(s): Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
icw-2020-papers14:00 - 14:05
Day opening
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
icw-2020-papers14:05 - 14:25
Talk
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
icw-2020-papers14:30 - 15:00
Short-paper
Alexander RieseHasso Plattner Institute, University of Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
icw-2020-papers15:00 - 15:30
Short-paper
Andreas SchreiberGerman Aerospace Center
programming-2020-tutorials
14:00 - 15:30: Tutorials - Meta-Programming I at T1
programming-2020-tutorials14:00 - 15:30
Tutorial
Sudipta MukherjeeRaincode Labs
px-2020-papers
14:00 - 15:30: PX/20 - PX/20 #3 at W1
proweb-2020-papers
14:00 - 15:30: ProWeb 2020 - ProWeb 2020 #3 at W3
Chair(s): Simon FowlerThe University of Edinburgh
proweb-2020-papers14:00 - 14:55
Talk
Guido SalvaneschiTechnische Universität Darmstadt
proweb-2020-papers14:55 - 15:25
Talk
Seyed Hossein HaeriUniversité Catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
proweb-2020-papers15:25 - 15:30
Day closing
cocodo-2020
14:00 - 15:30: CoCoDo 2020 - Session the Third at W4
Chair(s): Johan FabryRaincode Labs, Belgium
cocodo-202014:00 - 15:30
Demonstration
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
programming-2020-catering
15:30 - 16:00: Catering - Break at ​Break-Space
programming-2020-catering15:30 - 16:00
Coffee break
icw-2020-papers
16:00 - 17:30: ICW - ICW 2020 #2 at W2
Chair(s): Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo
icw-2020-papers16:00 - 16:30
Short-paper
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
icw-2020-papers16:30 - 17:00
Other
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
icw-2020-papers17:00 - 17:30
Day closing
Oleks ShturmovUniversity of Oslo, Eric JulUniversity of Oslo
programming-2020-tutorials
16:00 - 17:30: Tutorials - Meta-Programming II at T1
programming-2020-tutorials16:00 - 17:30
Tutorial
Sudipta MukherjeeRaincode Labs
px-2020-papers
16:00 - 17:30: PX/20 - PX/20 #4 at W1
proweb-2020-papers
16:00 - 17:30: ProWeb 2020 - ProWeb 2020 #4 at W3
cocodo-2020
16:00 - 17:30: CoCoDo 2020 - Session the Fourth at W4
Chair(s): Johan FabryRaincode Labs, Belgium
cocodo-202016:00 - 17:30
Demonstration
Marcus Denker INRIA Lille

Tue 24 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

programming-2020-Organizational
08:30 - 17:00: - Registration at ​Registration (Lobby)
MoreVMs-2020-papers
08:50 - 10:30: MoreVMs'20 - Java HotSpot VM at W1
Chair(s): Fabio NiephausHasso Plattner Institute, University of Potsdam
MoreVMs-2020-papers08:50 - 09:00
Day opening
Edd BarrettKing's College London, Fabio NiephausHasso Plattner Institute, University of Potsdam
MoreVMs-2020-papers09:00 - 10:00
Talk
Roman KennkeRed Hat, Inc.
MoreVMs-2020-papers10:00 - 10:30
Talk
Ting WangIBM, Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Hao Chen GuiIBM, Xiao Ping GuoIBM, Yang LiuIBM
nip-2020-papers
09:00 - 10:30: NIP'20 - Collaboration and User Studies at W4
nip-2020-papers09:00 - 09:05
Day opening
Alexandre BergelUniversity of Chile, Leonel MerinoUniversity of Stuttgart
nip-2020-papers09:05 - 10:00
Talk
Rainer KoschkeUniversity of Bremen
nip-2020-papers10:00 - 10:30
Full-paper
Alejandra Cossio ChavalierUniversidad Católica Boliviana - "San Pablo", Cochabamba, Juan Pablo Sandoval AlcocerUniversidad Catolica Boliviana San Pablo, Alexandre BergelUniversity of Chile
Mini-PLoP-2020
09:00 - 10:30: MiniPLoP 2020 - MiniPLoP #1 at W5
eniac-2020-papers
09:00 - 10:30: ENIAC20 - Opening and Keynote at W3
eniac-2020-papers09:00 - 09:10
Talk
Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
eniac-2020-papers09:10 - 10:10
Talk
eniac-2020-papers10:10 - 10:30
Talk
programming-2020-catering
10:30 - 11:00: Catering - Break at ​Break-Space
programming-2020-catering10:30 - 11:00
Coffee break
eniac-2020-papers
11:00 - 12:30: ENIAC20 - ENIAC Session at W3
Chair(s): Coen De RooverVrije Universiteit Brussel
eniac-2020-papers11:00 - 11:30
Talk
Lars ReimannUniversity of Bonn, Günter Kniesel-WünscheUniversity of Bonn
eniac-2020-papers11:30 - 12:00
Talk
Toni MattisHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
eniac-2020-papers12:00 - 12:30
Talk
Luis CruzDeflt University of Technology, Petra HeckFontys ICT
Mini-PLoP-2020
11:00 - 12:30: MiniPLoP 2020 - MiniPLoP #2 at W5
MoreVMs-2020-papers
11:00 - 12:30: MoreVMs'20 - Runtime Systems and Performance Analysis at W1
MoreVMs-2020-papers11:00 - 11:20
Talk
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederOracle Labs, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
MoreVMs-2020-papers11:20 - 11:50
Talk
Eduardo RosalesUniversity of Lugano, Switzerland, Andrea RosàUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
MoreVMs-2020-papers11:50 - 12:10
Talk
Stefan MarrUniversity of Kent
MoreVMs-2020-papers12:10 - 12:30
Talk
Oleks ShturmovUniversity of Oslo
nip-2020-papers
11:00 - 12:30: NIP'20 - Virtual Reality and Livecoding at W4
nip-2020-papers11:00 - 11:30
Full-paper
Renata Castelo-Branco, António Menezes LeitãoTechnical University of Lisbon, Portugal, Catarina BrásINESC-ID / Instituto Superior Técnico, Universidade de Lisboa
nip-2020-papers11:30 - 11:50
Short-paper
Elke Franziska HeidmannDLR, Annika MeineckeDLR, Lynn von KurnatowskiGerman Aerospace Center, Andreas SchreiberGerman Aerospace Center
nip-2020-papers11:50 - 12:20
Talk
Ashlae BlumeRecurse Center & Brooklyn College
programming-2020-catering
12:30 - 14:00: Catering - Lunch at ​Break-Space
programming-2020-catering12:30 - 14:00
Lunch
nip-2020-papers
14:00 - 15:30: NIP'20 - Augmented Reality at W4
nip-2020-papers14:00 - 14:30
Full-paper
Nitish PatkarUniversity of Bern, Leonel MerinoUniversity of Stuttgart, Oscar NierstraszUniversity of Bern, Switzerland
nip-2020-papers14:30 - 14:50
Short-paper
Ingo BörstingUniversity of Duisburg-Essen, Volker GruhnUniversity Duisburg-Essen
eniac-2020-papers
14:00 - 15:30: ENIAC20 - ENIAC #3 at W3
MoreVMs-2020-papers
14:00 - 15:30: MoreVMs'20 - For a Faster Web at W1
MoreVMs-2020-papers14:00 - 15:00
Talk
Leszek Swirski
MoreVMs-2020-papers15:00 - 15:30
Talk
Javier Cabrera ArteagaKTH Royal Institute of Technology, Shrinish DondeKTH Royal Institute of Technology, Jian GuKTH Royal Institute of Technology, Orestis FlorosKTH Royal Institute of Technology, Lucas SatabinMobimeo GmbH, Benoit BaudryKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology
Pre-print
Mini-PLoP-2020
14:00 - 15:30: MiniPLoP 2020 - MiniPLoP #3 at W5
programming-2020-tutorials
14:00 - 15:30: Tutorials - PharoIoT I at T1
programming-2020-tutorials14:00 - 15:30
Tutorial
Marcus Denker INRIA Lille, Steven Costiou INRIA Lille, Allex Oliveira INRIA Lille
programming-2020-catering
15:30 - 16:00: Catering - Break at ​Break-Space
programming-2020-catering15:30 - 16:00
Coffee break
MoreVMs-2020-papers
16:00 - 17:30: MoreVMs'20 - Dynamic Runtime Optimizations at W1
MoreVMs-2020-papers16:00 - 16:30
Talk
Juan FumeroUniversity of Manchester, UK, Athanasios StratikopoulosThe University of Manchester, Christos KotselidisKTM Innovation / The University of Manchester
Pre-print
MoreVMs-2020-papers16:30 - 17:00
Talk
Johannes HenningHasso Plattner Institute, Tim FelgentreffOracle Labs, Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
MoreVMs-2020-papers17:00 - 17:30
Talk
Filippo SchiavioUniversità della Svizzera italiana, Daniele BonettaOracle Labs, Walter BinderUniversity of Lugano, Switzerland
eniac-2020-papers
16:00 - 17:30: ENIAC20 - ENIAC #4 at W3
Mini-PLoP-2020
16:00 - 17:30: MiniPLoP 2020 - MiniPLoP #4 at W5
nip-2020-papers
16:00 - 17:30: NIP'20 - NIP'20 #4 at W4
programming-2020-tutorials
16:00 - 17:30: Tutorials - PharoIoT II at T1
programming-2020-tutorials16:00 - 17:30
Tutorial
Marcus Denker INRIA Lille, Steven Costiou INRIA Lille, Allex Oliveira INRIA Lille
MoreVMs-2020-papers
19:00 - 20:00: MoreVMs'20 - Dinner (to be planned during the workshop)
MoreVMs-2020-papers19:00 - 20:00
Dinner
Fabio NiephausHasso Plattner Institute, University of Potsdam

Wed 25 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

programming-2020-Organizational
08:30 - 17:00: - Registration at ​Registration (Lobby)
programming-2020-Keynotes
09:30 - 10:30: Keynotes - < Opening Keynote at Auditorium
programming-2020-Keynotes09:30 - 10:30
Talk
Guy L. Steele Jr.Oracle Labs
programming-2020-catering
10:30 - 11:00: Catering - Break at ​Break-Space
programming-2020-catering10:30 - 11:00
Coffee break
programming-2020-tutorials
11:00 - 12:30: Tutorials - Haskell I at T1
programming-2020-tutorials11:00 - 12:30
Tutorial
Christophe ScholliersUniversiteit Gent, Belgium
programming-2020-papers
11:00 - 12:30: Research Papers - Reflecting on Programming at Auditorium
programming-2020-papers11:00 - 11:30
Research paper
Daniel SpeicherBonn-Aachen International Center for Information Technology, B-IT
Link to publication DOI Pre-print
programming-2020-papers11:30 - 12:00
Research paper
Greg MichaelsonHeriot-Watt University
Link to publication DOI Pre-print
programming-2020-papers12:00 - 12:30
Research paper
Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
Link to publication DOI Pre-print
programming-2020-catering
12:30 - 14:00: Catering - Lunch at ​Break-Space
programming-2020-catering12:30 - 14:00
Lunch
programming-2020-tutorials
14:00 - 15:30: Tutorials - Bela I at T2
programming-2020-tutorials14:00 - 15:30
Tutorial
Adan L. Benito Temprano, Jack ArmitageQueen Mary University London
programming-2020-papers
14:00 - 15:30: Research Papers - Engineering Correctness at Auditorium
programming-2020-papers14:00 - 14:30
Research paper
Toni MattisHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
programming-2020-papers14:30 - 15:00
Research paper
João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa, Paulo FerreiraOutSystems SA, Hugo LourençoOutSystems SA, Carla FerreiraUniversidade Nova Lisboa, Lucio FerraoOutSystems
Link to publication DOI Pre-print
programming-2020-papers15:00 - 15:30
Research paper
Gene CoopermanNortheastern University, Martin QuinsonÉcole Normale Supérieure Rennes
Link to publication DOI Pre-print
programming-2020-tutorials
14:00 - 15:30: Tutorials - Haskell II at T1
programming-2020-tutorials14:00 - 15:30
Tutorial
Christophe ScholliersUniversiteit Gent, Belgium
programming-2020-catering
15:30 - 16:00: Catering - Break at ​Break-Space
programming-2020-catering15:30 - 16:00
Coffee break
programming-2020-tutorials
16:00 - 17:30: Tutorials - Bela II at T2
programming-2020-tutorials16:00 - 17:30
Tutorial
Adan L. Benito Temprano, Jack ArmitageQueen Mary University London
programming-2020-tutorials
16:00 - 17:30: Tutorials - Haskell III at T1
programming-2020-tutorials16:00 - 17:30
Tutorial
Christophe ScholliersUniversiteit Gent, Belgium
programming-2020-papers
16:00 - 17:30: Research Papers - Thinking about Data at Auditorium
Chair(s): Jonathan Edwards
programming-2020-papers16:00 - 16:30
Research paper
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
Link to publication DOI Pre-print
programming-2020-papers16:30 - 17:00
Research paper
Ezra ZigmondHarvard University, Stephen ChongHarvard University, Christos DimoulasPLT @ Northwestern University, Scott MooreGalois, Inc
Link to publication DOI Pre-print
programming-2020-papers17:00 - 17:30
Research paper
Tomas PetricekUniversity of Kent
Link to publication DOI Pre-print

Thu 26 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

programming-2020-Organizational
08:30 - 17:00: - Registration at ​Registration (Lobby)
programming-2020-tutorials
09:00 - 10:30: Tutorials - AntidoteDB I at T2
programming-2020-tutorials09:00 - 10:30
Tutorial
Annette BieniusaTechnische Universität Kaiserslautern, Nuno Preguica
Link to publication Pre-print
programming-2020-tutorials
09:00 - 10:30: Tutorials - Sonic Pi I at T1
programming-2020-tutorials09:00 - 10:30
Tutorial
Miguel CarvalhaisFaculdade de Belas Artes e Universidade do Porto - INESC-TEC, Luis Henrique ArandasFaculdade de Engenharia e Universidade do Porto, Francisca Rocha GonçalvesFaculdade de Engenharia e Universidade do Porto - INESC-TEC
programming-2020-Keynotes
09:30 - 10:30: Keynotes - Closing Keynote > at Auditorium
programming-2020-Keynotes09:30 - 10:30
Talk
Richard P. GabrielDream Songs, Inc. & HPI
programming-2020-catering
10:30 - 11:00: Catering - Break at ​Break-Space
programming-2020-catering10:30 - 11:00
Coffee break
programming-2020-tutorials
11:00 - 12:30: Tutorials - AntidoteDB II at T2
programming-2020-tutorials11:00 - 12:30
Tutorial
Annette BieniusaTechnische Universität Kaiserslautern, Nuno Preguica
Link to publication Pre-print
programming-2020-papers
11:00 - 12:30: Research Papers - Machines Thinking about Programs at Auditorium
Chair(s): Coen De RooverVrije Universiteit Brussel
programming-2020-papers11:00 - 11:30
Research paper
Hongki LeeKorea Advanced Institute of Science and Technology, Changhee ParkKAIST, Sukyoung RyuKAIST
Link to publication DOI Pre-print
programming-2020-papers11:30 - 12:00
Research paper
Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
programming-2020-papers12:00 - 12:30
Research paper
Johannes MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print
programming-2020-tutorials
11:00 - 12:30: Tutorials - Sonic Pi II at T1
programming-2020-tutorials11:00 - 12:30
Tutorial
Miguel CarvalhaisFaculdade de Belas Artes e Universidade do Porto - INESC-TEC, Luis Henrique ArandasFaculdade de Engenharia e Universidade do Porto, Francisca Rocha GonçalvesFaculdade de Engenharia e Universidade do Porto - INESC-TEC
programming-2020-catering
12:30 - 14:00: Catering - Lunch at ​Break-Space
programming-2020-catering12:30 - 14:00
Lunch
programming-2020-papers
14:00 - 15:30: Research Papers - Thinking Concurrently at Auditorium
Chair(s): Matthew FlattUniversity of Utah
programming-2020-papers14:00 - 14:30
Research paper
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication DOI Pre-print
programming-2020-papers14:30 - 15:00
Research paper
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print
programming-2020-papers15:00 - 15:30
Research paper
Bob ReyndersChonnam National University, Frank PiessensKU Leuven, Dominique DevrieseVrije Universiteit Brussel
Link to publication DOI Pre-print
programming-2020-catering
15:30 - 16:00: Catering - Break at ​Break-Space
programming-2020-catering15:30 - 16:00
Coffee break
programming-2020-papers
16:00 - 17:30: Research Papers - Programming with Style at Auditorium
programming-2020-papers16:00 - 16:30
Research paper
Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaThe University of Tokyo
Link to publication DOI Pre-print
programming-2020-papers16:30 - 17:00
Research paper
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi NishiwakiThe University of Tokyo
Link to publication DOI Pre-print

Mon 4 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
17:00 - 18:00: Salon 2020 - Salon Mon May 4, 5-6 pm London
salon-2020-papers17:00 - 18:00
Talk
Joel JakubovicUniversity of Kent

Tue 5 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
16:00 - 18:00: Salon 2020 - Salon Tue May 5, 4-6 pm London
salon-2020-papers16:00 - 17:00
Talk
Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Keisuke ShimakageOTON GLASS, Inc.
salon-2020-papers17:00 - 18:00
Talk
Geoffrey LittMassachusetts Institute of Technology, Daniel JacksonMIT
Pre-print

Wed 6 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
17:00 - 18:00: Salon 2020 - Salon Wed May 6, 5-6 pm London
salon-2020-papers17:00 - 18:00
Talk
Marcel WeiherHasso-Plattner-Institut (HPI), Germany
Pre-print

Thu 7 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
16:00 - 21:00: Salon 2020 - Thu May 7, 4-9 pm London
salon-2020-papers16:00 - 17:00
Talk
Antranig BasmanRaising the Floor - International, Philip TchernavskijInclusive Design Research Centre / OCAD University
salon-2020-papers17:00 - 18:00
Talk
Stephen KellUniversity of Kent
salon-2020-papers18:00 - 19:00
Break
salon-2020-papers19:00 - 20:00
Break
salon-2020-papers20:00 - 21:00
Talk
Kartik Agaramakkartik.name
Pre-print

Fri 8 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
17:00 - 18:00: Salon 2020 - Fri May 8, 5-6 pm London
salon-2020-papers17:00 - 18:00
Talk
Jim HollanUCSD, Amy FoxUCSD, Philip GuoUCSD, Clemens Nylandsted KlokmoseAarhus University, Arvind SatyanarayanMIT, Haijun XiaUCSD

Sat 9 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

salon-2020-papers
16:00 - 17:30: Salon 2020 - Sat May 9, 4-5:30 pm London
salon-2020-papers16:00 - 16:45
Talk
Max Krieger
salon-2020-papers16:45 - 17:30
Talk
Jonathan SkjøttTakram

Mon 23 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
T1

‹Programming› Tutorials

Meta-Programming I

‹Programming› Tutorials

Meta-Programming II
W1

PX/20

PX/20 #1

PX/20

PX/20 #2

PX/20

PX/20 #3

PX/20

PX/20 #4
W2

ICW

No session (workshop starts after lunch)

ICW

No session (workshop starts after lunch)

ICW

ICW 2020 #1

ICW

ICW 2020 #2
W3

ProWeb20

ProWeb 2020 #1

ProWeb20

ProWeb 2020 #2

ProWeb20

ProWeb 2020 #3

ProWeb20

ProWeb 2020 #4
W4

CoCoDo

Session the First

CoCoDo

Session the Second

CoCoDo

Session the Third

CoCoDo

Session the Fourth
​Break-Space

‹Programming› Catering

Break

‹Programming› Catering

Lunch

‹Programming› Catering

Break
​Registration (Lobby)

‹Programming›

Registration

Tue 24 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
T1

‹Programming› Tutorials

PharoIoT I

‹Programming› Tutorials

PharoIoT II
W1

MoreVMs

Java HotSpot VM

MoreVMs

Runtime Systems and Performance Analysis

MoreVMs

For a Faster Web

MoreVMs

Dynamic Runtime Optimizations
W2

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

Convivial Computing Salon

W3

ENIAC20

Opening and Keynote

ENIAC20

ENIAC Session

ENIAC20

ENIAC #3

ENIAC20

ENIAC #4
W4

NIP

Collaboration and User Studies

NIP

Virtual Reality and Livecoding

NIP

Augmented Reality

NIP

NIP'20 #4
W5

MiniPLoP

MiniPLoP #1

MiniPLoP

MiniPLoP #2

MiniPLoP

MiniPLoP #3

MiniPLoP

MiniPLoP #4
​Break-Space

‹Programming› Catering

Break

‹Programming› Catering

Lunch

‹Programming› Catering

Break
​Registration (Lobby)

‹Programming›

Registration

Wed 25 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium

‹Programming› Keynotes

< Opening Keynote

‹Programming› Research Papers

Reflecting on Programming

‹Programming› Research Papers

Engineering Correctness

‹Programming› Research Papers

Thinking about Data
T1

‹Programming› Tutorials

Haskell I

‹Programming› Tutorials

Haskell II

‹Programming› Tutorials

Haskell III
T2

‹Programming› Tutorials

Bela I

‹Programming› Tutorials

Bela II
​Break-Space

‹Programming› Catering

Break

‹Programming› Catering

Lunch

‹Programming› Catering

Break
​Registration (Lobby)

‹Programming›

Registration

Thu 26 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium

‹Programming› Keynotes

Closing Keynote >

‹Programming› Research Papers

Machines Thinking about Programs

‹Programming› Research Papers

Thinking Concurrently

‹Programming› Research Papers

Programming with Style
T1

‹Programming› Tutorials

Sonic Pi I

‹Programming› Tutorials

Sonic Pi II
T2

‹Programming› Tutorials

AntidoteDB I

‹Programming› Tutorials

AntidoteDB II
​Break-Space

‹Programming› Catering

Break

‹Programming› Catering

Lunch

‹Programming› Catering

Break
​Registration (Lobby)

‹Programming›

Registration

Mon 4 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Tue 5 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Wed 6 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Thu 7 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Fri 8 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Sat 9 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Mon 23 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
T1
14:00 - 15:30
16:00 - 17:30
W2
14:00 - 14:05
14:05 - 14:25
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
W3
09:00 - 09:05
09:05 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
14:00 - 14:55
14:55 - 15:25
15:25 - 15:30
W4
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
​Break-Space
10:30 - 11:00
12:30 - 14:00
15:30 - 16:00
​Registration (Lobby)
08:00 - 17:00

Tue 24 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
T1
14:00 - 15:30
16:00 - 17:30
W1
08:50 - 09:00
09:00 - 10:00
10:00 - 10:30
11:00 - 11:20
11:20 - 11:50
11:50 - 12:10
12:10 - 12:30
14:00 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
W3
09:00 - 09:10
09:10 - 10:10
10:10 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
W4
09:00 - 09:05
09:05 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 11:50
11:50 - 12:20
14:00 - 14:30
14:30 - 14:50
​Break-Space
10:30 - 11:00
12:30 - 14:00
15:30 - 16:00

Wed 25 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Auditorium
09:30 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
T1
11:00 - 12:30
14:00 - 15:30
16:00 - 17:30
T2
14:00 - 15:30
16:00 - 17:30
​Break-Space
10:30 - 11:00
12:30 - 14:00
15:30 - 16:00

Thu 26 Mar
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Auditorium
09:30 - 10:30
11:00 - 11:30
11:30 - 12:00
12:00 - 12:30
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
T1
09:00 - 10:30
11:00 - 12:30
T2
09:00 - 10:30
11:00 - 12:30
​Break-Space
10:30 - 11:00
12:30 - 14:00
15:30 - 16:00

Mon 4 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Tue 5 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Wed 6 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Thu 7 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Fri 8 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

Sat 9 May
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

No events planned for this day yet.

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics