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.
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:30||Ana Sokolova: On Coalgebra, Loving What You Do, and Doing Beautiful Science||Sandra Kiefer|
|09:30 — 10:00||Get-to-Know-Each Other and Find a Conference Buddy|
|10:00 — 10:30||— Break —|
|10:30 — 11:00||Favonia: Introduction to Cubical Type Theory||Filip Mazowiecki|
|11:30 — 12:00||Ohad 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:30||Sylvain Schmitz: Well-quasi-orders in Logic||William J. Bowman|
|14:30 — 15:00||Brigitte Pientka: How to give a talk|
|15:00 — 15:30||Bob Atkey: Reviewing|
|15:30 — 16:00||— Break —|
|16:00 — 17:00||Panel with Favonia, Ohad Kammar, Brigitte Pientka, Ana Sokolova||Sandra Kiefer|
We do not accept applications for travel awards anymore.
The deadline for applications was May 17th. Applicants will be notified by beginning of June.
LMW sponsors have generously offered financial aid for students to travel to Vancouver and attend LICS and LMW.
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.