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 | |
---|---|
Advice on your adviser Mentoring Workshop File Attached | |
A few lessons from the PhD I just finished Mentoring Workshop | |
A tale of two MURIs: Authorization Meets Model Checking Mentoring Workshop | |
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | From Shape Analysis to Smart Contract Verification: A journey in proof automationKeynote Mentoring Workshop Mooly Sagiv Tel Aviv University File Attached |
10:30 - 12:00 | |||
10:30 30mTalk | How to Give an Effective Talk Mentoring Workshop Ajitha Rajan University of Edinburgh | ||
11:00 30mTalk | Navigating through the academic jungle: tips, tricks & traps Mentoring Workshop Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
11:30 30mTalk | Push, Pull, Partner - A Few Models for Industrial Research Mentoring Workshop Thomas Ball Microsoft Research |
14:00 - 15:30 | |||
14:00 30mTalk | How to survive being a woman in computer science Mentoring Workshop Marieke Huisman University of Twente | ||
14:30 30mTalk | Advice on your adviser Mentoring Workshop Marsha Chechik University of Toronto File Attached | ||
15:00 30mTalk | A few lessons from the PhD I just finished Mentoring Workshop Juliana Franco Microsoft Research, Cambridge |
16:30 - 17:30 | |||
17:00 30mTalk | Science and Sanity: how to do the former while retaining the later (Panel) Mentoring Workshop Stephanie Balzer Carnegie Mellon University, Barbora Buhnova Masaryk University, Juliana Franco Microsoft Research, Cambridge |
Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
07:30 - 08:30 | |||
17:00 - 18:00 | |||
17:00 60mTalk | Do programming languages matter for correctness of code? A reproduction study Mentoring Workshop Jan Vitek Northeastern University and Czech Technical University |
Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
17:00 - 18:00 | |||
17:00 60mTalk | A tale of two MURIs: Authorization Meets Model Checking Mentoring Workshop Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. |
Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
17:00 - 18:00 | |||
17:00 60mTalk | Formal methods can be practical: Verifying time-critical systems Mentoring Workshop Reinhard Wilhelm Saarland University |