[Agda] Third Call for Participation: ICFP 2020

[Sam Tobin-Hochstadt]

=====================================================================

                     Third Call for Participation

                              ICFP 2020
 25th ACM SIGPLAN International Conference on Functional Programming
                        and affiliated events

                     August 23 - August 28, 2020
                                Online
                      http://icfp20.sigplan.org/

                  Pre-registration ends August 21!

====================================================================

ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Watch our new video, and Don't Stop ICFP: 
    https://www.youtube.com/watch?v=Fte5wwnwCws

Pre-registration ends August 21st! 
    https://icfp20.sigplan.org/attending/Registration

This year, the conference will be a virtual event. All activities will
take place online. 

There are training sessions for Clowdr, our new online platform, on
August 20 and 21.
    https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program

The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities.  The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.

We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/

We’re excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan’s Digital Minister, on how software
developers can contribute to fighting the pandemic.

ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.

Registration is now open. The early registration deadline is August
8th, 2020.  Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.

    https://regmaster.com/2020conf/ICFP20/register.php

New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).


  * Overview and affiliated events:
    http://icfp20.sigplan.org/home

  * Full Schedule:
    https://icfp20.sigplan.org/program/program-icfp-2020

  * Accepted papers:
    http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview

  * JFP Talks:
    https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview

  * Registration is available via:
    https://regmaster.com/2020conf/ICFP20/register.php
    Early registration ends 8 August, 2020.

  * Programming contest:
    https://icfpcontest2020.github.io/

  * Student Research Competition:
    https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition

  * Tutorials
    https://icfp20.sigplan.org/track/icfp-2020-tutorials#program

  * Follow us on Twitter for the latest news:
    http://twitter.com/icfp_conference

This year, there are 10 events co-located with ICFP:

  * Erlang Workshop (8/23)
  * Haskell Implementors' Workshop (8/28)
  * Haskell Symposium (8/27-8/28)
  * Higher-Order Programming with Effects (8/23)
  * miniKanren Workshop (8/27)
  * ML Family Workshop (8/27)
  * OCaml Workshop (8/28)
  * Programming Languages Mentoring Workshop (8/23)
  * Scheme Workshop (8/28)
  * Type-Driven Development (8/23)

As well as tutorials on 8/23, 8/27, and 8/28.

### ICFP Organizers

General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)

Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
                               Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
                    Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
                            Victor Lanvin (IRIF, Université Paris Diderot, France)