Logic Mentoring Workshop (LMW@LICS 2025)
Singapore
23 June 2025
https://logic-mentoring-workshop.github.io/lics25/
Co-located with Logic in Computer Science (LICS) 2025
Students are encouraged to participate in our Buddy program! (details below)
------------------------------------------------------------------------------
Attending a conference such as LICS can be a transformative experience. It
exposes participants to cutting-edge research and can open up new research
avenues and collaboration opportunities. 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 an on-site event, co-located with the Logic in
Computer Science conference (LICS'25, https://lics.siglog.org/) one of the
most prestigious conferences on the topic.
SPEAKERS
-
Lorenzo Clemente, University of Warsaw
-
Liron Cohen, Ben-Gurion University
-
Elena Di Lavore, University of Oxford
-
Goh Jun Le, National University of Singapore
-
Mayuko Kori, Kyoto University
-
Henry Sinclair-Banks, University of Warsaw
Panel discussion speakers include Anuj Dawar, Liron Cohen, and Hongseok
Yang.
Once the final program is set, it will be on
https://logic-mentoring-workshop.github.io/lics25/.
REGISTRATION
Participants of LICS are automatically registered to LMW (for free!). The
registration fee for the LMW workshop alone is S$60 Singaporean dollars.
Registration is set up through the LICS website (found here:
https://register.comp.nus.edu.sg/LICS2025/).
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
lschuetze@mpi-sws.org
ORGANIZING COMMITTEE
Elli Anastasiadi, Linus Richter, Lia Schütze, Chana Weil-Kennedy
**********************************************************
*
* 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/
*
**********************************************************