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

Thu 27 Sep

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

Fri 28 Sep

scheme-2018-papers
09:00 - 10:00: Scheme 2018 - Invited Talk 1 at Burlington Route
scheme-2018-papers153811800000009:00 - 10:00
Talk
David Van HornUniversity of Maryland, USA
scheme-2018-papers
10:20 - 11:00: Scheme 2018 - Session 1 at Burlington Route
scheme-2018-papers153812280000010:20 - 10:40
Talk
Arthur GlecklerSRFI Editor
scheme-2018-papers153812400000010:40 - 11:00
Talk
Satoshi EgiRakuten Institute of Technology
scheme-2018-papers
11:20 - 12:00: Scheme 2018 - Session 2 at Burlington Route
scheme-2018-papers153812640000011:20 - 11:40
Talk
scheme-2018-papers153812760000011:40 - 12:00
Talk
scheme-2018-papers
13:30 - 14:10: Scheme 2018 - Session 3 at Burlington Route
scheme-2018-papers153813420000013:30 - 13:50
Talk
Kristopher MicinskiHaverford College, Zhanpeng WangHaverford College, USA, Thomas GilrayUniversity of Maryland
scheme-2018-papers153813540000013:50 - 14:10
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
scheme-2018-papers
14:30 - 15:10: Scheme 2018 - Session 4 at Burlington Route
scheme-2018-papers153813780000014:30 - 14:50
Talk
Eric HolkGoogle
scheme-2018-papers153813900000014:50 - 15:10
Talk
Laurent Huberdeau, Marc FeeleyUniversité de Montréal
scheme-2018-papers
15:30 - 16:10: Scheme 2018 - Invited Talk 2 at Burlington Route
scheme-2018-papers153814140000015:30 - 16:10
Talk
Matthew FlattUniversity of Utah

Sat 29 Sep

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

Fri 28 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Burlington Route
10:20 - 11:00
11:20 - 12:00
13:30 - 14:10
14:30 - 15:10

Sat 29 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Burlington Route
10:20 - 11:00
11:20 - 12:00
13:30 - 14:30
14:30 - 15:10

Thu 27 Sep 2018

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