coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yixuan Chen <xlk AT umich.edu>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] POPL'19 First Call for Student Volunteers
- Date: Wed, 26 Sep 2018 03:00:08 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xlk AT umich.edu; spf=Pass smtp.mailfrom=xlk AT umich.edu; spf=None smtp.helo=postmaster AT mail-it1-f170.google.com
- Ironport-phdr: 9a23:GUVoqhJHXC5r98dEa9mcpTZWNBhigK39O0sv0rFitYgeLv7xwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QrcpVzS/9KdrUAHnhzsbNzA392HXj9Z/jKNdoBm8oxByzIrZbISTOfFjfK3SYMkaSHJPUMhRSSJPAYGzb4USAeUOIelVtJPyq0cUoBakGQWgGOHixzlVjXH2x6061OEhHBnE0wwhENMOrW7brNPoP6oMUeC60q/IxijEYvJZ3Tf965PFcg0kofGNQb1wcdDdxlcyGAPYl1idr5HuMT2S1uQIqWeb7uxgWPqgim4jqAF9uD2vydk0honSh4IVxUjE9SFjz4YzP9G4T1R7YdG8HJtfsCGaMJF6QswmQ2xupS00yaUGtIalcCQWzJkr3R3SZvydf4SV4x/uVfydLSp6iX55YL6zmRe//VS9xuD5WcS4zEpGoy9Gn9XRqnwByxne58uJSvZ440uuxCyA2g/W5+5aP087ia7WJpsuz7IslZcfr0HOEyztl0j4jqKbcFgv9PKy5OT9eLrmo4eRN49qhQH6NaQjgsm/Dv45MggKRmSb+Pi82KD68U33XblHjOE6nrPWsJDdIsQbqaq5DBFP3ok/7Ba/Ci+q0NUenXYZMFJIYAyLg5TtNl3UI/31De2zj0mtnTpq3fzKI7/sDonVInjGirjhfLJ960BGyAo0yNBS/51VCrUCIP/oR0/xsd3YAQM5MwCu3enoFch92psEWW2TGq+ZLL/SsViQ6+0zJOmMfZYZtyr5K/g4/PHjlmQ5mF8Yfamxx5QbcnG4HvJ8I0WYe3XgmNkBEX1Z9jY5GeftkRiJVSNZT3e0RaM1oD8hW6y8CoKWd4G9nbWHlAy7E5seMnBCCXiRFHbjd8OJV+paO3HaGdNojjFRDevpcIQmzxz76F6jmuhXa9HM8yhdjqrNkd185undjxY3rGUmEsGc2GHLQm1pzDpRG20GmZtnqEk48W+tlLBiiqUBR8FW5vhJFAo2KMyElrEoO5XJQgvEO+yxZhOmT9GhW29jS9swx5oPfx84FYz91lbM2C2lB7JTnLuOVsQ5
Dear Alex Sanchez-Stern,
I’m a senior undergraduate student at University of Michigan. I attended POLP2018 last year when I was junior student and I would like to apply for volunteer this year. I have submitted the form once, but there wasn’t an option for undergraduate student. Would you please help me with the application? Thanks!
Yixuan (Luke) Chen
Univeristy of Michigan
https://blog.xlk.me
On Sep 26, 2018, 2:07 AM -0400, Alex Sanchez-Stern <alexss AT eng.ucsd.edu>, wrote:
To whom it may concern,I am a student volunteer captain for POPL'18, which will be heldon January 2019 in Cascais/Lisbon, Portugal. Please see the call for studentvolunteers below and forward it to any studentsthat might be interested.Best wishes, Alex Sanchez-SternPOPL'19 FIRST CALL FOR STUDENT VOLUNTEERSPOPL is a leading forum for the discussion of all aspects of programminglanguages and programming systems, from theoretical to experimentalaspect. In order to smoothly run the conference and associated workshopsand tutorials, we need student volunteers to help out on the practicalaspect of the organization. All the events associated with POPL'19 willtake place from Sunday 13 January to Sat 19 January 2019 in Lisbon, Portugal.The student volunteer program is a chance for students from around theworld to participate in the conferences whilst assisting us in preparingand running the events. In return, volunteers are granted freeregistration to the conferences, tutorials, workshops, and panel, and aticket for the banquet.As a POPL 2019 Student Volunteer, you will interact closely withresearchers, academics and practitioners from various disciplines andmeet other students from around the world.Job assignments for student volunteers include but are not restrictedto: assisting with technical sessions, workshops, tutorials and panels,checking badges at doors, operating the information desk, providinginformation about the conference to attendees, helping with trafficflow, and general assistance to keep the conferences running smoothly.To be considered as a Student Volunteer for POPL, please fill in theFurther Student information can be found hereThere 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 secondround is only for spots not filled by first round.
- [Coq-Club] POPL'19 First Call for Student Volunteers, Alex Sanchez-Stern, 09/25/2018
- Re: [Coq-Club] POPL'19 First Call for Student Volunteers, Yixuan Chen, 09/26/2018
Archive powered by MHonArc 2.6.18.