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

Thu 27 Sep

npfl-2018-papers
09:00 - 10:00: NPFL 2018 - Keynote at Texas Special
Chair(s): Dominic Steinitz
npfl-2018-papers153803160000009: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-papers153803640000010:20 - 10:50
Talk
Sam StitesSentenai, Austin HuangPfizer
npfl-2018-papers153803820000010: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-papers153804000000011: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-papers153804780000013:30 - 14:00
Talk
npfl-2018-papers153804960000014: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-papers153805140000014: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-papers153805500000015:30 - 16:10
Talk
Pavel PanchekhaUniversity of Washington

Fri 28 Sep

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-Tutorials153811800000009: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-Tutorials153813240000013:00 - 16:00
Talk
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

Sat 29 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special
Chair(s): Andrew Turley
icfp-2018-Tutorials153820440000009: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-Tutorials153821880000013:00 - 16:00
Other
Manuel SerranoInria, France

Thu 27 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Texas Special
09:00 - 10:00
10:20 - 11:20
11:20 - 12:00
13:30 - 14:30
14:30 - 15:10
15:30 - 16:10

Sat 29 Sep 2018

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

Fri 28 Sep 2018

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

Sat 29 Sep 2018

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