Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameScheme
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 11:00
Morning KeynoteScheme at Scheme
10:00
60m
Keynote
SICP JS: Ketchup on Caviar?
Scheme
Martin Henz National University of Singapore, Tobias Wrigstad Uppsala University, Sweden
11:30 - 13:00
Research Session 1Scheme at Scheme
11:30
30m
Talk
Clotho: A Racket Library for Parametric Randomness
Scheme
Pierce Darragh University of Utah, William G Hatch University of Utah, Eric Eide University of Utah
File Attached
12:00
30m
Talk
Scheme for scientific computing
Scheme
Francesco Montanari Universidad Autónoma de Madrid
File Attached
12:30
10m
Talk
Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)
Scheme
Junya Nose Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached
12:40
10m
Talk
On Teaching Type Systems as Macros (Lightning Talk)
Scheme
Youyou Cong Tokyo Institute of Technology, Naoya Furudono Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached
12:50
10m
Talk
Programming with Petri Nets to Reason about Concurrency (Lightning Talk)
Scheme
Julien Lepiller Yale University
File Attached
16:00 - 17:00
Afternoon KeynoteScheme at Scheme
16:00
60m
Keynote
21st Century Lisp in Academic Research and Pedagogy
Scheme
Bohdan Khomtchouk University of Chicago, Jonah Fleishhacker University of Chicago

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change