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
ICFP 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: Birch
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Birch
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
Morning Keynote
Scheme
at
Birch
09:00
60m
Talk
Morning Keynote
Scheme
Edwin Brady
University of St. Andrews, UK
10:50 - 12:10
Research Session 1
Scheme
at
Birch
10:30
30m
Talk
Syntax Templates In Racket
Scheme
Ryan Culpepper
Czech Technical University
11:00
30m
Talk
Visualizing Abstract Abstract Machines
Scheme
Kyle Headley
The University of Alabama at Birmingham
11:30
30m
Talk
gLua: A modern Lua transpiler in Scheme
Scheme
Mu Lei
13:40 - 14:50
Research Session 2
Scheme
at
Birch
14:00
20m
Talk
Lightning talk: Commanding Emacs from Coq
Scheme
Joomy Korkut
Princeton University, USA
14:20
20m
Talk
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme
Paulette Koronkevich
University of British Columbia
14:40
20m
Talk
SRFI-167, SRFI-168 and the functional store
Scheme
Amirouche Boubekki
15:20 - 16:40
Research Session 3
Scheme
at
Birch
15:30
30m
Talk
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme
Satoshi Egi
Rakuten Institute of Technology
16:00
30m
Talk
Stack-Liberated Abstract Garbage Collection
Scheme
Kimball Germane
University of Utah
,
Michael D. Adams
University of Michigan
17:10 - 18:10
Afternoon Keynote
Scheme
at
Birch
17:10
60m
Talk
Afternoon Keynote
Scheme
Andy Keep
Cisco Systems, Inc
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B1
Tutorials
at
Birch
09:00
3h
Tutorial
Fine-grained program reasoning using linear and graded modal types
Tutorials
Harley D. Eades III
Augusta University
,
Dominic Orchard
University of Kent, UK
,
Vilem-Benjamin Liepelt
University of Kent, UK
13:30 - 16:30
Tutorials B2
Tutorials
at
Birch
13:30
3h
Tutorial
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
Tutorials
Michal J. Gajda
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B3
Tutorials
at
Birch
09:00
3h
Tutorial
Folding/Unfolding with Scala
Tutorials
Simon Hafner
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
Birch
Scheme
Morning Keynote
Scheme
Research Session 1
Scheme
Research Session 2
Scheme
Research Session 3
Scheme
Afternoon Keynote
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
Birch
Tutorials
Tutorials B1
Tutorials
Tutorials B2
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
Birch
Tutorials
Tutorials B3
Tutorials
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
Birch
Scheme
Morning Keynote
09:00 - 10:00
Scheme
Syntax Templates In Racket
10:30 - 11:00
Scheme
Visualizing Abstract Abstract Machines
11:00 - 11:30
Scheme
gLua: A modern Lua transpiler in Scheme
11:30 - 12:00
Scheme
Lightning talk: Commanding Emacs from Coq
14:00 - 14:20
Scheme
Reigniting Fuse, an Online Partial Evaluator for Scheme
14:20 - 14:40
Scheme
SRFI-167, SRFI-168 and the functional store
14:40 - 15:00
Scheme
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non ...
15:30 - 16:00
Scheme
Stack-Liberated Abstract Garbage Collection
16:00 - 16:30
Scheme
Afternoon Keynote
17:10 - 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
Birch
ICFP Tutorials
Fine-grained program reasoning using linear and graded modal types
09:00 - 12:00
ICFP Tutorials
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
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
Birch
ICFP Tutorials
Folding/Unfolding with Scala
09:00 - 12:00
x
Thu 21 Nov 09:43