Last Call for Participation: Logic Mentoring Workshop at CSL'23, Feb 17, Warsaw

Michaël Cadilhac michael at
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


          Co-located with Computer Science Logic (CSL) 2023

Registration at

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


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


- Mikołaj Bojańczyk (U. Warsaw, Poland)
- Lidia Tendera (U. Opole, Poland)
- Anna Wludarska (Google, Poland)


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


The detailed program is at


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:

More information about the FOM mailing list