------------------------------------------------------------------------
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/
------------------------------------------------------------------------
Students in US institutions and some students in Europe
can have their expenses covered by the
Logic Mentoring Workshop Travel Award.
Apply here: https://forms.gle/mUgkA5Ah2W5aQwxY6
------------------------------------------------------------------------
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.
SPEAKERS AND PANELLISTS
Mikołaj Bojańczyk (University of Warsaw)
Anupam Das (University of Birmingham)
Anuj Dawar (University of Cambridge)
Marianna Girlando (ILLC, University of Amsterdam)
Martin Grohe (RWTH Aachen University)
Antonina Kolokolova (Memorial University of Newfoundland)
Sonia Marin (University of Birmingham)
Igor Walukiewicz (CNRS, Université de Bordeaux)
Matthew Weaver (Princeton University)
PROGRAM
The detailed program will be at https://logic-mentoring-workshop.github.io/lics23/ closer to the workshop.
TRAVEL SUPPORT
Students (undergrad, master's, and PhD alike) can apply to have their costs (some or all) covered by our sponsors, the National Science Foundation (NSF) and SIGLOG.
Deadline: June 6th (applications are accepted after that date if funds allow)
Apply at: https://forms.gle/mUgkA5Ah2W5aQwxY6
ORGANIZING COMMITTEE
Arthur Azevedo de Amorim
Steffen van Bergerem
Ilina Stoilkovska
K. S. Thejaswini
finite-model-theory@lists.rwth-aachen.de