Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameIllinois Central
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

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Invited TalkHIW at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
09:00 - 09:05
Day opening
HIW
Joachim BreitnerDFINITY Foundation
09:05 - 10:00
Talk
HIW
Media Attached

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

09:00 - 10:00: KeynoteHaskell at Illinois Central
Chair(s): Nicolas WuUniversity of Bristol, UK
09:00 - 09:05
Day opening
Haskell
Nicolas WuUniversity of Bristol, UK
09:05 - 10:00
Talk
Haskell
10:30 - 12:00: Session 1Haskell at Illinois Central
Chair(s): Michael D. AdamsUniversity of Utah
10:30 - 11:00
Talk
Haskell
Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
11:00 - 11:30
Talk
Haskell
Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA
DOI
11:30 - 12:00
Talk
Haskell
Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina
DOI
13:30 - 15:00: Session 2Haskell at Illinois Central
Chair(s): Sam LindleyUniversity of Edinburgh, UK
13:30 - 14:00
Talk
Haskell
Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA
DOI
14:00 - 14:30
Talk
Haskell
Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China
DOI
14:30 - 15:00
Talk
Haskell
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
15:30 - 16:00: Session 3Haskell at Illinois Central
Chair(s): Ryan Yates
15:30 - 16:00
Talk
Haskell
Matt NoonanKataskeue, USA
DOI

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

09:00 - 10:00: Session 4Haskell at Illinois Central
Chair(s): Iavor DiatchkiGalois, Inc.
09:00 - 09:30
Talk
Haskell
Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA
DOI
09:30 - 10:00
Talk
Haskell
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
DOI
10:30 - 12:00: Session 5Haskell at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
10:30 - 11:00
Talk
Haskell
Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK
DOI
11:00 - 11:30
Talk
Haskell
Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
11:30 - 12:00
Talk
Haskell
Matthías Páll GissurarsonChalmers University of Technology, Sweden
DOI
13:30 - 15:00: Session 6Haskell at Illinois Central
Chair(s): Brent YorgeyHendrix College
13:30 - 14:00
Talk
Haskell
Joachim BreitnerDFINITY Foundation
DOI
14:00 - 14:30
Talk
Haskell
Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden
DOI
14:30 - 15:00
Talk
Haskell
Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
DOI File Attached
15:30 - 16:00: Session 7Haskell at Illinois Central
Chair(s): Simon MarlowFacebook
15:30 - 15:59
Talk
Haskell
Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK
DOI
15:59 - 16:00
Talk
Haskell
Nicolas WuUniversity of Bristol, UK

Sun 23 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Illinois Central

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

Room9:003010:003011:003012:003013:003014:003015:0030
Illinois Central

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