Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 3
Floor2
Room number3
Capacity100
Additional informationThere is no additional information of this room available.
Program

Sun 18 Sep

hope-2016-papers
09:10 - 10:15: HOPE - Welcome and Invited Talk at Conference Room 3
hope-2016-papers147418260000009:10 - 09:15
Day opening
Lars BirkedalAarhus University, Denmark, Aleksandar NanevskiIMDEA Software Institute
hope-2016-papers147418290000009:15 - 10:15
Talk
Leo WhiteJane Street
hope-2016-papers
10:45 - 12:15: HOPE - Session 1 (Effects) at Conference Room 3
hope-2016-papers147418830000010:45 - 11:15
Talk
Fengyun LiuEPFL, Nicolas StuckiEPFL, LAMP, Sandro StuckiEPFL, Nada AminEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
hope-2016-papers147419010000011:15 - 11:45
Talk
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Denmark
hope-2016-papers147419190000011:45 - 12:15
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
hope-2016-papers
14:00 - 15:00: HOPE - Session 2 (Verification) at Conference Room 3
hope-2016-papers147420000000014:00 - 14:30
Talk
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, UK, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
hope-2016-papers147420180000014:30 - 15:00
Talk
William J. BowmanNortheastern University
hope-2016-papers
15:30 - 16:30: HOPE - Session 3 (Compilation) at Conference Room 3
hope-2016-papers147420540000015:30 - 16:00
Talk
Daan LeijenMicrosoft Research
Link to publication
hope-2016-papers147420720000016:00 - 16:30
Talk
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK
hope-2016-papers
17:00 - 17:30: HOPE - Session 4 (Semantics) at Conference Room 3
hope-2016-papers147421080000017:00 - 17:30
Talk

Sat 24 Sep

farm-2016-papers
09:15 - 10:15: FARM - 1 at Conference Room 3
farm-2016-papers147470130000009:15 - 09:45
Talk
Jay McCarthyUniversity of Massachusetts Lowell
farm-2016-papers147470310000009:45 - 10:15
Talk
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninUniversity of Bordeaux
farm-2016-papers
10:35 - 11:25: FARM - 2 at Conference Room 3
farm-2016-papers147470610000010:35 - 11:00
Talk
Caleb HelblingTufts University, Sam Guyer
farm-2016-papers147470760000011:00 - 11:25
Talk
Caleb HelblingTufts University, Sam Guyer
farm-2016-papers
11:45 - 12:35: FARM - 3 at Conference Room 3
farm-2016-papers147471030000011:45 - 12:10
Talk
Jakob LebenUniversity of Victoria
farm-2016-papers147471180000012:10 - 12:35
Talk
Chris FordThoughtWorks (UK) Ltd.
farm-2016-papers
14:00 - 14:50: FARM - 4 at Conference Room 3
farm-2016-papers147471840000014:00 - 14:25
Talk
Csongor KissImperial College London, Toby ShawImperial College London
Link to publication
farm-2016-papers147471990000014:25 - 14:50
Talk
Jean BressonUMR STMS: IRCAM-CNRS-UPMC, John MacCallumCNMAT - UC Berkeley, Adrian FreedCNMAT - UC Berkeley
farm-2016-papers
15:20 - 16:10: FARM - 5 at Conference Room 3
farm-2016-papers147472320000015:20 - 15:45
Talk
Chris FordThoughtWorks (UK) Ltd.
farm-2016-papers147472470000015:45 - 16:10
Talk
Link to publication
farm-2016-papers
16:40 - 18:00: FARM - 6 at Conference Room 3
farm-2016-papers147472800000016:40 - 17:20
Talk
farm-2016-papers147473040000017:20 - 18:00
Talk
Link to publication

Sun 18 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 3

Sat 24 Sep 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Conference Room 3
09:15 - 10:15
10:35 - 11:25
11:45 - 12:35
14:00 - 14:50
15:20 - 16:10
16:40 - 18:00