Logic List Mailing Archive

CfP [deadline soon!]: Logic Mentoring Workshop (LMW@CSL’25) + scholarship application, 10 February, Amsterdam (Netherlands)

From: Silvia Butti <silvia.butti@cs.ox.ac.uk>
Sent: Thursday, December 12, 2024 1:06 PM
To: logic.list@outlook.com
Subject: Logic Mentoring Workshop (LMW@CSL’25) - Call for participation and scholarship applications

LOGIC MENTORING WORKSHOP
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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php