Overview

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 panel sessions 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.

Detailed Program will be available in the following days  

Participants who cannot attend the whole workshop, for instance because of time-zones, are encouraged to join some of the sessions.

Speakers

Gilles Dowek (ENS Paris-Saclay): The multiple facets of the profession of researcher

Javier Esparza (Technical University of Munich): How I Give a Talk

Kenny Foner (Bolt Labs): How Can I Academia When My Brain Can’t Even

Joanna Ochremiak (CNRS, University of Bordeaux): A brief introduction to proof complexity

Nicole Schweikardt (Humboldt University of Berlin): Locality properties of extensions of first-order logic and their use in algorithms

Peter Sewell (University of Cambridge): Engineering with logic: the foundations of mainstream industry systems

Panelists

Ricardo Almeida (Keysight Technologies)

Krishna (IIT Bombay)

Elaine Pimentel (Federal University of Rio Grande do Norte)

Javier Esparza  (Technical University of Munich)

Sterring Committee

• Ulrich Berger
• Michaël Cadilhac
• Erin Chapman
• Mike Dodds
• Sandra Kiefer
• Filip Mazowiecki
• Brigitte Pientka
• Alexandra Silva