[Agda] Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021
Sam Tobin-Hochstadt
icfp.publicity at googlemail.com
Wed Jun 2 21:11:35 CEST 2021
CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
August 22 - 27, 2021
Virtual
https://icfp21.sigplan.org/
The 25th ACM SIGPLAN International Conference on Functional Programming
will be held virtually on August 22-27, 2021.
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".
Just like last year, following the success of the #ShutDownPL event @ ICFP,
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 22 or August 26-27.
----------------------------------------------------------------------
Submission details
Deadline for submission: June 28th, 2020
Notification of acceptance: July 5th, 2020
Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2021 workshop
co-chairs (Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to
icfp-workshops-2021 at googlegroups.com
by June 28th, 2021. Please note that this is a firm deadline.
Organizers will be notified if their event proposal is accepted by
July 5th, 2021.
The proposal form is available at:
http://www.icfpconference.org/icfp2021-files/icfp21-panel-form.txt
http://www.icfpconference.org/icfp2021-files/icfp21-tutorials-form.txt
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2021 organizing committee.
Tutorials Co-Chair: Zoe Paraskevopoulou (Northeastern)
Tutorials Co-Chair: Leonidas Lampropoulos (University of Maryland)
General Chair: Sukyoung Ryu (KAIST)
Program Chair: Ron Garcia (University of British Columbia)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the tutorial co-chairs (
Leonidas Lampropoulos and Zoe Paraskevopoulou), via email to
icfp-workshops-2021 at googlegroups.com
More information about the Agda
mailing list