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 SepDisplayed 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 3hOther | T01: Introduction to Programming and Proving in Cedille Tutorials | ||
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 3hOther | 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 SepDisplayed 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 3hOther | T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages Tutorials | ||
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 3hTalk | T04: Beluga: Programming Proofs About Formal Systems Tutorials Brigitte Pientka McGill University, Jacob Thomas Errington McGill University, Aliya Hameer McGill University | ||
Sat 29 SepDisplayed 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 3hOther | T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games Tutorials | ||
09:00 - 12:00 | |||
09:00 3hOther | 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 3hOther | 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 3hOther | 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 3hOther | 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 3hOther | 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 | ||
Tutorials
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.