[TYPES/announce] Logic Mentoring Workshop at CSL'23, Feb 17: Online Participation
Michaël Cadilhac
michael at cadilhac.name
Thu Feb 16 12:00:40 EST 2023
This is a *last minute* call for *online* participation to the Logic
Mentoring Workshop organized this Friday 17, 9am-5pm (Central European
Time). Please head over to:
https://urldefense.com/v3/__https://forms.gle/TWBw2RL5deGbGnVE6__;!!IBzWLUs!SILnNc7fNyBVkWgd6h3tREWBBUAxZK2CLBOwhfV8rUrN4zjCmpto7uCU_DoaGra1FJA6dj-S0vb3ogU1rS2bd4_Vhl4ZJ-i_tJc$
to get the Zoom link for the day. The program is available at:
https://urldefense.com/v3/__https://mc.cdm.depaul.edu/lmw-csl23/__;!!IBzWLUs!SILnNc7fNyBVkWgd6h3tREWBBUAxZK2CLBOwhfV8rUrN4zjCmpto7uCU_DoaGra1FJA6dj-S0vb3ogU1rS2bd4_Vhl4ZKtp1NLM$
The original announcement follows.
------------------------------------------------------------------------
Call for Online 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!SILnNc7fNyBVkWgd6h3tREWBBUAxZK2CLBOwhfV8rUrN4zjCmpto7uCU_DoaGra1FJA6dj-S0vb3ogU1rS2bd4_Vhl4ZKtp1NLM$
Co-located with Computer Science Logic (CSL) 2023
------------------------------------------------------------------------
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!SILnNc7fNyBVkWgd6h3tREWBBUAxZK2CLBOwhfV8rUrN4zjCmpto7uCU_DoaGra1FJA6dj-S0vb3ogU1rS2bd4_Vhl4Z7YvBSoI$ ) 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!SILnNc7fNyBVkWgd6h3tREWBBUAxZK2CLBOwhfV8rUrN4zjCmpto7uCU_DoaGra1FJA6dj-S0vb3ogU1rS2bd4_Vhl4ZKtp1NLM$
More information about the Types-announce
mailing list