<div dir="ltr">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!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jan 22, 2023 at 8:14 PM Michaël Cadilhac <<a href="mailto:michael@cadilhac.name">michael@cadilhac.name</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">------------------------------------------------------------------------<br>
<br>
                         Call for Participation<br>
<br>
<br>
                Logic Mentoring Workshop (LMW@CSL 2023)<br>
                             Warsaw, Poland<br>
                           February 17, 2023<br>
<br>
                  <a href="https://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzP4kK2oOI$" rel="noreferrer" target="_blank">https://mc.cdm.depaul.edu/lmw-csl23/</a><br>
<br>
          Co-located with Computer Science Logic (CSL) 2023<br>
<br>
Registration at <a href="https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPJHdAeVQ$" rel="noreferrer" target="_blank">https://csl2023.mimuw.edu.pl/?page_id=696</a><br>
<br>
Students in US institutions can have their expenses covered by the Logic<br>
Mentoring Workshop Travel Award (see below).<br>
<br>
------------------------------------------------------------------------<br>
<br>
The Logic Mentoring Workshop introduces young researchers to the<br>
technical and practical aspects of a career in logic research.  It is<br>
targeted at students, from senior undergraduates to doctoral students,<br>
and will include tutorials and plenary talks as well as a panel<br>
discussion, where experienced researchers from the field answer<br>
career-related questions from the audience.<br>
<br>
The workshop will happen in person only, in Warsaw, Poland, co-located<br>
with Computer Science Logic (CSL'23, <a href="https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPY0g35tg$" rel="noreferrer" target="_blank">https://csl2023.mimuw.edu.pl/</a>) one<br>
of the most prestigious conferences on the topic.  Attending CSL is *not*<br>
required to attend LMW, but it is encouraged, in particular by pairing<br>
students who wish to with a mentor during CSL.<br>
<br>
SPEAKERS<br>
<br>
- Mateusz Gienieczko (Microsoft Research, Ireland)<br>
- Nina Gierasimczuk (Danish Technical U., Denmark)<br>
- Jan Křetínský (T.U. Munich, Germany)<br>
- Julien Grange (U. Paris-Est Créteil, France)<br>
- Dale Miller (Inria Saclay and LIX Polytechnique, France)<br>
- Benedikt Pago (Aachen U., Germany)<br>
- Thorsten Wißmann (Friedrich-Alexander U. of Erlangen and Nürnberg, Germany)<br>
<br>
PANELISTS<br>
<br>
- Mikołaj Bojańczyk (U. Warsaw, Poland)<br>
- Ismaël Jecker (U. Warsaw, Poland)<br>
... and more to come.<br>
<br>
ORGANIZING COMMITTEE<br>
<br>
- Michaël Cadilhac (DePaul U., USA)<br>
- Pierre Ohlmann (U. Warsaw, Poland),<br>
- Thejaswini Raghavan (Warwick U., UK)<br>
<br>
PROGRAM<br>
<br>
The detailed program will be at <a href="https://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzP4kK2oOI$" rel="noreferrer" target="_blank">https://mc.cdm.depaul.edu/lmw-csl23/</a><br>
closer to the workshop.<br>
<br>
TRAVEL SUPPORT FOR US-BASED STUDENTS<br>
<br>
US-based students (undergrad, master's, and PhD alike) can apply to have<br>
their costs (some or all) covered by our sponsor, the National Science<br>
Foundation (NSF).<br>
<br>
Deadline: Jan 30 (applications are accepted after that date if funds allow)<br>
Apply at: <a href="https://urldefense.com/v3/__https://forms.gle/EkcnV3Wreynr4C949__;!!IBzWLUs!XS0NBOPcHkdFaUl3B1ednRsL5Aqr3xFif93rKR4gL7Bsh3yhVKHUgFbQ_yn6hU_k6QZ7QjGOPwb1oHpnThcGKntTkUzPhxJrkPQ$" rel="noreferrer" target="_blank">https://forms.gle/EkcnV3Wreynr4C949</a><br>
</blockquote></div>