Fwd: [WiL] 6th Logic Mentoring Workshop: call for participation

[Joao Marcos]

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