[TYPES/announce] Logic Mentoring Workshop (LMW'18): Call for Participation

[Gabriel Scherer]

I am forwarding this Call for Participation on behalf of Jan Hoffmann
and Brigitte Pientka.
(Unlike other FLoC workshop, this one was not previously announced.)
Mentoring Workshops are appreciated by the students (and non-students)
that attend them;
please feel free to forward this announcement to students around you.

=================================================================
                        Call for Participation
                              LMW 2018
                     3rd Logic Mentoring Workshop
                       July 8, 2018, Oxford, UK
                           Part of FLoC 2018
                 https://lics.siglog.org/lics18/lmw.php
=================================================================


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.

LMW '18 builds on the resounding success of the first two editions
held in 2016 and 2017. It will be co-located with the Symposium on
Logic in Computer Science (LICS 2018), the premier international forum
on theoretical and practical topics in computer science related to
logic, within the frame of the Federated Logic Conference (FLoC
2018). LMW will take place on July 8 in Oxford before the main
conference and other workshops.

SPEAKERS

Gilles Barthe (IMDEA Software Institut)
Maribel Fernandez (King's College London)
Marco Gaboardi (University at Buffalo)
Neelakantan R. Krishnaswami (University of Cambridge)
Luke Ong (University of Oxford)
Brigitte Pientka (McGill University)
Gabriel Scherer (INRIA)

PANELISTS

Nick Benton (Facebook)
Marco Gaboardi (University at Buffalo)
Cynthia Kop (Radboud University Nijmegen)
Alexandra Silva (University College London)

ORGANIZING COMMITTEE

Ugo Dal Lago (Università degli Studi di Bologna)
Jan Hoffmann (Carnegie Mellon University)
Sandra Kiefer (RWTH Aachen)
Brigitte Pientka (McGill University)

PROGRAM

A detailed program is available on the LMW'18 website at

  https://lics.siglog.org/lics18/lmw.php

VENUE

The workshop will be held in Oxford as part of FLoC. Details will
appear on the LMW'18 website.

SCHOLARSHIPS

We are no longer accepting applications for scholarships.

SPONSORS

LMW'18 is sponsored by SIGLOG and Galois.