[Agda] Call for Tutorial Proposals: ICFP 2018

[Lindsey Kuper]

                  CALL FOR TUTORIAL PROPOSALS
                            ICFP 2018
 23rd ACM SIGPLAN International Conference on Functional Programming


                      September 23-29, 2018  
                 St. Louis, Missouri, United States
             http://conf.researchr.org/home/icfp-2018

The 23rd ACM SIGPLAN International Conference on Functional Programming
will be held in St. Louis, Missouri, United States on September 23-29, 2018.
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 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".

Tutorials may occur in parallel to both ICFP and its co-located
workshops, from September 23 through September 29. Additionally, ICFP
is co-located with Strange Loop this year, and this will be taken into
account when scheduling tutorials.

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

Submission details
 Deadline for submission:     April 9, 2018
 Notification of acceptance:  April 16, 2018

Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2018 workshop
co-chairs (Christophe Scholliers and David Christiansen), via email to

    icfp-workshops-2018 at googlegroups.com
    
by April 9, 2018. Please note that this is a firm deadline.

Organizers will be notified if their event proposal is accepted by
April 16, 2018.

The proposal form is available at:

http://www.icfpconference.org/icfp2018-files/icfp18-tutorials-form.txt

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

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2018 organizing committee.

 Workshop Co-Chair: Christophe Scholliers        (University of Ghent)
 Workshop Co-Chair: David Christiansen                  (Galois, Inc.)
 General Chair:     Robby Findler            (Northwestern University)
 Program Chair:     Matthew Flatt                 (University of Utah)


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

Further information

Any queries should be addressed to the workshop co-chairs (Christophe
Scholliers and David Christiansen), via email to
    
    icfp-workshops-2018 at googlegroups.com