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
Times are displayed in 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 - 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 - 15:30: Afternoon Session IMentoring Workshop at Mentoring
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
16:30 - 17:30: Afternoon Session IIMentoring Workshop at Mentoring
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

07:30 - 08:30: Mentoring Breakfast IIMentoring Workshop at MERCURY
17:00 - 18:00: VitekMentoring Workshop at SUN II
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

08:00 - 09:00: Mentoring Breakfast IIIMentoring Workshop at MERCURY
17:00 - 18:00: RepsMentoring Workshop at JUPITER
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

08:00 - 09:00: Mentoring Breakfast IVMentoring Workshop at MERCURY
17:00 - 18:00: WilhelmMentoring Workshop at JUPITER
17:00 - 18:00
Talk
Formal methods can be practical: Verifying time-critical systems
Mentoring Workshop
Reinhard WilhelmSaarland University