Call for Participation
Logic Mentoring Workshop (LMW@CSL 2023)
Warsaw, Poland
February 17, 2023
https://mc.cdm.depaul.edu/lmw-csl23/
Co-located with Computer Science Logic (CSL) 2023
Registration at https://csl2023.mimuw.edu.pl/?page_id=696
Students in US institutions can have their expenses covered by the Logic
Mentoring Workshop Travel Award (see below).
------------------------------------------------------------------------
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 happen in person only, in Warsaw, Poland, co-located
with Computer Science Logic (CSL'23, https://csl2023.mimuw.edu.pl/) one
of the most prestigious conferences on the topic. Attending CSL is *not*
required to attend LMW, but it is encouraged, in particular by pairing
students who wish to with a mentor during CSL.
SPEAKERS
- Mateusz Gienieczko (Microsoft Research, Ireland)
- Nina Gierasimczuk (Danish Technical U., Denmark)
- Jan Křetínský (T.U. Munich, Germany)
- Julien Grange (U. Paris-Est Créteil, France)
- Dale Miller (Inria Saclay and LIX Polytechnique, France)
- Benedikt Pago (Aachen U., Germany)
- Thorsten Wißmann (Friedrich-Alexander U. of Erlangen and Nürnberg, Germany)
PANELISTS
- Mikołaj Bojańczyk (U. Warsaw, Poland)
- Ismaël Jecker (U. Warsaw, Poland)
... and more to come.
ORGANIZING COMMITTEE
- Michaël Cadilhac (DePaul U., USA)
- Pierre Ohlmann (U. Warsaw, Poland),
- Thejaswini Raghavan (Warwick U., UK)
PROGRAM
The detailed program will be at https://mc.cdm.depaul.edu/lmw-csl23/
closer to the workshop.
TRAVEL SUPPORT FOR US-BASED STUDENTS
US-based students (undergrad, master's, and PhD alike) can apply to have
their costs (some or all) covered by our sponsor, the National Science
Foundation (NSF).
Deadline: Jan 30 (applications are accepted after that date if funds allow)
Apply at: https://forms.gle/EkcnV3Wreynr4C949
**********************************************************
*
* 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
