[Agda] Call for Tutorial Participation: ICFP 2020

Sam Tobin-Hochstadt icfp.publicity at googlemail.com
Fri Aug 7 18:36:54 CEST 2020


                   CALL FOR TUTORIAL PARTICIPATION
                            ICFP 2020
 25th ACM SIGPLAN International Conference on Functional Programming


                       August 23 - 28, 2020
                              Virtual
                    https://icfp20.sigplan.org/
                  Early Registration ends August 8!

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.

This year, ICFP features a wide variety of tutorials on topics related
to functional programming, including design, education, tools, and
more. Tutorials are available to all ICFP participants with
registration. 

Tutorials occur before or after ICFP, co-located with the associated
workshops, on August 23 or August 27-28.

The schedule of ICFP Tutorials can be found at:
    https://icfp20.sigplan.org/track/icfp-2020-tutorials#program


ICFP Early Registration ends on August 8th, and is available at:
    https://icfp20.sigplan.org/attending/Registration


More information about the Agda mailing list