------------------------------------------------------------------------

*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