Saturday 22 June 2019, Vancouver
Overview
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.
Speakers
to be announced
The talks will be a mixture of mentoring and research talks.
Panellists
to be announced
Program
to be announcedVenue
to be announcedScholarships
We are not yet 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.- Teaching Teaching and Understanding Understanding.
- How to write, referee, give talks etc.
- Research skills (click button).
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
LICS Sponsorship
The symposium is sponsored by ACM SIGLOG, the IEEE Technical Committee on Mathematical Foundations of Computing, the Association for Symbolic Logic, the European Association for Theoretical Computer Science, the Pacific Institute for the Mathematical Sciences, Simon Fraser University, and Google.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.