*Final Call for Participation*
Logic Mentoring Workshop (LMW@LICS 2023)
Boston, USA
June 25, 2023
https://logic-mentoring-workshop.github.io/lics23/
Co-located with Logic in Computer Science (LICS) 2023
Registration at https://lics.siglog.org/lics23/
------------------------------------------------------------------------
The Logic Mentoring Workshop introduces young researchers to the technical
and practical aspects of a career in logic research. It is targeted at
students, from senior undergraduates to doctoral students, and will include
tutorials and plenary talks as well as a panel discussion, where
experienced researchers from the field answer career-related questions from
the audience.
The workshop will be a hybrid event, however on-site participation in
Boston, USA, is highly recommended. It is co-located with Logic in Computer
Science (LICS'23, https://lics.siglog.org/lics23/) one of the most
prestigious conferences on the topic. Attending LICS is not a prerequisite
to attend LMW, but it is encouraged.
*LICS Buddy*
Is this the first conference you will attend in person? We have all been
there. You might not feel comfortable if you don't know anyone. Join our
Buddy Program, and we will help you to get in touch with another mentoring
workshop attendee. Every newcomer will be assigned either a more
experienced peer or another newcomer, so you are not alone. For those who
are not attending a conference for the first time, being a buddy is a way
for you to help the community to grow and introduce less experienced
students to the field. If you are interested, write an email to
steffen.van.bergerem@hu-berlin.de.
*PRELIMINARY PROGRAM*
09:00–09:30 Meet & greet
09:30–10:00 PROcrastination is not for amateurs. Sonia Marin (University of
Birmingham)
10:00–10:30 What makes theoretical research interesting–relevant–exciting?
Martin Grohe (RWTH Aachen University)
10:30–11:00 Coffee break
11:00–11:30 Antonina Kolokolova (Memorial University of Newfoundland)
11:30–12:00 Nobody knows anything. Mikołaj Bojańczyk (University of Warsaw)
12:00–12:30 Finding Tenure. Anupam Das (University of Birmingham)
12:30–14:00 Lunch break
14:00–14:30 Marianna Girlando (ILLC, University of Amsterdam)
14:30–15:00 Igor Walukiewicz (CNRS, Université de Bordeaux)
15:00–15:30 Alëna Rodionova (Waabi)
15:30–16:00 Coffee break
16:00–17:00 Panel: Anuj Dawar (University of Cambridge), Alëna Rodionova
(Waabi), Igor Waluckiwicz (CNRS, Université de Bordeaux), and Matthew
Weaver (Princeton University)
*ORGANIZING COMMITTEE*
Arthur Azevedo de Amorim
Steffen van Bergerem
Ilina Stoilkovska
K. S. Thejaswini
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
