FIRST CALL FOR SCHOLARSHIP APPLICATIONS 2nd LOGIC MENTORING WORKSHOP Reykjavik, Iceland Sunday 18 June 2017, Colocated with LICS 2017


(From Anupam Das)


FIRST 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: .


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 . 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)