[TYPES/announce] LMW at LICS and ICALP '24 - Call for participation and scholarship applications
Marie Kerjean
marie.kerjean at lipn.univ-paris13.fr
Tue Apr 16 14:20:44 EDT 2024
LOGIC MENTORING WORKSHOP
Tallinn, Estonia
Sunday 9 July 2024
https://urldefense.com/v3/__https://logic-mentoring-workshop.github.io/lics24/__;!!IBzWLUs!VkMda3BHjEwkCHghhDV_gBc1tCUrIFP8MnZUqU6Q1kMt8-Ryl-R2ihfoudyEQKN1UvCpJaYMfsBkX5oIaIiChGOt-qg1pYFAOuvp1ENxEV8_xTjnFZ4$
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://urldefense.com/v3/__https://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en__;!!IBzWLUs!VkMda3BHjEwkCHghhDV_gBc1tCUrIFP8MnZUqU6Q1kMt8-Ryl-R2ihfoudyEQKN1UvCpJaYMfsBkX5oIaIiChGOt-qg1pYFAOuvp1ENxEV8_KrHH2_0$
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://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/*registration__;Iw!!IBzWLUs!VkMda3BHjEwkCHghhDV_gBc1tCUrIFP8MnZUqU6Q1kMt8-Ryl-R2ihfoudyEQKN1UvCpJaYMfsBkX5oIaIiChGOt-qg1pYFAOuvp1ENxEV8_IFsADEU$
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)
More information about the Types-announce
mailing list