Friday, June 12, 2020

[DMANET] Logic Mentoring Workshop 2020 (Call for Participation)

Call for Participation
5th Logic Mentoring Workshop (LMW 2020)
6th July, 2020, Online, 10am - 6pm CET
Co-"located" with LICS 2020 and ICALP 2020
https://lmw.mpi-sws.org/
Free sign up:
https://lics2020.saarland-informatics-campus.de/lics-registration/

=================================================================

The Logic Mentoring Workshop (LMW) will introduce young researchers to
the technical and practical aspects of a career in logic research. It
is targeted at students, from senior undergraduates to graduates, and
will include talks and a panel session from leaders in the subject.

The workshop will be virtual. Details will be sent to the registered
participants.

Talks will be live and include a Q&A. Participants who cannot attend
the whole workshop, for instance because of time-zones, are encouraged
to join some of the sessions.

SPEAKERS

Joey Dodds (Galois)
Orna Kupferman (Hebrew University)
Florin Manea (University of Göttingen)
Wim Martens (University of Bayreuth)
Joël Ouaknine (MPI for Software Systems)
MichaƂ Skrzypczak (University of Warsaw)
Philip Wadler (University of Edinburgh)


PANELISTS

Kathleen Fisher (Tufts University)
Wim Martens (U. Bayreuth)
Mahsa Shirmohammadi (CNRS & IRIF)


ORGANIZING COMMITTEE

Michaël Cadilhac (DePaul University)
Erin Chapman (Unaffiliated)
Karoliina Lehtinen (University of Liverpool)
Filip Mazowiecki (MPI for Software Systems)


PROGRAM

A detailed program will soon be available on the LMW'20 website at
https://lmw.mpi-sws.org/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/
*
**********************************************************