ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.

Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00
Mentoring Breakfast IMentoring Workshop at JUPITER
10:30 - 12:00
Morning Session IIMentoring Workshop at Mentoring
10:30
30m
Talk
How to Give an Effective Talk
Mentoring Workshop
Ajitha Rajan University of Edinburgh
11:00
30m
Talk
Navigating through the academic jungle: tips, tricks & traps
Mentoring Workshop
Marielle Stoelinga University of Twente and Radboud University, Nijmegen
11:30
30m
Talk
Push, Pull, Partner - A Few Models for Industrial Research
Mentoring Workshop
Thomas Ball Microsoft Research
14:00 - 15:30
Afternoon Session IMentoring Workshop at Mentoring
14:00
30m
Talk
How to survive being a woman in computer science
Mentoring Workshop
Marieke Huisman University of Twente
14:30
30m
Talk
Advice on your adviser
Mentoring Workshop
Marsha Chechik University of Toronto
File Attached
15:00
30m
Talk
A few lessons from the PhD I just finished
Mentoring Workshop
Juliana Franco Microsoft Research, Cambridge
16:30 - 17:30
Afternoon Session IIMentoring Workshop at Mentoring
17:00
30m
Talk
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 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

07:30 - 08:30
Mentoring Breakfast IIMentoring Workshop at MERCURY
17:00 - 18:00
17:00
60m
Talk
Do programming languages matter for correctness of code? A reproduction study
Mentoring Workshop
Jan Vitek Northeastern University and Czech Technical University

Tue 9 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00
Mentoring Breakfast IIIMentoring Workshop at MERCURY
17:00 - 18:00
17:00
60m
Talk
A tale of two MURIs: Authorization Meets Model Checking
Mentoring Workshop
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.

Wed 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00
Mentoring Breakfast IVMentoring Workshop at MERCURY
17:00 - 18:00
17:00
60m
Talk
Formal methods can be practical: Verifying time-critical systems
Mentoring Workshop
Reinhard Wilhelm Saarland University