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.

Thu 27 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T01: Introduction to Programming and Proving in Cedille at Burlington Route
Chair(s): Aaron StumpThe University of Iowa, USA
icfp-2018-Tutorials153803160000009:00 - 12:00
Other
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Colin McDonald
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T02: Direct Manipulation Programming in Sketch-n-Sketch at Burlington Route
Chair(s): Justin Lubin, Mikaël MayerEPFL, Switzerland, Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago
icfp-2018-Tutorials153804600000013:00 - 16:00
Other
Nick CollinsUniversity of Chicago, Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago, Mikaël MayerEPFL, Switzerland, Justin Lubin

Fri 28 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages at Texas Special
Chair(s): Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials153811800000009:00 - 12:00
Other
Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T04: Beluga: Programming Proofs About Formal Systems at Texas Special
Chair(s): Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2018-Tutorials153813240000013:00 - 16:00
Talk
Brigitte PientkaMcGill University, Jacob Thomas ErringtonMcGill University, Aliya HameerMcGill University

Sat 29 Sep

icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T05: Purely functional UIs with Reacl at Wabash Cannonball
Chair(s): Michael SperberActive Group GmbH
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
Michael SperberActive Group GmbH
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
icfp-2018-Tutorials
09:00 - 12:00: Tutorials - T07: Writing a chat system in Pony at Texas Special
Chair(s): Andrew Turley
icfp-2018-Tutorials153820440000009:00 - 12:00
Other
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T08: Implement your own reactive language: the ReactiveML experiment at Wabash Cannonball
Chair(s): Louis MandelIBM Research, Marc PouzetÉcole normale supérieure, Cédric Pasteur, Guillaume BaudartIBM Research
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
Guillaume BaudartIBM Research, Louis MandelIBM Research, Cédric Pasteur, Marc PouzetÉcole normale supérieure
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T09: Pijul, a purely functional version control system at Frisco
Chair(s): Pierre-Étienne Meunier
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
icfp-2018-Tutorials
13:00 - 16:00: Tutorials - T10: Hop.js: JavaScript multitier programming at Texas Special
Chair(s): Manuel SerranoInria, France
icfp-2018-Tutorials153821880000013:00 - 16:00
Other
Manuel SerranoInria, France

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.