Welcome to the website for IFL 2017, the 29th Symposium on Implementation and Application of Functional Languages. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2017 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Edwin Brady is a Lecturer in Computer Science at the University of St Andrews in Scotland, UK. His research interests there include programming language design, in particular type systems and domain specific languages. Since 2008, he has been designing and implementing the Idris programming language, a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he's not doing that, he's likely to be playing a game of Go, wrestling with the crossword, or stuck on a train somewhere in Britain.
Oleg Kiselyov
Melinda Tóth, István Bozó, and Tamás Kozsik
Alejandro Serrano and Jurriaan Hage
Arjan Boeijink, Hendrik Folmer and Jan Kuper
Rudy Braquehais and Colin Runciman
Christopher Schwaab, Edwin Brady and Kevin Hammond
Gregor Ulm, Emil Gustavsson and Mats Jirstrand
Viktoria Zsok
Ruben P. Pieters, Tom Schrijvers and Exequiel Rivas
Mart Lubbers, Rinus Plasmeijer and Pieter Koopman
Tim Steenvoorden and Rinus Plasmeijer
Artjoms Šinkarovs, Sven-Bodo Scholz, Robert Stewart and Hans-Nikolai Viessmann
Csongor Kiss, Matthew Pickering and Toby Shaw
Stijn Schildermans and Kris Aerts
Daniel Fridlender, Alejandro Gadea, Miguel Pagano and Leonardo Rodríguez
Yasir Alguwaifli and Kevin Hammond
Arjan Oortgiese, John van Groningen, Peter Achten and Rinus Plasmeijer
Joachim Breitner
Matthew Ahrens and Kathleen Fisher
Markus Klinik, Jan Martin Jansen and Rinus Plasmeijer
Clemens Grelck and Nikolaos Sarris
Alejandro Serrano and Jurriaan Hage
Harry Clarke and Dominic Orchard
Antal Spector-Zabusky
Hans-Nikolai Vießmann and Sven-Bodo Scholz
The 29th IFL is organized by the Theory and Algorithms Groups of the University of Bristol. The event will be held in Engineer's House which is situated in north Bristol within walking distance of Clifton Suspension Bridge.
Engineer's House
A full guide for getting to the venue can be found on the Engineer's House Travel Guide. In particular, there is a shuttle bus service that is provided from the West End Car Park, which may suit those who are staying close to the centre of town.
The venue is within the city and connected by public transport. The number 8 bus directly connects the train station and the venue whilst the 9 stops a short way away.
Note that if you intend to travel a lot by bus then it is cheaper and easier to buy your tickets on a mobile device using the mtickets app.
For more precise instructions, please consult the travelwest website or Google Maps.
The easiest way to get to Bristol from Europe is via Bristol Airport.
Bristol is directly connected to Bristol Airport by bus (A1) . The journey takes around 20 minutes to Bristol Bus Station and costs £11 for a 28 day return or £7 with the display of a valid student card.
For those travelling from outside Europe, you may arrive at Heathrow Airport. From Heathrow Airport, there are two main options, coach or train.
Coach National Express coaches leave Heathrow Airport approximately every hour to Bristol Coach Station (see the schedule on their website). The journey takes around 2 hours to Bristol Coach Station. There is a taxi rank at Bristol Coach Station.
Train From Heathrow Airport, taking the train to Bristol will require you to go via London Paddington. Getting to London Paddington can be done via the Heathrow Express.
There is a direct train from London Paddington to Bristol Temple Meads, which is the central station in Bristol. The journey takes around 1 hour 45 minutes, see the schedule on the Great Western Railway site. There is a taxi rank at Bristol Temple Meads.
Once at Bristol, it is easiest to get around using the local taxi services. The local hackney taxis are the only ones allowed to be painted Bristol Blue and have regulated prices. There are also many Uber taxis available.
There are local buses, but the routes can be complex. Google Maps tends to be accurate about timings and bus stop locations and connections.
The symposium runs from Wednesday morning until Friday afternoon. Each day features a keynote tutorial, two regular tutorials, and eight regular talks. Regular talks should last no more than 25 minutes including questions. Thursday evening is reserved for the social excursion and the symposium banquet.
The Symposium Schedule can be found here:
Symposium ScheduleSubmission deadline for draft papers: | |
Notification of acceptance for presentation: | |
Early registration deadline: | |
Late registration deadline: | |
Submission deadline for pre-symposium proceedings: | Mon 21 August, 2017 |
29th IFL Symposium: | Wed 30 August 2017 - Fri 1 September 2017 |
Submission deadline for post-symposium proceedings: | Mon 4 December 2017 |
Notification of acceptance for post-symposium proceedings: | Wed 31 January, 2018 |
Camera-ready version for post-symposium proceedings: | Mon 12 March, 2018 |
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM SIGCONF (sigconf) two columns conference format, which can be found at https://www.acm.org/publications/proceedings-template. Specifically, you must use the `sigconf` option of the `acmart` package, which can be included in LaTeX with the following:
\documentclass[sigconf]{acmart}
\acmConference[IFL'17]{International Symposium on Implementation and Application of Functional Languages}{August 2017}{Bristol, United Kingdom}
\acmYear{2017}
\copyrightyear{2017}
For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm.
Submit through EasyChair
The submission process of IFL may be unfamiliar to authors who are used to conferences and symposia that feature peer-reviewed proceedings that are formally published and distributed at the event. IFL does not work that way.
The idea of IFL is to present work in progress at the symposium and to gather feedback from the other participants. After the symposium the feedback can be incorporated into a full research paper which is submitted to the peer-reviewed post-symposium proceedings that are formally published.
Hence, there are three stages of submission:
We offer different fees depending on early/late registration and student status:
Student | Regular | |
---|---|---|
Early Bird | £200 | £260 |
Late Bird | £240 | £300 |
Registration includes participation in the symposium, lunches, coffee breaks, the excursion and the symposium banquet on Thursday.
RegisterNicolas Wu (Chair) | University of Bristol, UK |
Kenichi Asai | Ochanomizu University, Japan |
Sandrine Blazy | University of Rennes 1, France |
Carlos Camarao | Universidade Federal de Minas Gerais, Brazil |
Stephen Dolan | University of Cambridge, UK |
Jurriaan Hage | Utrecht University, Netherlands |
Yukiyoshi Kameyama | University of Tsukuba, Japan |
Benjamin Lerner | Brown University, USA |
Bas Lijnse | Radboud University, Netherlands |
Garrett Morris | University of Kansas, USA |
Miguel Pagano | Universidad Nacional de Córdoba, Argentina |
Tomas Petricek | Alan Turing Institute, UK |
Maciej Piróg | University of Wrocław, Poland |
Exequiel Rivas | Universidad Nacional de Rosario, Argentina |
Neil Sculthorpe | Nottingham Trent University, UK |
Melinda Tóth | Eötvös Loránd University, Hungary |
Phil Trinder | Glasgow University, UK |
Kanae Tsushima | National Institute of Informatics, Japan |
Marcos Viera | Universidad de la Republica, Uruguay |
Meng Wang | University of Kent, UK |
The excursion will be at Bristol Zoo which is in close proximity to the conference venue. This is conveniently the same location as the banquet which will be held in Clifton Pavillion, inside the grounds of the Zoo. Additional banquet tickets are availible for partners for £35 and can be booked on the same site as registration.
A Gorilla at Bristol Zoo - Charles Marshall