caml-list - the Caml user's mailing list
 help / Atom feed
From: Sam Tobin-Hochstadt <icfp.publicity@googlemail.com>
To: caml-list@inria.fr
Subject: [Caml-list] Call for Tutorial Proposals: ICFP 2020
Date: Tue, 16 Jun 2020 20:18:45 -0400
Message-ID: <5ee96165b178f_223a22abfa25865c480f6@homer.mail> (raw)

        CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS
                            ICFP 2020
 25th ACM SIGPLAN International Conference on Functional Programming


                       August 23 - 28, 2020
                              Virtual
                    https://icfp20.sigplan.org/

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". 

This 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 August 23 or August 27-28.


----------------------------------------------------------------------

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

             icfp-workshops-2020@googlegroups.com
    
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:

http://www.icfpconference.org/icfp2020-files/icfp20-panel-form.txt
http://www.icfpconference.org/icfp2020-files/icfp20-tutorials-form.txt

----------------------------------------------------------------------

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 
icfp-workshops-2020@googlegroups.com

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=5ee96165b178f_223a22abfa25865c480f6@homer.mail \
    --to=icfp.publicity@googlemail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox