[TYPES/announce] Call for Scholarship Applications: Logic Mentoring Workshop (LMW) '17

Valeria Vignudelli valeria.vignudelli at ens-lyon.fr
Mon Feb 27 19:31:15 EST 2017


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 cover
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 at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170228/e930dcb2/attachment.html>


More information about the Types-announce mailing list