The Coq mailing list

[Alex Sanchez-Stern <alexss AT eng.ucsd.edu>]

To whom it may concern, 

I am a student volunteer captain for POPL'18, which will be held

on January 2019 in Cascais/Lisbon, Portugal. Please see the call for student

volunteers below and forward it to any students

that might be interested.

Best wishes, Alex Sanchez-Stern

POPL'19 FIRST CALL FOR STUDENT VOLUNTEERS

POPL is a leading forum for the discussion of all aspects of programming

languages and programming systems, from theoretical to experimental

aspect. In order to smoothly run the conference and associated workshops

and tutorials, we need student volunteers to help out on the practical

aspect of the organization. All the events associated with POPL'19 will

take place from Sunday 13 January to Sat 19 January 2019 in Lisbon, Portugal.

The student volunteer program is a chance for students from around the

world to participate in the conferences whilst assisting us in preparing

and running the events. In return, volunteers are granted free

registration to the conferences, tutorials, workshops, and panel, and a

ticket for the banquet.

As a POPL 2019 Student Volunteer, you will interact closely with

researchers, academics and practitioners from various disciplines and

meet other students from around the world.

Job assignments for student volunteers include but are not restricted

to: assisting with technical sessions, workshops, tutorials and panels,

checking badges at doors, operating the information desk, providing

information about the conference to attendees, helping with traffic

flow, and general assistance to keep the conferences running smoothly.

To be considered as a Student Volunteer for POPL, please fill in the

application form

Further Student information can be found here

There are two rounds of calls:

• deadline for first round: Oct 15, 2018 AOE (notification: Oct 23)

• deadline for second round: Dec 10, 2018 (notification: Dec 14 – applicants will be able to make an early registration: it will be extended to all applicants)

Positive notifications given in the first round are firm and second

round is only for spots not filled by first round.