Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

ICFP’s tutorials are the successor to the CUFP tutorials from previous years, but also tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool.

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00
T01: Introduction to Programming and Proving in CedilleTutorials at Burlington Route
Chair(s): Aaron Stump The University of Iowa, USA
09:00
3h
Other
T01: Introduction to Programming and Proving in Cedille
Tutorials
Aaron Stump The University of Iowa, USA, Chris Jenkins The University of Iowa, Colin McDonald
13:00 - 16:00
T02: Direct Manipulation Programming in Sketch-n-SketchTutorials at Burlington Route
Chair(s): Ravi Chugh University of Chicago, Brian Hempel University of Chicago, Justin Lubin , Mikaël Mayer EPFL, Switzerland
13:00
3h
Other
T02: Direct Manipulation Programming in Sketch-n-Sketch
Tutorials
Nick Collins University of Chicago, Brian Hempel University of Chicago, Ravi Chugh University of Chicago, Mikaël Mayer EPFL, Switzerland, Justin Lubin

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed LanguagesTutorials at Texas Special
Chair(s): Ronald Garcia University of British Columbia, Éric Tanter University of Chile & Inria Paris
09:00
3h
Other
T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
Tutorials
Ronald Garcia University of British Columbia, Éric Tanter University of Chile & Inria Paris
13:00 - 16:00
T04: Beluga: Programming Proofs About Formal SystemsTutorials at Texas Special
Chair(s): Jacob Thomas Errington McGill University, Aliya Hameer McGill University, Brigitte Pientka McGill University
13:00
3h
Talk
T04: Beluga: Programming Proofs About Formal Systems
Tutorials
Brigitte Pientka McGill University, Jacob Thomas Errington McGill University, Aliya Hameer McGill University

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00
T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and gamesTutorials at Frisco
Chair(s): Jose Calderon Galois, Inc., Eric Mertens Galois, Inc.
09:00
3h
Other
T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
Tutorials
Eric Mertens Galois, Inc., Jose Calderon Galois, Inc.
09:00 - 12:00
T07: Writing a chat system in PonyTutorials at Texas Special
Chair(s): Andrew Turley
09:00
3h
Other
T07: Writing a chat system in Pony
Tutorials
09:00 - 12:00
T05: Purely functional UIs with ReaclTutorials at Wabash Cannonball
Chair(s): Michael Sperber Active Group GmbH
09:00
3h
Other
T05: Purely functional UIs with Reacl
Tutorials
Michael Sperber Active Group GmbH
13:00 - 16:00
T09: Pijul, a purely functional version control systemTutorials at Frisco
Chair(s): Pierre-Étienne Meunier
13:00
3h
Other
T09: Pijul, a purely functional version control system.
Tutorials
13:00 - 16:00
T10: Hop.js: JavaScript multitier programmingTutorials at Texas Special
Chair(s): Manuel Serrano Inria, France
13:00
3h
Other
T10: Hop.js: JavaScript multitier programming
Tutorials
Manuel Serrano Inria, France
13:00 - 16:00
T08: Implement your own reactive language: the ReactiveML experimentTutorials at Wabash Cannonball
Chair(s): Guillaume Baudart IBM Research, Louis Mandel IBM Research, Cédric Pasteur , Marc Pouzet École normale supérieure
13:00
3h
Other
T08: Implement your own reactive language: the ReactiveML experiment
Tutorials
Guillaume Baudart IBM Research, Louis Mandel IBM Research, Cédric Pasteur , Marc Pouzet École normale supérieure

Call for Tutorials

Proposals are invited for tutorials to be presented during ICFP and its co-located workshops and other events. These tutorials are the successor to the CUFP tutorials from previous years, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as “Learn to do X with Y” rather than “Learn language Y”.

Tutorials may occur in parallel to both ICFP and its co-located workshops, from September 23 through September 29. Additionally, ICFP is co-located with Strange Loop this year, and this will be taken into account when scheduling tutorials.

Submission details

Deadline for submission: April 9, 2018

Notification of acceptance: April 16, 2018

Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2018 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018@googlegroups.com.

by April 9, 2018. Please note that this is a firm deadline.

Organizers will be notified if their event proposal is accepted by April 16, 2018.

The proposal form is available at:

http://www.icfpconference.org/icfp2018-files/icfp18-tutorials-form.txt

Selection committee

The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee.

Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Galois, Inc.) General Chair Robby Findler (Northwestern University) Program Chair Matthew Flatt (University of Utah)

Further information

Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018@googlegroups.com.