caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020
@ 2020-07-16 13:56 Sam Tobin-Hochstadt
  0 siblings, 0 replies; only message in thread
From: Sam Tobin-Hochstadt @ 2020-07-16 13:56 UTC (permalink / raw)
  To: caml-list

                            ICFP 2020
 25th ACM SIGPLAN International Conference on Functional Programming

                       August 23 - 28, 2020

The 25th ACM SIGPLAN International Conference on Functional Programming
will be held virtually on August 23-28, 2020.
ICFP provides a forum for researchers and developers to hear about the 
latest work on the design, implementations, principles, and uses of 
functional programming.

Proposals are invited for tutorials, lasting approximately 3 hours each,
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". 

To increase social interaction on the first ICFP virtual conference,
this year we invite proposals for social events on topics of broader
interest to the PL community. Such events can be panels and
discussions (in the lines of the successful #ShutDownPL event),
focused discussions (e.g., problem identifications, retrospective
analysis, technical demos), social activities (e.g., treasure hunt,
bingo, problem solving, artistic challenges). The typical duration of
such events ranges from 30 minutes to one hour, but can be of any

Tutorials may occur before or after ICFP, co-located with the
associated workshops, on August 23 or August 27-28. Social events may
be scheduled throughout the week.


Submission details
 Deadline for submission:     July 17th, 2020
 Notification of acceptance:  July 22nd, 2020

Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2020 workshop
co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to

by July 17th, 2020. Please note that this is a firm deadline.

Organizers will be notified if their event proposal is accepted by
July 22nd, 2020.

The proposal form is available at:


Selection committee

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

 Tutorials Co-Chair: Jennifer Hackett        (University of Nottingham)
 Tutorials Co-Chair: Leonidas Lampropoulos     (University of Maryland)
 General Chair:      Stephanie Weirich     (University of Pennsylvania)
 Program Chair:      Adam Chlipala                                (MIT)


Further information

Any queries should be addressed to the tutorial co-chairs
(Jennifer Hackett and Leonidas Lampropoulos), via email to

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2020-07-16 13:57 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-16 13:56 [Caml-list] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020 Sam Tobin-Hochstadt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).