Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Participation: ETAPS Mentoring Worksh...


view this post on Zulip Email Gateway (Feb 18 2022 at 09:15):

From: Gidon Ernst <gidon.ernst@lmu.de>
ETAPS Mentoring Workshop 2022
3rd April 2022, Munich, Germany

Call for Participation

As a PhD student, or Master student with research ambitions, you may
wonder how internationally recognised researchers in computer science
could become what they are now. What can one learn from their example?
What do successful research paths look like? Are the important factors
just as expected, or are there surprising aspects which make the
difference? What is important to think about at your stage?

We welcome PhD students, and Master students with research ambitions, to
join the Mentoring Workshop at ETAPS 2022! During this workshop, well
known computer science researchers, of different seniority, will give
inspirational talks about the path they took, what was important on the
way, and insights they want to pass on to early career researchers.
There will be plenty of opportunity for discussions and interaction,
during the workshop and in the social programme around it.

We are proud that we could secure the following speakers:
Erika Ábrahám, RWTH Aachen
Eva Darulova, Uppsala University
Laura Kovács, Vienna University of Technology
Peter Müller, ETH Zurich
Martin Schäf, Amazon AWS
Martin Wirsing, LMU Munich

You register for the Mentoring Workshop by registering for “Satellite
(Workshops) Sunday” at the ETAPS registration page. (You may also want
to register for the main conference. But note that these registrations
do not overlap.) The early registration deadline is very soon (20 Feb),
but the normal registration is open until 10 March. (After that, the
late registration fee applies.)

ETAPS provides some student scholarships, see link below.
Important links:
ETAPS Mentoring Workshop:
https://etaps.org/user-profile/archive/53-etaps-2022/486-mentoring-workshop-2022
ETAPS 2022 in Munich: https://etaps.org/
ETAPS 2022 registration: https://etaps.org/2022/registration
ETAPS student scholarships (application deadline 1 March):
https://etaps.org/2022/student-scholarships

In case of questions, please contact the organizers:
Wolfgang Ahrendt, Chalmers University of Technology
Gidon Ernst, LMU Munich
Caterina Urban, Inria & École Normale Supérieure | PSL University


Last updated: Apr 20 2024 at 12:26 UTC