k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: ICFP Publicity <icfp.publicity AT googlemail.com>
- To: agda <agda AT lists.chalmers.se>, agents <agents AT cs.umbc.edu>, appsem <appsem AT lists.tcs.ifi.lmu.de>, bigloo <bigloo AT sophia.inria.fr>, caml-list <caml-list AT inria.fr>, categories <categories AT mta.ca>, chicken-scheme <chicken-users AT nongnu.org>, coq-club <coq-club AT inria.fr>, ecoop <ecoop-info AT ecoop.org>, erlang-questions <erlang-questions AT erlang.org>, "F# Discussions" <fsharp-opensource AT googlegroups.com>, fp-nl <fp-nl AT cs.uu.nl>, fun <fun AT cs.nott.ac.uk>, gambit-list <gambit-list AT iro.umontreal.ca>, GPCE-related <GPCE-related AT cs.rice.edu>, haskell <haskell AT haskell.org>, haskell-cafe <haskell-cafe AT haskell.org>, infodir_sigplan <infodir_sigplan AT acm.org>, isabelle-users <isabelle-users AT cl.cam.ac.uk>, k-users <k-user AT cs.uiuc.edu>, mlton <mlton-user AT mlton.org>, nvti <nvti-list AT cwi.nl>, prog-lang <prog-lang AT diku.dk>, racket-users <users AT racket-lang.org>, relics <relmics-l AT mcmaster.ca>, sml-list <sml-list AT cs.cmu.edu>, theory-logic <theory-logic AT cs.cmu.edu>, theory-nt <theorynt AT listserv.nodak.edu>, types-announce <types-announce AT lists.seas.upenn.edu>, zforum <zforum AT comlab.ox.ac.uk>
- Subject: [[K-user] ] ICFP 2022: Call for Tutorials, Panels, and Discussions
- Date: Tue, 7 Jun 2022 16:34:21 +0800
- Authentication-results: ppops.net; spf=softfail smtp.mailfrom=icfp.publicity AT googlemail.com; dkim=fail header.s=20210112 header.d=googlemail.com; dmarc=fail header.from=googlemail.com
CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS
ICFP 2022
27th ACM SIGPLAN International Conference on Functional Programming
Sun 11 - Fri 16 September 2022
Ljubljana, Slovenia
https://urldefense.com/v3/__https://icfp22.sigplan.org/__;!!DZ3fjg!6IIBJDHtPRfd016RoikVh9yXXvCZy-5KB2AG2Hx7Eq9PjnFAFRdr41f9MfBmhGeSlJh-aJFSYfycjD5uW-cW3G7XJa0kIw$
The 27th ACM SIGPLAN International Conference on Functional Programming
will be held on September 11-16, 2022 in Ljubljana, Slovenia.
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.
The tutorials may target an audience who is interested in commercial uses
of functional programming, 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".
Just like last year, following the success of the #ShutDownPL event, we are
also
inviting proposals for panels and discussions on topics of broader interest
to the PL community.
Tutorials, panels, and discussions may occur before or after ICFP,
co-located with the associated workshops, on September 11 or September 15-16.
----------------------------------------------------------------------
Submission details
Deadline for submission: June 24st, 2022
Notification of acceptance: July 15th, 2022
Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2022 workshop
co-chairs (Arthur Azevedo de Amorim and Zoe Paraskevopoulou), via email to
icfp-workshops-2022 AT googlegroups.com
by June 24st, 2022. Please note that this is a firm deadline.
Organizers will be notified if their event proposal is accepted by
July 8th, 2022.
The proposal form is available at:
https://urldefense.com/v3/__http://www.icfpconference.org/icfp2022-files/icfp22-panel-form.txt__;!!DZ3fjg!6IIBJDHtPRfd016RoikVh9yXXvCZy-5KB2AG2Hx7Eq9PjnFAFRdr41f9MfBmhGeSlJh-aJFSYfycjD5uW-cW3G757gGEVA$
https://urldefense.com/v3/__http://www.icfpconference.org/icfp2022-files/icfp22-tutorials-form.txt__;!!DZ3fjg!6IIBJDHtPRfd016RoikVh9yXXvCZy-5KB2AG2Hx7Eq9PjnFAFRdr41f9MfBmhGeSlJh-aJFSYfycjD5uW-cW3G7S1FbR6g$
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2022 organizing committee.
Tutorials Co-Chair: Arthur Azevedo de Amorim (Boston University)
Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern University)
General Chair: Andrej Bauer (University of Ljubljana)
Program Chair: Zena M. Ariola (University of Oregon)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the tutorial co-chairs
(Arthur Azevedo de Amorim and Zoe Paraskevopoulou),
via email to icfp-workshops-2022 AT googlegroups.com.
- [[K-user] ] ICFP 2022: Call for Tutorials, Panels, and Discussions, ICFP Publicity, 06/07/2022
Archive powered by MHonArc 2.6.24.