2nd Logic Mentoring Workshop
Sunday 8 July 2018, Oxford
Oxford Sheldonian


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 edition held in 2016. It will be co-located with the Symposium on Logic in Computer Science 2018, the premier international forum on theoretical and practical topics in computer science related to logic, within the frame of the Federated Logic Conference 2018. LMW will take place on July 8 in Oxford before the main conference and other workshops.


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:


to be announced


The workshop will be held in Oxford. Details will follow soon.


We are no longer accepting applications for scholarships.

Useful resources

The following are some links on resources for research skills that were mentioned during the workshop. We hope that you will find them useful! Also, you can find slides from the various talks in the next section below. Please let us know if there is anything else you would like us to upload here!

Abstracts and slides

to be announced

Organizing committee

Ugo Dal Lago
Jan Hoffmann
Sandra Kiefer
Brigitte Pientka

LMW sponsors

SIGLOG Galois, Inc.

LICS Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing.

  • ACM
  • IEEE

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.