[TYPES/announce] Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw

[Michaël Cadilhac]

Reminder: The workshop is in a few weeks.  We still have funds to help pay
for US-based students to attend the whole conference in Warsaw, and CSL has
some funds for non-US-based students.  Please forward this announcement to
potentially interested students!

On Sun, Jan 22, 2023 at 8:14 PM Michaël Cadilhac <michael at cadilhac.name>
wrote:

> ------------------------------------------------------------------------
>
>                          Call for Participation
>
>
>                 Logic Mentoring Workshop (LMW at CSL 2023)
>                              Warsaw, Poland
>                            February 17, 2023
>
>                   https://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzP4kK2oOI$ 
>
>           Co-located with Computer Science Logic (CSL) 2023
>
> Registration at https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPJHdAeVQ$ 
>
> 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://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPY0g35tg$ ) 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://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzP4kK2oOI$ 
> 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://urldefense.com/v3/__https://forms.gle/EkcnV3Wreynr4C949__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPhxJrkPQ$ 
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230131/35eff1bc/attachment-0001.htm>