Logic Mentoring Workshop (LMW@CSL 2024)
Naples, Italy
23 February 2024
https://logic-mentoring-workshop.github.io/csl24/
Co-located with Computer Science Logic (CSL) 2024
Registration at https://csl2024.github.io/Home/#registration
The Logic Mentoring Workshop introduces young researchers to the
technical and practical aspects of a career in logic research. It is
targeted at students, from senior undergraduates to doctoral students,
and will include tutorials and plenary talks as well as a panel
discussion, where experienced researchers from the field answer
career-related questions from the audience.
The workshop will be an on-site event, co-located with the Computer
Science Logic conference (CSL'24, https://csl2024.github.io/Home/).
Attending CSL is not a prerequisite to attend LMW, but it is encouraged.
SPEAKERS AND PANELLISTS
Matteo Acclavio (University of Southern Denmark)
Laura Fontanella (Paris-East Créteil University)
Iris van der Giessen (University of Birmingham)
Luisa Herrmann (TU Dresden)
Antoine Mottet (Hamburg University of Technology)
Isabel Oitavem (NOVA University Lisbon)
Paolo Pistone (University of Bologna)
Maaike Zwart (IT University of Copenhagen)
PROGRAM
The detailed program will be at
https://logic-mentoring-workshop.github.io/csl24/ closer to the workshop.
CSL BUDDY
Is this the first conference you will attend in person? We have all been
there. You might not feel comfortable if you don't know anyone. Join our
Buddy Program, and we will help you to get in touch with another
mentoring workshop attendee. Every newcomer will be assigned either a
more experienced peer or another newcomer, so you are not alone. For
those who are not attending a conference for the first time, being a
buddy is a way for you to help the community to grow and introduce less
experienced students to the field. If you are interested, write an email
to steffen.van.bergerem@hu-berlin.de.
TRAVEL SUPPORT
Students (undergrad, master's, and PhD alike) can apply to have their
costs (some or all) covered by our sponsors, the National Science
Foundation (NSF) and SIGLOG.
Deadline: January 31st (applications are accepted after that date if
funds allow)
Apply at: https://forms.gle/uMQrcQndn3oXCpRu7
ORGANIZING COMMITTEE
Elli Anastasiadi, Steffen van Bergerem, Davide Catta
--
Steffen van Bergerem
Humboldt University of Berlin
Department of Computer Science
Logic in Computer Science
Rudower Chaussee 25
12489 Berlin
Mail: steffen.van.bergerem@informatik.hu-berlin.de
Pronouns: they/them/theirs and he/him/his
**********************************************************
*
* 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
