[TYPES/announce] LMW at LICS'25 - Call for participation and Buddy program

[Chana Weil-Kennedy]

------------------------------------------------------------------------------ 
 
                           Call for Participation
 
                            
        Logic Mentoring Workshop (LMW at LICS 2025)
                                 Singapore
  	                      23 June 2025
 
      https://urldefense.com/v3/__https://logic-mentoring-workshop.github.io/lics25/__;!!IBzWLUs!XzueVaxqu6TNbkBew75TW-vvQYAKBwX4XVZjBcwh6cGhlz5IsX8_5FzAvJkycqbJclrZmuJpl19jlf11dJypTVuOJpcLonM$ 

  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://urldefense.com/v3/__https://lics.siglog.org/__;!!IBzWLUs!XzueVaxqu6TNbkBew75TW-vvQYAKBwX4XVZjBcwh6cGhlz5IsX8_5FzAvJkycqbJclrZmuJpl19jlf11dJypTVuOp0MZv9U$ ) 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 are to be announced.
Once the final program is set, it will be on https://urldefense.com/v3/__https://logic-mentoring-workshop.github.io/lics25/__;!!IBzWLUs!XzueVaxqu6TNbkBew75TW-vvQYAKBwX4XVZjBcwh6cGhlz5IsX8_5FzAvJkycqbJclrZmuJpl19jlf11dJypTVuOJpcLonM$ . 

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://urldefense.com/v3/__https://register.comp.nus.edu.sg/LICS2025/__;!!IBzWLUs!XzueVaxqu6TNbkBew75TW-vvQYAKBwX4XVZjBcwh6cGhlz5IsX8_5FzAvJkycqbJclrZmuJpl19jlf11dJypTVuOXiqf4Dg$ ).  

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 at mpi-sws.org <mailto:lschuetze at mpi-sws.org>
ORGANIZING COMMITTEE
 
Elli Anastasiadi, Linus Richter, Lia Schütze, Chana Weil-Kennedy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250514/586341a3/attachment-0001.htm>