LOGIC MENTORING WORKSHOP Tallinn, Estonia Sunday 9 July 2024

https://logic-mentoring-workshop.github.io/lics24/

Colocated with LICS and ICALP 2024

CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS

The 11th Logic Mentoring Workshop (LMW) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference and the International Colloquium on Automata, Languages and Programming (ICALP) this year. Attending a conference such as ICALP and LICS 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 ICALP or LICS, as well as the workshop, and possibly travel and accommodation. Due to the generous funding of the NSF, we will be able to fund several US students completely. 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'24 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://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en

The deadline for applications is *7 May 2024* AoE (anywhere on earth). Notification will be made before May 10th. This deadline is to allow students to register within the limit of early-bird registration which ends on 17 May.

WORKSHOP REGISTRATION

Registration will be done via the main conference site. See the ICALP/LICS/FSCD page : https://compose.ioc.ee/icalp2024/#registration

SPEAKERS : TBA

Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to teach about soft skills and career management after a PhD in Logic, as well as to give scientific talks.

ORGANISING COMMITTEE

Davide Catta (Università di Napoli) Marie Kerjean (CNRS) Nadia Labai (Amazon) Niels Voorneveld (Cybernetica)

SPONSORS National Science Foundation (NSF) Jane Street ACM Special Interest Group on Logic and Computation (SIGLOG)