Call for Participation
LMW@CSL 2022
1st Edition of Logic Mentoring Workshop @ CSL
https://lmw.mpi-sws.org/csl/
February 14, 2022
associated with Computer Science Logic (CSL) conference 2022
Registration is free but mandatory!
https://events.gwdg.de/event/95/
--------------------------------------------------------------------------------------------
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 virtually via Zoom. Details will be sent to the registered participants. Talks will be given live and include a Q&A session. Participants who cannot attend the whole workshop, for instance because of time-zone conflicts, are encouraged to join selected sessions.
SPEAKERS
- Shaull Almagor (Technion, Israel)
- Dmitry Chistikov (University of Warwick, UK)
- Liron Cohen (Ben-Gurion University, Israel)
- Daniele Nantes (Universidade de Brasília, Brazil)
- Michał Pilipczuk (University of Warsaw, Poland)
- Elaine Pimentel (University College London, UK)
- Monica VanDieren (Robert Morris University, USA)
PANELISTS
- Isolde Adler (University of Leeds, UK)
- Andrew Kent (Galois Inc., USA)
- Cláudia Nalon (Universidade de Brasília, Brazil)
- Stanislav Živný (University of Oxford, UK)
ORGANIZING COMMITTEE
Sandra Kiefer (RWTH Aachen University, Germany)
Filip Mazowiecki (University of Warsaw, Poland)
PROGRAM
The detailed program is available on the LMW@CSL website
https://lmw.mpi-sws.org/csl/program.html
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
