Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameTexas Special
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: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

npfl-2018-papers
09:00 - 10:00: NPFL 2018 - Keynote at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers09:00 - 10:00
Day opening
npfl-2018-papers
10:20 - 11:20: NPFL 2018 - Talks I at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers10:20 - 10:50
Talk
Sam StitesSentenai, Austin HuangPfizer
npfl-2018-papers10:50 - 11:20
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford
npfl-2018-papers
11:20 - 12:00: NPFL 2018 - Talks II at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers11:20 - 12:00
Talk
Eva RichterPotsdam University, Matti RichterPotsdam University
npfl-2018-papers
13:30 - 14:30: NPFL 2018 - Talks III at Texas Special
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
npfl-2018-papers13:30 - 14:00
Talk
npfl-2018-papers14:00 - 14:30
Talk
Nathan Waiviohttps://github.com/waivio
npfl-2018-papers
14:30 - 15:10: NPFL 2018 - Talks IV at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers14:30 - 15:10
Talk
Justus SagemüllerUniversität zu Köln, Institut für Geophysik und Meteorologie
npfl-2018-papers
15:30 - 16:10: NPFL 2018 - Talks V at Texas Special
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers15:30 - 16:10
Talk
Pavel PanchekhaUniversity of Washington

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special
Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials09:00 - 12:00
Other
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T04: Beluga: Programming Proofs About Formal Systems at Texas Special
Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2018-Tutorials13:00 - 16:00
Talk
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special
Chair(s): Andrew Turley
icfp-2018-Tutorials09:00 - 12:00
Other
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T10: Hop.js: JavaScript multitier programming at Texas Special
Chair(s): Manuel SerranoInria, France
icfp-2018-Tutorials13:00 - 16:00
Other
Manuel SerranoInria, France

Thu 27 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Texas Special

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Texas Special

Sat 29 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Texas Special