[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------------
Call for Participation
Logic Mentoring Workshop (LMW@LICS 2025)
Singapore
23 June 2025
https://urldefense.com/v3/__https://logic-mentoring-workshop.github.io/lics25/__;!!IBzWLUs!UekrsOvN7e8T4rjBZ-Tq01LYeTgSviwx2HMielapFFs4C6q-AQrF8PW_Wgg6k54PRj_W_lXFOcauh8I9c4kHz74JGTQ6OHY$
Co-located with Logic in Computer Science (LICS) 2025
Students can apply to have their expenses covered by the Logic Mentoring
Workshop Travel Support (see 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://urldefense.com/v3/__https://lics.siglog.org/__;!!IBzWLUs!UekrsOvN7e8T4rjBZ-Tq01LYeTgSviwx2HMielapFFs4C6q-AQrF8PW_Wgg6k54PRj_W_lXFOcauh8I9c4kHz74JJuyHPKk$
) one of the most prestigious conferences on the topic.
REGISTRATION and PROGRAM
Registration will be set up through the LICS website at a later date.
Registration fees will be kept very low. The detailed program will be announced
at
https://urldefense.com/v3/__https://logic-mentoring-workshop.github.io/lics25/__;!!IBzWLUs!UekrsOvN7e8T4rjBZ-Tq01LYeTgSviwx2HMielapFFs4C6q-AQrF8PW_Wgg6k54PRj_W_lXFOcauh8I9c4kHz74JGTQ6OHY$
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 Jane Street.
Deadline: May 10th (applications are accepted after that date if funds allow)
Apply by filling this form:
https://urldefense.com/v3/__https://docs.google.com/forms/d/1won7RTFgMbMtzhNiAARP5BzXTLPJKVcAj9zyIlmqVL8__;!!IBzWLUs!UekrsOvN7e8T4rjBZ-Tq01LYeTgSviwx2HMielapFFs4C6q-AQrF8PW_Wgg6k54PRj_W_lXFOcauh8I9c4kHz74JuKnRhCE$
We want to point out that the ACM proposes a scholarship for women, with
deadline April 15th which may be useful to participants who qualify. You can
find the information here:
https://urldefense.com/v3/__https://women.acm.org/scholarships/__;!!IBzWLUs!UekrsOvN7e8T4rjBZ-Tq01LYeTgSviwx2HMielapFFs4C6q-AQrF8PW_Wgg6k54PRj_W_lXFOcauh8I9c4kHz74JcWHhqkY$
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 [email protected]
<mailto:[email protected]>
ORGANIZING COMMITTEE
Elli Anastasiadi, Linus Richter, Lia Schütze, Chana Weil-Kennedy
