[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