Write a Blog >>
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 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

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

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 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