4th Logic Mentoring Workshop
Saturday 22 June 2019, Vancouver


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 '19 builds on the resounding success of the first editions held in 2016, 2017 and 2018. It will be co-located with the Symposium on Logic in Computer Science 2019, the premier international forum on theoretical and practical topics in computer science related to logic. LMW will take place on June 22 in Vancouver before the main conference.


  • Bob Atkey (University of Strathclyde)
  • Kuen-Bang Hou (Favonia) (University of Minnesota)
  • Ohad Kammar (University of Edinburgh)
  • Étienne Miquey (INRIA, Gallinette)
  • Brigitte Pientka (McGill University)
  • Sylvain Schmitz (LSV, ENS Paris Saclay & CNRS)
  • Ana Sokolova (Universität Salzburg)
  • The talks will be a mixture of mentoring and research talks.


    As part of LMW, there will be a question and answer session comprising of the following panellists:


    08:00 — 09:00— Coffee & Pastries —
    09:00 — 09:30Ana Sokolova: On Coalgebra, Loving What You Do, and Doing Beautiful ScienceSandra Kiefer
    09:30 — 10:00Get-to-Know-Each Other and Find a Conference Buddy
    10:00 — 10:30— Break —
    10:30 — 11:00 Favonia: Introduction to Cubical Type TheoryFilip Mazowiecki
    11:30 — 12:00Ohad Kammar: Where do ideas come from?
    12:00 — 12:30Étienne Miquey: Sequent calculus and their computational content
    12:30 — 14:00 — Lunch Break —
    14:00 — 14:30Sylvain Schmitz: Well-quasi-orders in LogicWilliam J. Bowman
    14:30 — 15:00Brigitte Pientka: How to give a talk
    15:00 — 15:30Bob Atkey: Reviewing
    15:30 — 16:00— Break —
    16:00 — 17:00Panel with Favonia, Ohad Kammar, Brigitte Pientka, Ana Sokolova Sandra Kiefer


    The workshop will be held in the McLean Management Studies Lab (Room 2945) on the second floor of Harbour Centre, Simon Fraser University. Click here for a map.

    Travel Awards

    We do not accept applications for travel awards anymore.

    The deadline for applications was May 17th. Applicants will be notified by beginning of June.

    Useful resources

    The following are some links on resources for research skills. We hope that you will find them useful! Please let us know if there is anything else you would like us to upload here!

    Organizing committee

    William J. Bowman (University of British Columbia)
    Mike Dodds (Galois, Inc)
    Sandra Kiefer (RWTH Aachen University)
    Filip Mazowiecki (University of Bordeaux)

    LMW sponsors

    LMW sponsors have generously offered financial aid for students to travel to Vancouver and attend LICS and LMW.

    NSF Amazon ARG SIGLOG Galois, Inc.