Write a Blog >>
ICW 2020
Mon 23 Mar 2020 Porto, Portugal
co-located with ‹Programming› 2020
Program

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
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-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 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