Amsterdam, Netherlands
Monday 10th February 2025
https://logic-mentoring-workshop.github.io/csl25/
Co-located with CSL 2025
CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS
The 12th Logic Mentoring Workshop (LMW@CSL) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the CSL (Computer Science Logic) conference and the LMW (Logic Mentoring Workshop) this year. 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. Some scholarships will be generously funded by our sponsors (see below) and cover registration to the workshop, and possibly travel and accommodation. Thanks to generous funding of the NSF, we will additionally be able to fund several US-based students to attend the entire conference. Women and members of minority groups are especially encouraged to apply.
The LMW will focus on the technical and practical aspects of a career in logic research, including talks and a panel session from leaders in the subject. LMW'25 builds on a long tradition of LMW workshops held at LICS and CSL every year.
SCHOLARSHIP APPLICATIONS
Applications should be made via the online form:
https://docs.google.com/forms/d/e/1FAIpQLSf_ie8yy7C9EXy3EZKZZND_z2QSQUodvKV0OP8vQHg025LQPw/viewform
The deadline for applications is the *December 20th, 2024* AoE (anywhere on earth). Notification will be made before December 29th. This deadline is to allow students to register within the limit of early-bird registration which ends on January 10th 2025.
WORKSHOP REGISTRATION
Registration costs €50 and is done via the CSL main conference webpage:
https://csl2025.github.io/index#registration
Registration to the CSL2025 main conference includes registration for the workshop, if you do so please indicate that you are attending the LMW workshop as well.
SPEAKERS : TBA
Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to share their experience on soft skills and career management after a PhD in Logic, as well as to give scientific talks.
ORGANISING COMMITTEE
Silvia Butti - University of Oxford
Femke van Raamsdonk - VU Amsterdam
Niels Voorneveld - Cybernetica
SPONSORS
ACM Special Interest Group on Logic and Computation (SIGLOG)
National Science Foundation (NSF)
Jane Street
**********************************************************
*
* 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/
*
**********************************************************
Posts
