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

Michaël Cadilhac michael at cadilhac.name
Mon Feb 6 06:22:08 EST 2023


***We still have funds to cover the expenses of US-based students!***

------------------------------------------------------------------------

                       Last 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!TDzJO-GS9ncjU7HhLTVArpX1e_Xx8JzYfNY-0_uNErXUDxRtjy2I4_0FcqzCxN-Rr3E1JPxqiwGKeKVhheIysOkFu9M_TB3tOlo$ 

          Co-located with Computer Science Logic (CSL) 2023

Registration at https://urldefense.com/v3/__https://csl2023.mimuw.edu.pl/?page_id=696__;!!IBzWLUs!TDzJO-GS9ncjU7HhLTVArpX1e_Xx8JzYfNY-0_uNErXUDxRtjy2I4_0FcqzCxN-Rr3E1JPxqiwGKeKVhheIysOkFu9M_AEduLUM$ 

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!TDzJO-GS9ncjU7HhLTVArpX1e_Xx8JzYfNY-0_uNErXUDxRtjy2I4_0FcqzCxN-Rr3E1JPxqiwGKeKVhheIysOkFu9M__VS_tCE$ ) 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)
- Lidia Tendera (U. Opole, Poland)
- Anna Wludarska (Google, Poland)

ORGANIZING COMMITTEE

- Michaël Cadilhac (DePaul U., USA)
- Pierre Ohlmann (U. Warsaw, Poland),
- Thejaswini Raghavan (Warwick U., UK)

PROGRAM

The detailed program is at https://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!TDzJO-GS9ncjU7HhLTVArpX1e_Xx8JzYfNY-0_uNErXUDxRtjy2I4_0FcqzCxN-Rr3E1JPxqiwGKeKVhheIysOkFu9M_TB3tOlo$ 

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).

Apply at: https://urldefense.com/v3/__https://forms.gle/EkcnV3Wreynr4C949__;!!IBzWLUs!TDzJO-GS9ncjU7HhLTVArpX1e_Xx8JzYfNY-0_uNErXUDxRtjy2I4_0FcqzCxN-Rr3E1JPxqiwGKeKVhheIysOkFu9M_O5NADS8$ 


More information about the Types-announce mailing list