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 '17 builds on the resounding success of the first edition held last year. It will be co-located with the Logic in Computer Science 2017, the premier international forum on theoretical and practical topics in computer science related to logic. It will take place on June 18 in Reykjavik before the main conference and other workshops.
We invite applications from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference this year. Attending a conference such as LICS can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. However many students do not get the opportunity to attend a conference such as LICS, and its participation often underrepresents women and minorities. For this reason, women and members of minority groups are especially encouraged to apply. Scholarships will be generously funded by our sponsors (see below) and covers registration to LMW and the main LICS conference, and possibly travel and accommodation.
We are no longer accepting applications for scholarships.
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, and by Microsoft Research and Google, in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, Reyjavik University, and the Icelandic Centre of Excellence in Theoretical Computer Science.