18 Jun 2017
Reykjavik, Iceland
FINAL CALL FOR SCHOLARSHIP APPLICATIONS 2nd LOGIC MENTORING WORKSHOP Reykjavik, Iceland Sunday 18 June 2017 http://lics.rwth-aachen.de/lics17/lmw.html Colocated with LICS 2017 The 2nd Logic Mentoring Workshop (LMW) invites 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. The LMW will focus on the technical and practical aspects of a career in logic research, including talks and panel sessions from leaders in the subject. LMW '17 builds on the success of the first edition which took place last year, also colocated with LICS. Last year's programme can be found here: <http://lics.rwth-aachen.de/lics16/lmw.html>. SCHOLARSHIP APPLICATIONS Applications should be made via the online form: http://bit.ly/2lLnRq5 Please note that a letter of recommendation is required and should be sent directly by your referee to Valeria Vignudelli <valeria.vignudelli@ens-lyon.fr>. Further details are on the form. The deadline for applications is *31 March 2017*. Notification will be made shortly thereafter. CONFIRMED SPEAKERS Yuri Gurevich (University of Michigan, Microsoft Research) Valeria de Paiva (Nuance Communications) Prakash Panangaden (McGill University) (more TBA) ORGANISING COMMITTEE Anupam Das (co-chair) Eric Koskinen Valeria Vignudelli (co-chair) Fabio Zanasi (co-chair) SPONSORS Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) National Science Foundation (NSF) ACM Special Interest Group on Logic and Computation (SIGLOG) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam