Latest Blogs

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 …

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 …

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 …

A Blog by Simon ArchipoffFri 15 Sep 2017

Hi,

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 …

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

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 …

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

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.

hue

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

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 …

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

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

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 …

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

Conference Time and RoomSat 17 Jun 2017

ISMM 2017 will be held on Sunday, June 18, starting at 8.30am in Room “Aula Master” at the Universitat Politècnica de Catalunya.

For more information about program and venue see https://conf.researchr.org/program/ismm-2017/program-ismm-2017 and https://conf.researchr.org/venue/ismm-2017/upc

A Blog by Ivica CrnkovicThu 1 Jun 2017

It is 360 days to ICSE 2018 - so just less than a year. An at this time, in a year there will be a banquet, with celebration of 50 years of software engineering. The place for the banquet is selected! Once a shipyard, one of the largest in Europe, today a large building [Eriksbergshallen] …

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 …

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

  • [The Royal …