Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 23 Sep

hiw-2018-papers
09:00 - 10:00: HIW 2018 - Invited Talk at Workshop Room 2
Chair(s): Joachim BreitnerUniversity of Pennsylvania
hiw-2018-papers153768600000009:00 - 09:05
Day opening
Joachim BreitnerUniversity of Pennsylvania
hiw-2018-papers153768630000009:05 - 10:00
Talk
PLMW-ICFP-2018
09:00 - 10:00: PLMW @ ICFP 2018 - Session 1 PLMW at Workshop Room 1
PLMW-ICFP-2018153768600000009:00 - 09:30
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-ICFP-2018153768780000009:30 - 10:00
Talk
Ronald GarciaUniversity of British Columbia
icfp-2018-catering
10:00 - 10:20: Catering - Sunday coffee break 1 at Catering
icfp-2018-catering153768960000010:00 - 10:20
Coffee break
hiw-2018-papers
10:20 - 12:00: HIW 2018 - GHC at Workshop Room 2
Chair(s): Ben GamariWell-Typed LLP
hiw-2018-papers153769080000010:20 - 10:45
Talk
Simon Peyton JonesMicrosoft Research
hiw-2018-papers153769230000010:45 - 11:10
Talk
Matthew PickeringUniversity of Bristol
hiw-2018-papers153769380000011:10 - 11:35
Talk
Ryan ScottIndiana University
hiw-2018-papers153769530000011:35 - 12:00
Other
PLMW-ICFP-2018
10:20 - 12:00: PLMW @ ICFP 2018 - Session 2 PLMW at Workshop Room 1
PLMW-ICFP-2018153769080000010:20 - 10:50
Talk
Heather MillerEcole Polytechnique Federale de Lausanne
PLMW-ICFP-2018153769260000010:50 - 12:00
Social Event
Joachim BreitnerUniversity of Pennsylvania, Niki VazouUniversity of Maryland
icfp-2018-catering
11:00 - 11:20: Catering - Sunday coffee break 2 at Catering
icfp-2018-catering153769320000011:00 - 11:20
Coffee break
icfp-2018-catering
12:00 - 13:30: Catering - Sunday lunch at Catering
icfp-2018-catering153769680000012:00 - 13:30
Lunch
PLMW-ICFP-2018
13:30 - 15:10: PLMW @ ICFP 2018 - Session 3 PLMW at Workshop Room 1
PLMW-ICFP-2018153770220000013:30 - 14:03
Talk
Simon Peyton JonesMicrosoft Research
PLMW-ICFP-2018153770418000014:03 - 14:36
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
PLMW-ICFP-2018153770616000014:36 - 15:10
Talk
Ranjit JhalaUniversity of California, San Diego
hiw-2018-papers
13:30 - 15:10: HIW 2018 - Types at Workshop Room 2
Chair(s): Niki VazouUniversity of Maryland
hiw-2018-papers153770220000013:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College
hiw-2018-papers153770370000013:55 - 14:20
Talk
My NguyenBryn Mawr College
hiw-2018-papers153770520000014:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
hiw-2018-papers153770670000014:45 - 15:10
Other
icfp-2018-catering
14:10 - 14:30: Catering - Sunday coffee break 3 at Catering
icfp-2018-catering153770460000014:10 - 14:30
Coffee break
icfp-2018-catering
15:10 - 15:30: Catering - Sunday coffee break 4 at Catering
icfp-2018-catering153770820000015:10 - 15:30
Coffee break
PLMW-ICFP-2018
15:30 - 16:30: PLMW @ ICFP 2018 - Session 4 PLMW at Workshop Room 1
PLMW-ICFP-2018153770940000015:30 - 16:30
Talk
Alejandro RussoChalmers University of Technology, Sweden, Katie OtsFacebook, Leonidas LampropoulosUniversity of Pennsylvania, David DaraisUniversity of Vermont, Ivan PerezUniversity of Nottingham, UK
hiw-2018-papers
15:30 - 16:45: HIW 2018 - Tools and Hardware at Workshop Room 2
Chair(s): Joachim BreitnerUniversity of Pennsylvania
hiw-2018-papers153770940000015:30 - 15:55
Talk
hiw-2018-papers153771090000015:55 - 16:20
Talk
Christiaan BaaijQBayLogic B.V.
hiw-2018-papers153771240000016:20 - 16:45
Other

Mon 24 Sep

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Keynote 1 at Stifel Theatre
Chair(s): Robby FindlerNorthwestern University, USA
icfp-2018-Keynotes153777240000009:00 - 10:00
Talk
Ronald GarciaUniversity of British Columbia
icfp-2018-catering
10:05 - 10:30: Catering - Monday coffee break 1 at Catering
icfp-2018-catering153777630000010:05 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Environments and Tools at Stifel Theatre
Chair(s): Alejandro RussoChalmers University of Technology, Sweden
icfp-2018-papers153777780000010:30 - 10:52
Talk
icfp-2018-papers153777915000010:52 - 11:15
Talk
Kenneth Foner, Hengchu ZhangUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
icfp-2018-papers153778050000011:15 - 11:37
Talk
Frédéric BourFacebook Paris, Thomas Réfis, Gabriel SchererINRIA Saclay
icfp-2018-papers153778185000011:37 - 12:00
Talk
Chandrakana NandiUniversity of Washington, USA, James R. WilcoxUniversity of Washington, Taylor BlauUniversity of Washington, Dan GrossmanUniversity of Washington, Zachary TatlockUniversity of Washington
icfp-2018-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2018-catering153778320000012:00 - 13:00
Lunch
icfp-2018-papers
13:00 - 14:30: Research Papers - Program Construction at Stifel Theatre
Chair(s): Wouter SwierstraUniversity of Utrecht
icfp-2018-papers153778680000013:00 - 13:22
Talk
Antonis StampoulisOriginate Inc., Adam ChlipalaMassachusetts Institute of Technology, USA
icfp-2018-papers153778815000013:22 - 13:45
Talk
Guillaume AllaisRadboud University Nijmegen, Robert AtkeyUniversity of Strathclyde, James Chapman, Conor McBride, James McKinna
icfp-2018-papers153778950000013:45 - 14:07
Talk
Cyrus OmarUniversity of Chicago, Jonathan AldrichCarnegie Mellon University
Link to publication
icfp-2018-papers153779085000014:07 - 14:30
Talk
Guannan WeiPurdue University, James Decker, Tiark RompfPurdue University
icfp-2018-catering
14:30 - 15:00: Catering - Monday coffee break 2 at Catering
icfp-2018-catering153779220000014:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:10: Research Papers - Continuations and Effects at Stifel Theatre
icfp-2018-papers153779400000015:00 - 15:23
Talk
icfp-2018-papers153779540000015:23 - 15:46
Talk
Youyou CongOchanomizu University, Japan, Kenichi AsaiOchanomizu University
icfp-2018-papers153779680000015:46 - 16:10
Talk
Oliver BračevacTU Darmstadt, Nada AminUniversity of Cambridge, Guido SalvaneschiTU Darmstadt, Sebastian ErdwegTU Delft, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt
DOI
icfp-2018-catering
16:10 - 16:40: Catering - Monday coffee break 3 at Catering
icfp-2018-catering153779820000016:10 - 16:40
Coffee break
icfp-2018-papers
16:40 - 18:10: Research Papers - Probabilistic Programming and Learning at Stifel Theatre
Chair(s): Michael SperberActive Group GmbH
icfp-2018-papers153780000000016:40 - 17:02
Talk
Conal ElliottTarget, USA
icfp-2018-papers153780135000017:02 - 17:25
Talk
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Zoubin GhahramaniUniversity of Cambridge
icfp-2018-papers153780270000017:25 - 17:47
Talk
Mitchell WandNortheastern University, USA, Ryan CulpepperCzech Technical University, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University
icfp-2018-papers153780405000017:47 - 18:10
Talk
José Bacelar AlmeiraUniversity of Minho & INESC TEC, Alcino CunhaUniversity of Minho and INESC TEC, Portugal, Nuno MacedoUniversity of Minho & INESC TEC, Hugo PachecoUniversity of Minho, Portugal, José ProençaHASLab/INESC TEC & University of Minho

Tue 25 Sep

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Keynote 2 at Stifel Theatre
Chair(s): Matthew FlattUniversity of Utah
icfp-2018-Keynotes153785880000009:00 - 10:00
Talk
Pat HanrahanStanford University, USA
icfp-2018-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2018-catering153786240000010:00 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Compilation and Concurrency at Stifel Theatre
icfp-2018-papers153786420000010:30 - 10:52
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert Harper
icfp-2018-papers153786555000010:52 - 11:15
Talk
Martin ElsmanDepartment of Computer Science, University of Copenhagen, Troels HenriksenDIKU, University of Copenhagen, Danil AnnenkovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaDIKU, University of Copenhagen
icfp-2018-papers153786690000011:15 - 11:37
Talk
Atsushi OhoriTohoku University, Japan, Katsuhiro UenoTohoku University, Hisayuki MimaTohoku University
icfp-2018-papers153786825000011:37 - 12:00
Talk
Ivan PerezUniversity of Nottingham, UK
icfp-2018-catering
12:00 - 13:00: Catering - Tuesday lunch at Catering
icfp-2018-catering153786960000012:00 - 13:00
Lunch
icfp-2018-papers
13:00 - 14:30: Research Papers - Proof Techniques and Mechanization at Stifel Theatre
Chair(s): Niki VazouUniversity of Maryland
icfp-2018-papers153787320000013:00 - 13:22
Talk
Robbert KrebbersDelft University of Technology, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Ralf JungMPI-SWS, Joseph TassarottiCarnegie Mellon University, Jan-Oliver KaiserMPI-SWS, Amin Timanyimec-Distrinet KU-Leuven, Arthur CharguéraudInria, Derek DreyerMPI-SWS
icfp-2018-papers153787455000013:22 - 13:45
Talk
Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET, Robbert KrebbersDelft University of Technology, Yann Régis-GianasUniversité Denis Diderot Paris 7, PPS, Derek DreyerMPI-SWS
icfp-2018-papers153787590000013:45 - 14:07
Talk
Sven KeidelDelft University of Technology, Netherlands, Casper Bach PoulsenDelft University of Technology, Sebastian ErdwegTU Delft
icfp-2018-papers153787725000014:07 - 14:30
Talk
Nicolas TabareauInria, Éric TanterUniversity of Chile, Matthieu SozeauInria
icfp-2018-catering
14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering
icfp-2018-catering153787860000014:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:30: Research Papers - Bidirectional Programming at Stifel Theatre
icfp-2018-papers153788040000015:00 - 15:22
Talk
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
icfp-2018-papers153788175000015:22 - 15:45
Talk
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
icfp-2018-papers153788310000015:45 - 16:07
Talk
Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
icfp-2018-papers153788445000016:07 - 16:30
Talk
Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol
icfp-2018-catering
16:30 - 17:00: Catering - Tuesday coffee break 3 at Catering
icfp-2018-catering153788580000016:30 - 17:00
Coffee break
icfp-2018-Student-Research-Competition
17:00 - 17:40: Student Research Competition - Finalist Presentations at Stifel Theatre
icfp-2018-Programming-Contest
17:40 - 18:10: Programming Contest - Contest Report and Results at Stifel Theatre

Wed 26 Sep

icfp-2018-Keynotes
09:00 - 10:00: Keynotes and Reports - Keynote 3 at Stifel Theatre
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
icfp-2018-Keynotes153794520000009:00 - 10:00
Talk
icfp-2018-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2018-catering153794880000010:00 - 10:30
Coffee break
icfp-2018-papers
10:30 - 12:00: Research Papers - Semantics at Stifel Theatre
Chair(s): Sam LindleyUniversity of Edinburgh, UK
icfp-2018-papers153795060000010:30 - 10:52
Talk
Jeremy YallopUniversity of Cambridge, UK, Tamara von GlehnUniversity of Cambridge, Ohad KammarUniversity of Oxford
Link to publication DOI Pre-print
icfp-2018-papers153795195000010:52 - 11:15
Talk
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Ralf HinzeRadboud University Nijmegen, Nicolas WuUniversity of Bristol
icfp-2018-papers153795330000011:15 - 11:37
Talk
Andrew HirschCornell University, Ross TateCornell University
icfp-2018-papers153795465000011:37 - 12:00
Talk
Brent YorgeyHendrix College, Kenneth Foner
icfp-2018-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2018-catering153795600000012:00 - 13:00
Lunch
icfp-2018-papers
13:00 - 14:30: Research Papers - Gradual Typing and Proving at Stifel Theatre
Chair(s): Éric TanterUniversity of Chile
icfp-2018-papers153795960000013:00 - 13:22
Talk
Ben GreenmanNortheastern University, Matthias FelleisenNortheastern University, USA
icfp-2018-papers153796095000013:22 - 13:45
Talk
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Eric WalkingshawOregon State University
icfp-2018-papers153796230000013:45 - 14:07
Talk
Max S. NewNortheastern University, Amal AhmedNortheastern University, USA
icfp-2018-papers153796365000014:07 - 14:30
Talk
Joachim BreitnerUniversity of Pennsylvania, Antal Spector-Zabusky, Yao LiUniversity of Pennsylvania, Christine RizkallahUniversity of New South Wales, John WiegleyBAE Systems, Stephanie WeirichUniversity of Pennsylvania, USA
icfp-2018-catering
14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering
icfp-2018-catering153796500000014:30 - 15:00
Coffee break
icfp-2018-papers
15:00 - 16:10: Research Papers - Complexity and Bounds at Stifel Theatre
icfp-2018-papers153796680000015:00 - 15:23
Talk
Ankush DasCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Frank PfenningCarnegie Mellon University, USA
icfp-2018-papers153796820000015:23 - 15:46
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham
icfp-2018-papers153796960000015:46 - 16:10
Talk
Beniamino AccattoliInria & Ecole Polytechnique, Stéphane Graham-LengrandCNRS, France, Delia KesnerIRIF, France / University of Paris Diderot, France
icfp-2018-catering
16:10 - 16:30: Catering - Wednesday coffee break 3 at Catering
icfp-2018-catering153797100000016:10 - 16:30
Coffee break
icfp-2018-papers
16:30 - 17:15: Research Papers - Dependent Types at Stifel Theatre
Chair(s): David ChristiansenGalois, Inc.
icfp-2018-papers153797220000016:30 - 16:52
Talk
Jesper CockxChalmers | University of Gothenburg, Andreas AbelGothenburg University
icfp-2018-papers153797355000016:52 - 17:15
Talk
Larry Diehl, Denis FirsovUniversity of Iowa, USA, Aaron StumpThe University of Iowa, USA
icfp-2018-Keynotes
17:15 - 18:00: Keynotes and Reports - Closing Events at Stifel Theatre
icfp-2018-catering
18:00 - 19:00: Catering - Wednesday food trucks at Catering
icfp-2018-catering153797760000018:00 - 19:00
Dinner
icfp-2018-Social-Events
19:00 - 21:30: Social Events - Strange Loop Party at City Museum
icfp-2018-Social-Events153798120000019:00 - 21:30
Social Event

Thu 27 Sep

tyde-2018
08:45 - 10:00: TyDe 2018 - Applications and Monoids at Workshop Room 4
tyde-2018153803070000008:45 - 08:55
Talk
Richard A. EisenbergBryn Mawr College, Niki VazouUniversity of Maryland
tyde-2018153803130000008:55 - 09:20
Talk
Kirill SmirenkoSaint Petersburg State University, Semyon Grigorev
tyde-2018153803280000009:20 - 09:40
Talk
tyde-2018153803400000009:40 - 10:00
Research paper
Victor Cacciari MiraldoUniversity of Utrecht, Harold CarrOracle Labs, Maurice HerlihyBrown University, Alex KoganOracle Labs, Mark MoirOracle Labs
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - Introduction to Programming and Proving in Cedille at Tutorial Room 1
Chair(s): Aaron StumpThe University of Iowa, USA
icfp-2018-Tutorials153803160000009:00 - 12:00
Other
Aaron StumpThe University of Iowa, USA
npfl-2018-papers
09:00 - 10:00: NPFL 2018 - Keynote at Workshop Room 3
Chair(s): Dominic Steinitz
npfl-2018-papers153803160000009:00 - 10:00
Day opening
haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Welcome at Workshop Room 1
Chair(s): Nicolas WuUniversity of Bristol
haskellsymp-2018-papers153803160000009:00 - 10:00
Day opening
Nicolas WuUniversity of Bristol
icfp-2018-catering
10:00 - 10:20: Catering - Thursday coffee break 1 at Catering
icfp-2018-catering153803520000010:00 - 10:20
Coffee break
npfl-2018-papers
10:20 - 11:20: NPFL 2018 - Talks I at Workshop Room 3
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
tyde-2018
10:20 - 12:00: TyDe 2018 - Types at Workshop Room 4
tyde-2018153803640000010:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
tyde-2018153803790000010:45 - 11:10
Research paper
Joomy KorkutWesleyan University, David ChristiansenGalois, Inc.
tyde-2018153803940000011:10 - 11:35
Research paper
Victor Cacciari MiraldoUniversity of Utrecht, Alejandro SerranoUtrecht University
tyde-2018153804090000011:35 - 12:00
Research paper
Ilya YanokUniversita della Svizzera italiana, Nate Nystrom
icfp-2018-catering
11:00 - 11:20: Catering - Thursday coffee break 2 at Catering
icfp-2018-catering153803880000011:00 - 11:20
Coffee break
npfl-2018-papers
11:20 - 12:00: NPFL 2018 - Talks II at Workshop Room 3
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers153804000000011:20 - 12:00
Talk
Eva RichterPotsdam University, Matti RichterPotsdam University
icfp-2018-catering
12:00 - 13:30: Catering - Thursday lunch at Catering
icfp-2018-catering153804240000012:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - Direct Manipulation Programming in Sketch-n-Sketch at Tutorial Room 1
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago
icfp-2018-Tutorials153804600000013:00 - 16:00
Other
Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Justin Lubin, Mikaël MayerEPFL, Switzerland
tyde-2018
13:30 - 14:30: TyDe 2018 - Keynote at Workshop Room 4
tyde-2018153804780000013:30 - 14:20
Talk
npfl-2018-papers
13:30 - 14:30: NPFL 2018 - Talks III at Workshop Room 3
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
icfp-2018-catering
14:10 - 14:30: Catering - Thursday coffee break 3 at Catering
icfp-2018-catering153805020000014:10 - 14:30
Coffee break
tyde-2018
14:30 - 15:10: TyDe 2018 - Effect Handlers & Abstract Machine at Workshop Room 4
tyde-2018153805080000014:20 - 14:45
Research paper
Daan LeijenMicrosoft Research
tyde-2018153805230000014:45 - 15:10
Research paper
npfl-2018-papers
14:30 - 15:10: NPFL 2018 - Talks IV at Workshop Room 3
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers153805140000014:30 - 15:10
Talk
Justus SagemüllerUniversität zu Köln
icfp-2018-catering
15:10 - 15:30: Catering - Thursday coffee break 4 at Catering
icfp-2018-catering153805380000015:10 - 15:30
Coffee break
tyde-2018
15:30 - 16:10: TyDe 2018 - Error Messages & Contexts at Workshop Room 4
tyde-2018153805500000015:30 - 15:50
Talk
Robert AtkeyUniversity of Strathclyde, James WoodUniversity of Strathclyde
tyde-2018153805620000015:50 - 16:10
Talk
Joseph EremondiUniversity of British Columbia, Wouter SwierstraUniversity of Utrecht, Jurriaan HageUtrecht University
npfl-2018-papers
15:30 - 16:10: NPFL 2018 - Talks V at Workshop Room 3
Chair(s): Dominic SteinitzTweag I/O
npfl-2018-papers153805500000015:30 - 16:10
Talk
Pavel PanchekhaUniversity of Washington
icfp-2018-Social-Events
17:30 - 19:30: Social Events - Industrial Reception at Industrial Reception Room
icfp-2018-Social-Events153806220000017:30 - 19:30
Social Event
icfp-2018-Social-Events
19:00 - 22:00: Social Events - Strange Loop Unsessions at Unsessions Room
icfp-2018-Social-Events153806760000019:00 - 22:00
Social Event

Fri 28 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Tutorial Room 1
Chair(s): Ronald GarciaUniversity of British Columbia, Eric Tanter
icfp-2018-Tutorials153811800000009:00 - 12:00
Other
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
mlfamilyworkshop-2018-papers
09:00 - 10:00: ML 2018 - Invited talk at Workshop Room 2
icfp-2018-catering
10:00 - 10:20: Catering - Friday coffee break 1 at Catering
icfp-2018-catering153812160000010:00 - 10:20
Coffee break
mlfamilyworkshop-2018-papers
10:20 - 11:20: ML 2018 - A at Workshop Room 2
mlfamilyworkshop-2018-papers153812280000010:20 - 10:50
Talk
Stephen DolanUniversity of Cambridge
mlfamilyworkshop-2018-papers153812460000010:50 - 11:20
Talk
Aaron WeissNortheastern University, Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
Pre-print
icfp-2018-catering
11:00 - 11:20: Catering - Friday coffee break 2 at Catering
icfp-2018-catering153812520000011:00 - 11:20
Coffee break
mlfamilyworkshop-2018-papers
11:20 - 12:00: ML 2018 - B at Workshop Room 2
mlfamilyworkshop-2018-papers153812640000011:20 - 11:40
Talk
Jeremy YallopUniversity of Cambridge, UK, Oleg Kiselyov
mlfamilyworkshop-2018-papers153812760000011:40 - 12:00
Talk
Martin ElsmanDepartment of Computer Science, University of Copenhagen, Philip MunksgaardIntelligent Alpha AG, Switzerland, Ken Friis LarsenDIKU, University of Copenhagen
icfp-2018-catering
12:00 - 13:30: Catering - Friday lunch at Catering
icfp-2018-catering153812880000012:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - Beluga: Programming Proofs About Formal Systems at Tutorial Room 1
Chair(s): Jacob Thomas Errington, Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2018-Tutorials153813240000013:00 - 16:00
Talk
Brigitte PientkaMcGill University, Jacob Thomas Errington, Aliya HameerMcGill University
mlfamilyworkshop-2018-papers
13:30 - 14:30: ML 2018 - C at Workshop Room 2
mlfamilyworkshop-2018-papers153813420000013:30 - 14:00
Talk
Guido MartínezCIFASIS-CONICET / Universidad Nacional de Rosario, Argentina, Danel AhmanInria, France, Victor Dumitrescu, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Cătălin HriţcuInria Paris, Monal Narasimhamurthy, Zoe ParaskevopoulouPrinceton University, Clément Pit-ClaudelMIT CSAIL, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
mlfamilyworkshop-2018-papers153813600000014:00 - 14:30
Talk
icfp-2018-catering
14:10 - 14:30: Catering - Friday coffee break 3 at Catering
icfp-2018-catering153813660000014:10 - 14:30
Coffee break
mlfamilyworkshop-2018-papers
14:30 - 15:10: ML 2018 - D at Workshop Room 2
mlfamilyworkshop-2018-papers153813780000014:30 - 14:50
Talk
mlfamilyworkshop-2018-papers153813900000014:50 - 15:10
Talk
icfp-2018-catering
15:10 - 15:30: Catering - Friday coffee break 4 at Catering
icfp-2018-catering153814020000015:10 - 15:30
Coffee break
mlfamilyworkshop-2018-papers
15:30 - 16:10: ML 2018 - E at Workshop Room 2
mlfamilyworkshop-2018-papers153814140000015:30 - 16:10
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław

Sat 29 Sep

FHPC-2018-papers
09:00 - 10:00: FHPC 2018 - FHPC Paper Session 1 at Workshop Room 3
Chair(s): Kei DavisLos Alamos National Laboratory
FHPC-2018-papers153820440000009:00 - 10:00
Talk
Vadim ZalivaCarnegie Mellon Silicon Valley, Franz FranchettiCarnegie Mellon University
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - Implement your own reactive language: the ReactiveML experiment at Tutorial Room 2
Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
farm-2018-papers
09:00 - 10:00: FARM 2018 - Introduction and Session 1 at Workshop Room 1
erlang-2018-papers
09:00 - 10:00: Erlang 2018 - Opening & Keynote talk at Workshop Room 2
erlang-2018-papers153820440000009:00 - 09:10
Day opening
Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University
erlang-2018-papers153820500000009:10 - 10:00
Talk
Christopher MeiklejohnCarnegie Mellon University
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - Purely functional UIs with Reacl at Tutorial Room 1
Chair(s): Michael SperberActive Group GmbH
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
Michael SperberActive Group GmbH
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - Writing a chat system in Pony at Tutorial Room 3
Chair(s): Andrew Turley
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
icfp-2018-catering
10:00 - 10:20: Catering - Saturday coffee break 1 at Catering
icfp-2018-catering153820800000010:00 - 10:20
Coffee break
erlang-2018-papers
10:20 - 11:00: Erlang 2018 - Erlang Latest News at Workshop Room 2
erlang-2018-papers153820920000010:20 - 11:00
Product announcement
icfp-2018-catering
11:00 - 11:20: Catering - Saturday coffee break 2 at Catering
icfp-2018-catering153821160000011:00 - 11:20
Coffee break
erlang-2018-papers
11:20 - 12:00: Erlang 2018 - Session 1 at Workshop Room 2
erlang-2018-papers153821280000011:20 - 11:45
Full-paper
Alex GerdesChalmers | University of Gothenburg, John HughesChalmers University of Technology, Nicholas Smallbone, Stefan HanenbergUniversity of Duisburg-Essen, Sebastian IvarssonChalmers University of Technology, Meng WangUniversity of Bristol
erlang-2018-papers153821430000011:45 - 12:00
Short-paper
icfp-2018-catering
12:00 - 13:30: Catering - Saturday lunch at Catering
icfp-2018-catering153821520000012:00 - 13:30
Lunch
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Tutorial Room 2
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - Hop.js: JavaScript multitier programming at Tutorial Room 3
Chair(s): Manuel SerranoInria, France
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
Manuel SerranoInria, France
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - Pijul, a purely functional version control system at Tutorial Room 1
Chair(s): Pierre-Étienne Meunier
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
erlang-2018-papers
13:30 - 14:30: Erlang 2018 - Session 2 at Workshop Room 2
erlang-2018-papers153822060000013:30 - 13:55
Full-paper
Aman Shankar Mathur, Burcu Kulahcioglu OzkanMax Planck Institute for Software Systems (MPI-SWS), Rupak MajumdarMPI-SWS
erlang-2018-papers153822210000013:55 - 14:20
Full-paper
Joseph HarrisonUniversity of Kent
erlang-2018-papers153822360000014:20 - 14:30
Coffee break
icfp-2018-catering
14:10 - 14:30: Catering - Saturday coffee break 3 at Catering
icfp-2018-catering153822300000014:10 - 14:30
Coffee break
erlang-2018-papers
14:30 - 15:10: Erlang 2018 - Session 3 at Workshop Room 2
erlang-2018-papers153822420000014:30 - 14:55
Full-paper
erlang-2018-papers153822570000014:55 - 15:10
Short-paper
Jörgen BrandtHumboldt-Universität zu Berlin, Wolfgang Reisig
icfp-2018-catering
15:10 - 15:30: Catering - Saturday coffee break 4 at Catering
icfp-2018-catering153822660000015:10 - 15:30
Coffee break
erlang-2018-papers
15:30 - 16:10: Erlang 2018 - Final talk and Closing at Workshop Room 2
erlang-2018-papers153822780000015:30 - 15:55
Full-paper
Nachiappan Valliappan, John HughesChalmers University of Technology
erlang-2018-papers153822930000015:55 - 16:10
Day closing
Adrian FrancalanzaUniversity of Malta, Natalia ChechinaBournemouth University

Sun 23 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Catering
Workshop Room 1
Workshop Room 2
10:20 - 12:00
13:30 - 15:10
Workshop Room 3
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:30
11:20 - 12:00
13:30 - 14:10
13:30 - 14:30
14:30 - 15:10
15:30 - 16:10

Thu 27 Sep 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Catering
Industrial Reception Room
Tutorial Room 1
Unsessions Room
Workshop Room 1
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:30
11:20 - 12:00
13:30 - 14:10
13:30 - 14:30
14:30 - 15:10
15:30 - 16:10
Workshop Room 2
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:00
11:20 - 12:30
13:30 - 14:30
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10
Workshop Room 3
09:00 - 10:00
10:20 - 11:20
10:20 - 11:00
11:20 - 12:30
11:20 - 12:00
13:30 - 14:30
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10
Workshop Room 4
10:20 - 11:20
10:20 - 12:00
11:20 - 12:30
11:20 - 12:00
13:30 - 14:30
13:30 - 15:10

Fri 28 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Catering
Tutorial Room 1
Workshop Room 1
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:00
11:20 - 12:30
13:30 - 14:10
13:30 - 14:30
14:30 - 15:10
15:30 - 16:10
Workshop Room 2
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:00
11:20 - 12:30
13:30 - 14:30
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10
Workshop Room 3
09:00 - 10:00
10:20 - 11:20
10:20 - 11:00
11:20 - 12:00
11:20 - 12:30
13:30 - 14:30
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10
Workshop Room 4
09:00 - 10:00
10:20 - 11:00
10:20 - 11:20
11:20 - 12:30
11:20 - 12:00
13:30 - 14:30
13:30 - 14:10
14:30 - 15:10
15:30 - 16:10

Mon 24 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Catering
Stifel Theatre

Wed 26 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Catering
City Museum
Stifel Theatre

Thu 27 Sep 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Catering
Industrial Reception Room
Tutorial Room 1
Unsessions Room
Workshop Room 1
09:00 - 10:00
Workshop Room 3
Workshop Room 4
08:45 - 08:55
13:30 - 14:20

Sat 29 Sep 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Catering
Tutorial Room 1
Tutorial Room 2
Tutorial Room 3
Workshop Room 2
09:00 - 09:10
Workshop Room 3
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)