Scheme 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
co-located with
ICFP 2019
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Track/Call
Organization
Scheme 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Scheme 2024
Scheme 2023
Scheme 2022
Scheme 2021
Scheme 2020
Scheme 2019
Scheme 2018
Scheme 2017
Scheme 2016
Scheme 2011
Sign in
Sign up
ICFP 2019
(
series
) /
Scheme 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 2019
at
Birch
09:00
60m
Talk
Morning Keynote
Scheme 2019
Edwin Brady
University of St. Andrews, UK
10:50 - 12:10
Research Session 1
Scheme 2019
at
Birch
10:30
30m
Talk
Syntax Templates In Racket
Scheme 2019
Ryan Culpepper
Czech Technical University
11:00
30m
Talk
Visualizing Abstract Abstract Machines
Scheme 2019
Kyle Headley
The University of Alabama at Birmingham
11:30
30m
Talk
gLua: A modern Lua transpiler in Scheme
Scheme 2019
Mu Lei
13:40 - 14:50
Research Session 2
Scheme 2019
at
Birch
14:00
20m
Talk
Lightning talk: Commanding Emacs from Coq
Scheme 2019
Joomy Korkut
Princeton University, USA
14:20
20m
Talk
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme 2019
Paulette Koronkevich
University of British Columbia
14:40
20m
Talk
SRFI-167, SRFI-168 and the functional store
Scheme 2019
Amirouche Boubekki
15:20 - 16:40
Research Session 3
Scheme 2019
at
Birch
15:30
30m
Talk
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme 2019
Satoshi Egi
Rakuten Institute of Technology
16:00
30m
Talk
Stack-Liberated Abstract Garbage Collection
Scheme 2019
Kimball Germane
University of Utah
,
Michael D. Adams
University of Michigan
17:10 - 18:10
Afternoon Keynote
Scheme 2019
at
Birch
17:10
60m
Talk
Afternoon Keynote
Scheme 2019
Andy Keep
Cisco Systems, Inc
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B1
ICFP Tutorials
at
Birch
09:00
3h
Tutorial
Fine-grained program reasoning using linear and graded modal types
ICFP 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
ICFP Tutorials
at
Birch
13:30
3h
Tutorial
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
ICFP Tutorials
Michal J. Gajda
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B3
ICFP Tutorials
at
Birch
09:00
3h
Tutorial
Folding/Unfolding with Scala
ICFP 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 2019
Morning Keynote
Scheme 2019
Research Session 1
Scheme 2019
Research Session 2
Scheme 2019
Research Session 3
Scheme 2019
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
ICFP Tutorials
Tutorials B1
ICFP 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
ICFP Tutorials
Tutorials B3
ICFP 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
Tue 23 Apr 11:38