Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameBurlington Route
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00: T01: Introduction to Programming and Proving in CedilleTutorials at Burlington Route
Chair(s): Aaron StumpThe University of Iowa, USA
09:00 - 12:00
Other
Tutorials
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald
13:00 - 16:00: T02: Direct Manipulation Programming in Sketch-n-SketchTutorials at Burlington Route
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago
13:00 - 16:00
Other
Tutorials
Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Invited Talk 1Scheme at Burlington Route
09:00 - 10:00
Talk
Scheme
David Van HornUniversity of Maryland, USA
13:30 - 14:10: Session 3Scheme at Burlington Route
13:30 - 13:50
Talk
Scheme
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
13:50 - 14:10
Talk
Scheme
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
15:30 - 16:10: Invited Talk 2Scheme at Burlington Route
15:30 - 16:10
Talk
Scheme
Matthew FlattUniversity of Utah

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Opening & Keynote talkErlang at Burlington Route
09:00 - 09:10
Day opening
Erlang
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University
09:10 - 10:00
Talk
Erlang
K: Christopher MeiklejohnCarnegie Mellon University
10:20 - 11:00: Latest NewsErlang at Burlington Route
10:20 - 11:00
Product announcement
Erlang
11:20 - 12:00: Session 1Erlang at Burlington Route
11:20 - 11:45
Full-paper
Erlang
A: Alex GerdesUniversity of Gothenburg, Sweden, A: John HughesChalmers University of Technology, Sweden, A: Nicholas SmallboneChalmers University of Technology, Sweden, A: Stefan HanenbergUniversity of Duisburg-Essen, Germany, A: Sebastian IvarssonChalmers University of Technology, Sweden, A: Meng WangUniversity of Bristol, UK
DOI
11:45 - 12:00
Short-paper
Erlang
A: Alexandre Jorge Barbosa RodriguesKlarna Bank, Sweden, A: Viktória FördősKlarna Bank, Sweden
DOI
13:30 - 14:30: Session 2Erlang at Burlington Route
13:30 - 13:55
Full-paper
Erlang
A: Aman Shankar MathurMPI-SWS, Germany, A: Burcu Kulahcioglu OzkanMPI-SWS, Germany, A: Rupak MajumdarMPI-SWS, Germany
DOI
13:55 - 14:20
Full-paper
Erlang
A: Joseph HarrisonUniversity of Kent, UK
DOI
14:20 - 14:30
Coffee break
Erlang
14:30 - 15:10: Session 3Erlang at Burlington Route
14:30 - 14:55
Full-paper
Erlang
A: Stavros AronisErlang Solutions, Sweden, A: Viktória FördősKlarna Bank, Sweden, A: Dániel SzoboszlayKlarna Bank, Sweden
DOI
14:55 - 15:10
Short-paper
Erlang
A: Jörgen BrandtHumboldt-Universität zu Berlin, Germany, A: Wolfgang ReisigHumboldt-Universität zu Berlin, Germany
DOI
15:30 - 16:10: Final talk and ClosingErlang at Burlington Route
15:30 - 15:55
Full-paper
Erlang
A: Nachiappan ValliappanChalmers University of Technology, Sweden, A: John HughesChalmers University of Technology, Sweden
DOI
15:55 - 16:10
Day closing
Erlang
C: Adrian FrancalanzaUniversity of Malta, C: Natalia ChechinaBournemouth University

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Burlington Route