Welcome to IFL 2014
IFL 2014 will be held October 1st through 3rd at Northeastern University in Boston, Massachusetts.
Follow @IFL_2014 on Twitter for the latest news on IFL.
Getting to IFL
On October 1, IFL will be in the CSC Ballroom in Curry Student Center.
The Curry Center is Building 50 on this map.
The Ballroom is located on the second floor.
On October 2 & 3, IFL will be in the Raytheon Ampitheater
in Egan Research Center. Egan
is Building 60
map. The Raytheon Ampitheater is located at the west end of the
Northeastern University, including both buildings where IFL will be
held, is located near the Northeastern stop on the Green Line
and the Ruggles stop on the Orange Line of
the MBTA. Directions are available
Banquet and Excursion
For the excursion, we will be taking a duck boat tour across Boston. We will be
leaving the conference venue at 3:30PM. The pick-up point for the duck boat is here:
The conference banquet will be held at Legal Seafoods at Copley Place, which is
located across the street from the duck boat pick-up location. The dinner is scheduled
to start at 7:30PM.
Submission is now closed.
Pre-proceedings for IFL are available as
a ZIP archive of all of the
papers and as an Indiana University technical report.
The invited talk for IFL 2014 will be given by Niko Matsakis of Mozilla Research
Wednesday, Oct 1
Session: Interfacing. Chair: Peter Achten
Session: Language Extension. Chair: Matthew Fluet
Session: Keynote. Chair: Sam Tobin-Hochstadt
- 1:30 Niko Matsakis, Rust: Ownership and borrowing can change the world!
Session: Data Flow. Chair: Niko Matsakis
Thursday, Oct 2
Session: Analysis. Chair: Sven-Bodo Schulz
Session: Encoding. Chair: Clemens Grelck
Session: Types. Chair: Andrew Gill
3:30 Depart for excursion and banquet
Friday, Oct 3
Session: Parallelism. Chair: Lars Bergstrom
Session: Transformation. Josef Svenningsson
Session: Coordination. Chair: Rinus Plasmeijer
Session: Tools and Extensions. Chair: Sam Tobin-Hochstadt
Where to eat
There are numerous restaurants near Northeastern:
- Symphony Sushi
- A sushi restaurant, 5 minutes walk
- Pho and I
- Thai and Vietnamese food, 5 minutes walk.
- Pizzeria Uno
- Deep dish pizza, 5 minutes walk.
- Punter's Pub
- A bar, adjacent to Northeastern.
- The Squealing Pig
- A bar with food, 15 minutes walk.
- Woody's Grill and Tap
- Brick oven pizza, 15 minutes walk.
This is just a small selection;
have many more.
- Submission deadline for draft papers: September 8th --- NEW DEADLINE
- Notification of acceptance for presentation: September 10
Early registration deadline: September 11
Late registration deadline: September 17
- Submission deadline for pre-symposium proceedings: September 24
- 26th IFL Symposium: October 1-3
- Submission deadline for post-symposium proceedings: December 15
- Notification of acceptance for post-symposium proceedings: January 31 2015
- Camera-ready version for post-symposium proceedings: March 15 2015
All dates are Anywhere on Earth.
Call For Papers
Available in Plain Text and in
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 2014 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
Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time
may work submitted to IFL be simultaneously submitted to other venues;
submissions must adhere to ACM SIGPLAN's republication policy:
The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. Hence,
publications that appear only in the draft proceedings do not count as
publication for the ACM SIGPLAN republication policy. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.
Boston provides a wide variety of hotel choices. Northeastern University is on the MBTA Green line, and easily accessible from most of Boston. A few recommended hotel choices near Northeastern:
Email the conference organizers for additional hotel recommendations.
- Sam Tobin-Hochstadt, Chair
- Sam Tobin-Hochstadt, Indiana University
- Rinus Plasmeijer, Radboud University Nijmegen
- Atze Dijkstra, Utrecht University
- Colin Runciman, University of York
- Graham Hutton, University of Nottingham
- Mary Sheeran, Chalmers University of Technology
- Patricia Johann, Appalachian State University
- Matthew Fluet, Rochester Institute of Technology
- Josef Svenningsson, Chalmers University of Technology
- Małgorzata Biernacka, University of Wroclaw
- Peter Achten, Radboud Univerity Nijmegen
- Laura Castro, University of A Coruña
- Hai Paul Liu, Intel Labs
- Kathryn Gray, Cambridge University
- Lars Bergstrom, Mozilla Research
- Lindsey Kuper, Indiana University
- Nicolas Wu, Oxford
- T. Stephen Strickland, Brown University
- Xavier Clerc, INRIA