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

This program is tentative and subject to change.

Wed 25 Mar

programming-2020-Keynotes
09:30 - 10:30: Keynotes - < Opening Keynote at Auditorium
programming-2020-Keynotes09:30 - 10:30
Talk
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-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-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

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-papers
11:00 - 12:30: Research Papers - Machines Thinking about Programs at Auditorium
programming-2020-papers11:00 - 11:30
Research paper
Hongki LeeKorea Advanced Institute of Science and Technology, Changhee ParkKAIST, Sukyoung RyuKAIST, South Korea
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-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-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 ChibaGraduate School of Information Science and Technology, The 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

This program is tentative and subject to change.

This program is tentative and subject to change.