Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Local Information
Travel info
Registration
Code of Conduct
Remote participation
Students
Visa
Call For Sponsorship
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Tracks
ICFP 2019
Keynotes and Reports
Research Papers
Workshops
Tutorials
Research Artifacts
Student Volunteering
Student Research Competition
Workshops
Erlang
FARM
FHPNC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
External Review Committee
Research Artifacts
Student Volunteering
Student Research Competition
Poster and Presentation Judges
Program Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Speakers
Scheme
Organizing Committee
Program Committee
TyDe
Organizing Committee
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Hotel Scandic Berlin Potsdamer Platz
/
Room information: Yew
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Yew
Floor
0
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06: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-04: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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:20
Session 1
Erlang
at
Yew
09:00
20m
Day opening
Opening
Erlang
Viktória Fördős
Cisco Systems
,
Adrian Francalanza
University of Malta
09:20
60m
Talk
Introduction to the Erlang Ecosystem Foundation
Erlang
Peer Stritzinger
Peer Stritzinger GmbH
10:50 - 12:10
Session 2
Erlang
at
Yew
10:50
40m
Full-paper
Gaining Trust by Tracing Security Protocols
Erlang
Lars-Ake Fredlund
,
Thomas Arts
Quviq
,
Clara Benac Earle
Universidad Politécnica de Madrid
,
Hans Svensson
Quviq AB
11:30
40m
Full-paper
Runtime Type Safety for Erlang/OTP Behaviours
Erlang
Joseph Harrison
University of Kent, UK
13:40 - 14:50
Session 3
Erlang
at
Yew
13:40
23m
Short-paper
Lux - an expect like test tool written in Erlang
Erlang
Håkan Mattsson
,
Cons T Åhs
Cisco Sweden AB
14:03
23m
Short-paper
Towards Online Profiling of Erlang Systems
Erlang
Michal Slaski
Erlang Solutions Ltd.
,
Wojciech Turek
AGH University of Science and Technology
14:26
24m
Short-paper
Tools supporting green computing in Erlang
Erlang
Gergely Nagy
Eötvös Lóránd University
,
Áron Attila Mészáros
Eötvös Lóránd University
,
István Bozó
Eötvös Loránd University
,
Melinda Tóth
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
15:20 - 16:40
Session 4
Erlang
at
Yew
15:20
40m
Full-paper
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks
Erlang
Igor Kopestenski
Université Catholique de Louvain
,
Peter Van Roy
Université catholique de Louvain
16:00
40m
Full-paper
Intro to Web Prolog for Erlangers
Erlang
Torbjörn Lager
Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg
17:10 - 18:10
Session 5
Erlang
at
Yew
17:10
40m
Full-paper
Scaling Erlang Distribution
Erlang
Adam Lindberg
Peer Stritzinger GmbH
,
Sébastien Merle
Peer Stritzinger GmbH
,
Peer Stritzinger
Peer Stritzinger GmbH
17:50
20m
Day closing
Closing
Erlang
Viktória Fördős
Cisco Systems
,
Adrian Francalanza
University of Malta
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials Y1
Tutorials
at
Yew
09:00
3h
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber
Active Group GmbH
13:30 - 16:30
Tutorials Y2
Tutorials
at
Yew
13:30
3h
Tutorial
Teaching functional programming
Tutorials
Michael Sperber
Active Group GmbH
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials Y3
Tutorials
at
Yew
09:00
3h
Tutorial
Building C++ project with Shake
Tutorials
Semen Trygubenko
13:30 - 16:30
Tutorials Y4
Tutorials
at
Yew
13:30
3h
Tutorial
Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages.
Tutorials
Andor Penzes
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
18:00
30
Yew
Erlang
Session 1
Erlang
Session 2
Erlang
Session 3
Erlang
Session 4
Erlang
Session 5
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Yew
Tutorials
Tutorials Y1
Tutorials
Tutorials Y2
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Yew
Tutorials
Tutorials Y3
Tutorials
Tutorials Y4
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Yew
Erlang
Opening
09:00 - 09:20
Erlang
Introduction to the Erlang Ecosystem Foundation
09:20 - 10:20
Erlang
Gaining Trust by Tracing Security Protocols
10:50 - 11:30
Erlang
Runtime Type Safety for Erlang/OTP Behaviours
11:30 - 12:10
Erlang
Lux - an expect like test tool written in Erlang
13:40 - 14:03
Towards Online Profiling of Erlang Systems
14:03 - 14:26
Erlang
Tools supporting green computing in Erlang
14:26 - 14:50
Erlang
Erlang as an enabling technology for resilient general-purpose applicat ...
15:20 - 16:00
Erlang
Intro to Web Prolog for Erlangers
16:00 - 16:40
Erlang
Scaling Erlang Distribution
17:10 - 17:50
Erlang
Closing
17:50 - 18:10
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
16:00
15
30
45
Yew
ICFP Tutorials
Functional Software Architecture
09:00 - 12:00
ICFP Tutorials
Teaching functional programming
13:30 - 16:30
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
16:00
15
30
45
Yew
ICFP Tutorials
Building C++ project with Shake
09:00 - 12:00
ICFP Tutorials
Write you a mini-GRIN, a unified compiler back-end for lazy and strict ...
13:30 - 16:30
x
Tue 12 Nov 21:19