The Coq mailing list

[Victor Lanvin <victor.lanvin AT irif.fr>]

Please don't hesitate to share this information with your students, classmates or colleagues!

ICFP'20 FIRST CALL FOR STUDENT VOLUNTEERS

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

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. In order to smoothly run the conference, associated workshops, and tutorials, we need student volunteers to help out on the practical aspect of the organization. All the events associated with ICFP'20 will take place **virtually** from Sun 23 - Fri 28 August 2020.

Even though the event will be virtual, we will more than ever need the help of student volunteers to make sure everything runs smoothly.
In return, as an ICFP 2020 student volunteer, you will get more visibility and be able to interact closely with researchers, academics and practitioners from various disciplines and discuss with other students from around the world.

While the exact structure of the conference is still being discussed, job assignments for student volunteers will probably include:
1- Assisting with technical sessions, workshops, tutorials, Q&A sessions, and panels.
2- Helping to get authors' videos prepped and ready for broadcast.
3- Managing the various slack channels and social activities.

To be considered as a Student Volunteer for ICFP, please fill in the following application form.

https://forms.gle/TRN9LxWWkfR3sHtN6

The permanent link to this form can be found on the official conference website.

https://icfp20.sigplan.org/track/icfp-2020-student-volunteering

There are two rounds of calls with the following deadlines:

  * deadline for first round: June 21st, 2020 AoE (notification: June 23rd)

  * deadline for second round: July 19th, 2020 AoE (notification: July 21th)

**Please note that the first deadline is in two weeks only!**

Positive notifications given in the first round are firm and the second round is only for spots not filled by the first round.
If your application is not accepted in the first round, it will automatically be included in the 2nd round.