Home >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Anyone with an active role within the website of ICFP 2017 (e.g. authors, committee members) can start a blog.Want to write a blog but don't have an active role on the website yet? Please ask one of the organizers or use the contact form to request post privileges. Note that you need to be logged in, in order to post a blog.

ICFP 2017Tue 19 Sep 2017

The 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) took place in the Mathematical Institute in Oxford from 3rd to 9th September 2017, chaired by Jeremy Gibbons and colocated with [Formal Structures for Computation and Deduction](http://www.cs.ox.ac.uk/co

A student trying to make themselves at homeTue 19 Sep 2017

Attending a conference as a student can be challenging, especially if they have not attended lots of them. It took me a number of conferences and workshops (I appreciate these opportunities) to start feeling at home in these events. I am Koko Muroya, a studen …

Using Slack at ICFP 2017Tue 19 Sep 2017

Talks at ICFP 2017 were livestreamed. In order to allow remote participants also to ask questions, we set up a Slack workspace for the conference. This note records some of my experience with doing so, and some lessons learned. I’m grateful for help from [Lindsey Kupe …

A Blog by Simon ArchipoffFri 15 Sep 2017


I am Simon Archipoff, I am a PhD student at Université de Bordeaux, in computer science.

I wanted to attend to ICFP and several co-located workshop because I have a old and deep interest in functional programming.

I’ll try now to express a feeling that explain my interest.

Human activiti …

filter(JustinPombrio, ICFP)Sat 9 Sep 2017

Shameless Plug

First, an advertisement. I’m graduating in a year, and want to either start as a postdoc or join industry, ideally in or near the US Northeast.

My primary research area is in syntactic sugar. But I have also done (or supervised) research in JavaScript semantics, crowdsourcin …

Log-time Sampling and Updating for Discrete DistributionsSat 9 Sep 2017

I am Michael Walker, a Ph.D student at the University of York working on concurrency testing. This post is about one of my favourite talks from the Haskell Symposium this year, Ode on a Random Urn, a functi …

Social events with the ICFP communityFri 8 Sep 2017

ICFP 2017 has multiple social events, which established a potent community spirit at the conference. The two, which are more strongly associated with the main ICFP conference, are the welcome reception, held on the first evening of the main conference, and the banquet, held on the last. Addition …

No Country for Polymaths*Thu 7 Sep 2017

Look at this picture for a moment, remember how you feel and what you think. Later, I will tell you more about it.


“Jules Henri Poincaré**, 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of scie …

Artificial Intelligence at ICFPThu 7 Sep 2017

I am Adam Ścibior, a third year PhD student at University of Cambridge and Max Planck Institute for Intelligent Systems. I work on probabilistic programming, which puts me at the intersection of the fields of Machine Learning and Programming Languages. I was therefore delighted to see that Artif …

Giving a talk at HOPEWed 6 Sep 2017

I am Youyou Cong, a second-year PhD student at Ochanomizu University in Tokyo, Japan.

I gave a talk at the HOPE workshop, which was held before the main conference. The talk was about my recent collaborative work on natural language semantics. N …

Sometimes people behave badlyMon 4 Sep 2017

Yesterday, Sunday September 3rd, was the first day of workshops around ICFP – the first day of the conference week – and I noticed something strange: someone is using the conference notepads to leave small insulting notes about a specific university they hate.

The anonymous note says, slightl …

Why am I going to ICFP 2017? (1/2)Sat 2 Sep 2017

I am William J. Bowman, a sixth year Ph.D. student at Northeastern University. I am once more attending, contributing to, and volunteering at ICFP. But why do I do that?

As I prepare for ICFP 2017, I asked my self “why do I go to ICFP?”. I found the question harder …

CafesMon 28 Aug 2017

Here are some suggestions for cafes around the venue and colleges, both for breakfasts (in case you’re staying somewhere without breakfast) and for lunches (in case you want to avoid the crowds at the venue). Many of the restaurants are …

St Giles' FairWed 17 May 2017

St Giles’ Fair is traditionally held in Oxford on the Monday and Tuesday following the first Sunday after St Giles’ Day, which is 1st September; in 2017, it will be on Monday 3rd and Tuesday …

SightseeingWed 17 May 2017

The main Tourist Information Office is on Broad Street in the centre of town; you can get maps and tickets here, and there is also a bureau de change with good exchange rates. There is a hop-on, hop-off [open-top bus tour](http://www.citysightsee

Walking, running, puntingWed 17 May 2017

There is a number of nice places around Oxford to go for a walk or a run, in case you want some fresh air.

My favourite running route is round the University Parks. The perimeter is a bit over 2km. There are two entrances on the west side on Parks Road, one on the …

Pubs and barsWed 17 May 2017

The Royal Oak, just across the road from the venue, is very good. But it’s not very big, so if you all go there it will be a very tight squeeze. I suggest instead that you spread yourselves out among the following hostelries.

Near the venue

RestaurantsWed 17 May 2017

This is a list of restaurant recommendations, either on account of convenience or of quality (and many of both!). Those I have personally enjoyed are indicated with an asterisk. There are almost no nearby restaurants that I would specifically recommend avoiding; so the unasterisked restaurants i …

ICFP 2017 local informationWed 17 May 2017

Welcome to ICFP in Oxford!

The most important information about the conference is available through the menus on the conference website. In this series of blog posts you will find additional information—about: