[Agda] Call for Workshop Proposals: ICFP 2021

[Sam Tobin-Hochstadt]

        CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
                            ICFP 2021
 26th ACM SIGPLAN International Conference on Functional Programming


                       August 22 - 27, 2021
                          Daejon, Korea
                    https://icfp21.sigplan.org/

The 26th ACM SIGPLAN International Conference on Functional Programming
will be held in Daejon, Korea on August 22-27, 2021, with the possibility
of a virtual conference. 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 workshops (and other co-located events, such
as symposiums) to be affiliated with ICFP 2021 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on August 22rd (the day
before ICFP) and 26-27th of August (the two days after ICFP).

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

Submission details
 Deadline for submission:     November 27, 2020
 Notification of acceptance:  December 15, 2020

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop 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 November 27, 2020. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.

Organizers will be notified if their event proposal is accepted by
December 15, 2020, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2021-files/icfp21-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://www.sigplan.org/Resources/Proposals/Sponsored/

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

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2021 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Zoe Paraskevopoulou      (Northeastern University)
 Workshop Co-Chair: Leonidas Lampropoulos     (University of Maryland)
 General Chair:     Sukyoung Ryu                               (KAIST)
 Program Chair:     Ronald Garcia     (University of British Columbia)


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

Further information

Any queries should be addressed to the workshop co-chairs (Zoe 
Paraskevopoulou and Leonidas Lampropoulos), via email to
icfp-workshops-2021 at googlegroups.com.