Skip to Content.
Sympa Menu

k-user - [[K-user] ] ICFP 2022: Call for Tutorials, Panels, and Discussions

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] ICFP 2022: Call for Tutorials, Panels, and Discussions


Chronological Thread  
  • 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.

Top of Page