[Agda] Call for Tutorial Proposals: ICFP 2019

Sam Tobin-Hochstadt icfp.publicity at googlemail.com
Thu Mar 28 03:44:47 CET 2019


                  CALL FOR TUTORIAL PROPOSALS
                            ICFP 2019
 24th ACM SIGPLAN International Conference on Functional Programming


                       August 18 - 23, 2019 
                          Berlin, Germany
                    https://icfp19.sigplan.org/

The 24th ACM SIGPLAN International Conference on Functional Programming
will be held in Berlin, Germany on August 18-23, 2019.
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". 

Tutorials may occur after ICFP co-located with the associated 
workshops, from August 22 till August 23. 

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

Submission details
 Deadline for submission:     May 10th, 2019
 Notification of acceptance:  May 17th, 2019

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

             icfp-workshops-2019 at googlegroups.com
    
by May 10th, 2019. Please note that this is a firm deadline.

Organizers will be notified if their event proposal is accepted by
May 17, 2019.

The proposal form is available at:

http://www.icfpconference.org/icfp2019-files/icfp19-tutorials-form.txt

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

Selection committee

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

 Tutorials Co-Chair: Jennifer Hackett        (University of Nottingham)
 Tutorials Co-Chair: Christophe Scholliers        (University of Ghent)
 General Chair:      Derek Dreyer                             (MPI-SWS) 
 Program Chair:      François Pottier                  ( Inria, France)


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

Further information

Any queries should be addressed to the tutorial co-chairs (
Jennifer Hackett and Christophe Scholliers), via email to 
icfp-workshops-2019 at googlegroups.com


More information about the Agda mailing list