Mentoring WorkshopETAPS 2019
The ETAPS Mentoring Workshop (EMW) is intended to help students early in the program with advice on research, career, and life in the fields of Computing that are covered by the ETAPS conference. Students will attend lecture that describe key ideas in the field but also how the researchers came up with those ideas, what obstacles they had to overcome and other helpful advice. Students will get to interact one-on-one with researchers at mentoring breakfasts and participate in “role-playing” activities. Prospective Ph.D students (undergraduates and Masters) will be assigned mentors who will help them navigate the conference.
Application are required to attend the EMW. It is possible to be both a Student Volunteer and an EMW attendee.
Schedule
The majority of the lectures will take place on Sunday April 7th. Students will also attend mentorship breakfasts on Sunday, Monday and Tuesday.
Dinner
The mentoring dinner will be held at the BŘEVNOVKA restaurant, located at Patočkova 57, 169 00 Praha 6.
Mentoring Talks
Title | |
---|---|
A few lessons from the PhD I just finished Mentoring Workshop | |
A tale of two MURIs: Authorization Meets Model Checking Mentoring Workshop | |
Advice on your adviser Mentoring Workshop File Attached | |
Do programming languages matter for correctness of code? A reproduction study Mentoring Workshop | |
Formal methods can be practical: Verifying time-critical systems Mentoring Workshop | |
From Shape Analysis to Smart Contract Verification: A journey in proof automationKeynote Mentoring Workshop File Attached | |
How to Give an Effective Talk Mentoring Workshop | |
How to survive being a woman in computer science Mentoring Workshop | |
Navigating through the academic jungle: tips, tricks & traps Mentoring Workshop | |
Push, Pull, Partner - A Few Models for Industrial Research Mentoring Workshop | |
Science and Sanity: how to do the former while retaining the later (Panel) Mentoring Workshop |
Application
To keep focus and allow for interactions, the number of attendees will be limited. Apply by filling the form in the submission box. Preference will be given to who articulate clearly what they hope to learn from the workshop. The answers do not have to be long but they should be specific
Very limited funding may be available for students who would not be able to attend otherwise (these funds depend on our ability to raise industrial sponsorships). Students may also apply to be Student Volunteer to be able to attend the rest of the conference, There are also 10 ETAPS Student Scholarships which give 500 Euros to students coming to Prague.
Sun 7 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 Talk | From Shape Analysis to Smart Contract Verification: A journey in proof automationKeynote Mentoring Workshop Mooly SagivTel Aviv University File Attached |
10:30 - 11:00 Talk | How to Give an Effective Talk Mentoring Workshop Ajitha RajanUniversity of Edinburgh | ||
11:00 - 11:30 Talk | Navigating through the academic jungle: tips, tricks & traps Mentoring Workshop Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen | ||
11:30 - 12:00 Talk | Push, Pull, Partner - A Few Models for Industrial Research Mentoring Workshop Thomas BallMicrosoft Research |
14:00 - 14:30 Talk | How to survive being a woman in computer science Mentoring Workshop Marieke HuismanUniversity of Twente | ||
14:30 - 15:00 Talk | Advice on your adviser Mentoring Workshop Marsha ChechikUniversity of Toronto File Attached | ||
15:00 - 15:30 Talk | A few lessons from the PhD I just finished Mentoring Workshop Juliana FrancoMicrosoft Research, Cambridge |
17:00 - 17:30 Talk | Science and Sanity: how to do the former while retaining the later (Panel) Mentoring Workshop Stephanie BalzerCarnegie Mellon University, Barbora BuhnovaMasaryk University, Juliana FrancoMicrosoft Research, Cambridge |
Mon 8 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:00 - 18:00 Talk | Do programming languages matter for correctness of code? A reproduction study Mentoring Workshop Jan VitekNortheastern University and Czech Technical University |
Tue 9 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:00 - 18:00 Talk | A tale of two MURIs: Authorization Meets Model Checking Mentoring Workshop Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. |
Wed 10 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:00 - 18:00 Talk | Formal methods can be practical: Verifying time-critical systems Mentoring Workshop Reinhard WilhelmSaarland University |