‹Programming› 2020
Mon 23 - Thu 26 March 2020
Porto, Portugal
Toggle navigation
Attending
Venue: FEUP | Universidade do Porto
Banquet: The Yeatman Hotel, Porto
Registration
Students
Health Information [COVID-19]
Program
‹Programming› Program
Your Program
Mon 23 Mar
Tue 24 Mar
Wed 25 Mar
Thu 26 Mar
Tracks
‹Programming› 2020
Keynotes
Research Papers
Workshops
Student Research Competition
Tutorials
- AntidoteDB
- Bela Workshop
- Learning Haskell: a project-based approach
- Meta-Programming for the masses
- Music Generation with Sonic Pi
- PharoIoT
Posters
Demos
Student Volunteers
Social Events
Workshops
Convivial Computing Salon
ENIAC20
ICW
MiniPLoP
MoreVMs
NIP
PX/20
ProWeb20
Co-hosted Coding Dojos
CoCoDo
Organization
‹Programming› 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Workshops
Student Research Competition
Organizing Committee
Jury
Posters
Demos
Student Volunteers
Contributors
People Index
Workshops
Convivial Computing Salon
Organizing Committee
Program Committee
ENIAC20
Organizing Committee
Program Committee
ICW
Organizing Committee
Program Committee
MiniPLoP
Organizing Committee
Program Committee
MoreVMs
Organizing Committee
Program Committee
NIP
Organizing Committee
Program Committee
PX/20
Organizing Committee
Program Committee
ProWeb20
Organizing Committee
Program Committee
Steering Committee
Co-hosted Coding Dojos
CoCoDo
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2020
(
series
) /
FEUP | Universidade do Porto
/
Room information: W3
Venue
FEUP | Universidade do Porto
Room name
W3
Floor
0
Capacity
50
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 23 Mar
Displayed time zone:
Belfast
change
09:00 - 10:30
ProWeb 2020 #1
ProWeb20
at
W3
09:00
5m
Day opening
Welcome
ProWeb20
09:05
55m
Talk
Keynote Saba
Keynote
ProWeb20
Saba Alimadadi
Simon Fraser University
10:00
30m
Talk
Synthesizing User Interfaces using Functional Reactive Web Abstractions
Full paper
ProWeb20
Adam Granicz
,
Jozsef Uri
,
Andras Janko
11:00 - 12:30
ProWeb 2020 #2
ProWeb20
at
W3
11:00
30m
Talk
Evolution of the WebDSL Runtime
Full paper
ProWeb20
Danny Groenewegen
Delft University of Technology
,
Elmer van Chastelet
Delft University of Technology
,
Eelco Visser
Delft University of Technology
11:30
30m
Talk
Tamper-proof security mechanism against liar objects in JavaScript applications
Presentation abstract
ProWeb20
Angel Luis Scull Pupo
Sofware Languages Lab, Vrije Universiteit Brussel
,
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
12:00
30m
Talk
Broken Links
Presentation abstract
ProWeb20
Frank Emrich
The University of Edinburgh
,
Daniel Hillerström
The University of Edinburgh
14:00 - 15:30
ProWeb 2020 #3
ProWeb20
at
W3
14:00
55m
Talk
Why languages for distributed systems are inevitable
Keynote
ProWeb20
Guido Salvaneschi
Technische Universität Darmstadt
14:55
30m
Talk
Piecewise Relative Observational Purity
Presentation abstract
ProWeb20
Seyed Hossein Haeri
Université Catholique de Louvain
,
Peter Van Roy
Université catholique de Louvain
15:25
5m
Day closing
Closing
ProWeb20
16:00 - 17:30
ProWeb 2020 #4
ProWeb20
at
W3
Tue 24 Mar
Displayed time zone:
Belfast
change
09:00 - 10:30
Opening and Keynote
ENIAC20
at
W3
09:00
10m
Talk
Welcome to ENIAC
ENIAC20
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
09:10
60m
Talk
Keynote
ENIAC20
10:10
20m
Talk
Group discussion on common workshop goals
ENIAC20
11:00 - 12:30
ENIAC Session
ENIAC20
at
W3
Chair(s):
Coen De Roover
Vrije Universiteit Brussel
11:00
30m
Talk
Achieving Guidance in Applied Machine Learning Through Software Engineering Techniques
ENIAC20
Lars Reimann
University of Bonn
,
Günter Kniesel-Wünsche
University of Bonn
11:30
30m
Talk
Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom
ENIAC20
Toni Mattis
Hasso Plattner Institute, University of Potsdam
,
Patrick Rein
Hasso Plattner Institute
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
12:00
30m
Talk
Engineering Machine Learning Applications
ENIAC20
Luís Cruz
Deflt University of Technology
,
Petra Heck
Fontys ICT
14:00 - 15:30
ENIAC #3
ENIAC20
at
W3
16:00 - 17:30
ENIAC #4
ENIAC20
at
W3
Mon 23 Mar
Displayed time zone:
Belfast
change
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
W3
ProWeb20
ProWeb 2020 #1
ProWeb20
ProWeb 2020 #2
ProWeb20
ProWeb 2020 #3
ProWeb20
ProWeb 2020 #4
Tue 24 Mar
Displayed time zone:
Belfast
change
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
W3
ENIAC20
Opening and Keynote
ENIAC20
ENIAC Session
ENIAC20
ENIAC #3
ENIAC20
ENIAC #4
Mon 23 Mar
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
W3
ProWeb20
Welcome
09:00 - 09:05
ProWeb20
Keynote
Keynote Saba
09:05 - 10:00
ProWeb20
Full paper
Synthesizing User Interfaces using Functional Reactive Web Abstractions
10:00 - 10:30
ProWeb20
Full paper
Evolution of the WebDSL Runtime
11:00 - 11:30
ProWeb20
Presentation abstract
Tamper-proof security mechanism against liar objects in JavaScript appl ...
11:30 - 12:00
ProWeb20
Presentation abstract
Broken Links
12:00 - 12:30
ProWeb20
Keynote
Why languages for distributed systems are inevitable
14:00 - 14:55
ProWeb20
Presentation abstract
Piecewise Relative Observational Purity
14:55 - 15:25
ProWeb20
Closing
15:25 - 15:30
Tue 24 Mar
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
W3
ENIAC20
Welcome to ENIAC
09:00 - 09:10
ENIAC20
Keynote
09:10 - 10:10
ENIAC20
Group discussion on common workshop goals
10:10 - 10:30
ENIAC20
Achieving Guidance in Applied Machine Learning Through Software Enginee ...
11:00 - 11:30
ENIAC20
Three Trillion Lines: Infrastructure for Mining GitHub in the Classroom
11:30 - 12:00
ENIAC20
Engineering Machine Learning Applications
12:00 - 12:30
x
Thu 21 Nov 10:06