Logic List Mailing Archive
CfP: Logic Mentoring Workshop (LMW@CSL 2026) – 23 February 2026, Paris (France)
Call for Participation
Logic Mentoring Workshop (LMW@CSL 2026)
Paris
23 February 2026
https://logic-mentoring-workshop.github.io/csl26
Co-located with Computer Science Logic (CSL) 2026
Students can apply to have their expenses covered by the Logic Mentoring Workshop Travel Support (see below).
------------------------------------------------------------------------
Attending a conference such as CSL 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 EACSL Annual Conference on Computer Science Logic (CSL’26, https://csl2026.github.io/).
REGISTRATION and PROGRAM
Registration will be set up through the CSL website at a later date.
Registration fees will be kept very low. The detailed program will be announced at https://logic-mentoring-workshop.github.io/csl26/ 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: December 5th (applications are accepted after that date if funds allow)
Apply by filling this form:
https://forms.gle/KvsQCcYswyfTZCPE9
We also want to point out that the ACM proposes a scholarship for women, with deadline December 15th which may be useful to participants who qualify. You can find the information here: https://women.acm.org/ scholarships/.
ORGANIZING COMMITTEE
Ana O. Costa, Morgan Rogers, Lia Schütze
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php