---------- Forwarded message ---------
Dear colleagues,
Please encourage your students and interns who might be interested to
attend LMW. Topics this year range from mental health in research to
logic in industry.
All the best,
Karoliina
Call for Participation
6th Logic Mentoring Workshop (LMW
2021)
28th June, 2021,
Online
10am - 6pm CEST
Co-located with LICS
2021
https://www.csc.liv.ac.uk/~mfortin/lmw2021
Registration 30€/10€(Msc/Bsc students):
http://easyconferences.eu/lics2021/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
- 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)
- Javier Esparza (Technical University of Munich)
- S. Krishna (IIT Bombay)
- Elaine Pimentel (Federal University of Rio Grande do Norte)
ORGANIZING COMMITTEE
- Jose Calderon (Galois)
- Marie Fortin (University of Liverpool)
- Karoliina Lehtinen (CNRS, University Aix-Marseille)
- Ivano Salvo (Sapienza University of Rome)
PROGRAM
The detailed program is available on the LMW'21 website at
https://www.csc.liv.ac.uk/~mfortin/lmw2021
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjTkbYizu8QxwRveJkM2W0G31dqVzm7y8zgL61eGhiTmg%40mail.gmail.com.
