coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Logic Mentoring Workshop (LMW) 2019 Call for Participation

From: "William J. Bowman" <wjb AT williamjbowman.com>
To: wjb AT williamjbowman.com
Subject: [Coq-Club] Logic Mentoring Workshop (LMW) 2019 Call for Participation
Date: Thu, 18 Apr 2019 22:46:39 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wjb AT williamjbowman.com; spf=None smtp.mailfrom=wjb AT williamjbowman.com; spf=None smtp.helo=postmaster AT williamjbowman.com
Ironport-phdr: 9a23:IezjAxIblH8cEXhIetmcpTZWNBhigK39O0sv0rFitYgfKv/xwZ3uMQTl6Ol3ixeRBMOHsqsC0LSd7vqoGTRZp8rY6DZaKN0EfiRGoP1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq9QajZFsJ6swxRfEomVEcPlSyW90OF6fhRnx6tqs8JJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjDTQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnliEKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAetwXWWRMUtpMWyBYHo+wcpYEA+4cMetYqoXwoUYFoxmjCgm2HO7hxD9GiGHr06M53OsuDRzJ0gMuEN8VrHTZr8/4OLsOXe2v0aXFyyjIYfNM2Tf67YjFah4trvGNXbJ0dcrRyFMgFwbYhVuUs4DuIi6Y1uMDsmie9eVgU+yjgHMgpgB/oDig3dwhi4fIhoIRzlDE9D92wIM3JdKjT056b9ukH4FWty2AK4R2RcYiTnhutS0nxLMGvpu7czILyJQh3xPfcP2Hc4eM4hLkW+adOzB4hGhqeL6niRey8Eygyun9Vsau1VZKrDFKkt7Ct3AIzRPT7NKLRed6/kek3zuEygPd6vlcLEwpkafXNYQtzqMwm5cTq0jOHSz7lF/rgKOLd0go4vWk5/jkb7n8uJORNpV4hhz/P6gzgMCzH/k0PhYIUmOG4+qzzqfj8lf8QLhSjv05jK3ZsJfCKMUVp665BwtV0oc55Ba6DTepy9MYnHcCLF1ffhKLlZTmO1bLIPzgDPe/hUqjkCtzyvzbOrDtHI/BImXDnbrhZ7pw6E1RxBAuwdxC5p9YErQBL+jyWk/1utzYFBg5MwmszufpCtVyzZgTWGyOAq+dNKPSsEWH5uctI+aXY48UtjP9JOIj5/L0kXA5nlodcbGz3ZQLcHC4AuhmI0KBbHXwhdcBCH4GsRY6TOz3k1KPSiVTZna3X6Ik/D43EoOmDYHZRoCsmrONxim7HocFLlxBX0+OG1/3doGAWv4JaiiVPcpolHoPUr3yZZUm0ETkiw7+z7tuK6L2vGUyso3m3d4/r7nMlxsa6j1wC8WU1mOHSH5xl2VOTDgzivMs6Xdhw0uOhPAry8dTEsZesqoUC1toBdvn1+V/TuvKdEfZZN7TEAS5Q9GiADg0TNg23NoHZQB2HNDw1kmSjRrvOKcckvmwPLJx96vd23brIMMnkyTZ1a0ljlAjQMFIKmivgOh08A2BX9eUwXXcrL6jcOEn5ACI9GqHyjDW7l5ZVApxWKDHV3cAY0LQ69/+4xGaQg==

Please distribute this call widely; send it to your reading groups, your
classes, and internal lab lists!

Call for Participation
LMW 2019
4th Logic Mentoring Workshop
June 22, 2019, Vancouver, Canada
Co-located with LICS 2019
https://lics.siglog.org/lics19/lmw.php

=================================================================

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 a panel session from
leaders in
the subject.

LMW 2019 builds on the resounding success of the first three editions held in
2016, 2017
and 2018. It will be co-located with the Symposium on Logic in Computer
Science
(LICS 2019), the premier international forum on theoretical and practical
topics in
computer science related to logic. LMW will take place in Vancouver on June
22 before
the main conference.

SPEAKERS

Bob Atkey (University of Strathclyde)
Kuen-Bang Hou (Favonia) (University of Minnesota)
Ohad Kammar (University of Edinburgh)
Étienne Miquey (Inria, Gallinette)
Brigitte Pientka (McGill University)
Sylvain Schmitz (LSV, Paris-Saclay)
Ana Sokolova (University of Salzburg)

PANELISTS

Ohad Kammar (University of Edinburgh)
Ana Sokolova (University of Salzburg)
Kuen-Bang Hou (Favonia) (University of Minnesota)

ORGANIZING COMMITTEE

William J. Bowman (University of British Columbia)
Mike Dodds (Galois, Inc)
Sandra Kiefer (RWTH Aachen University)
Filip Mazowiecki (University of Bordeaux)

PROGRAM

A detailed program will soon be available on the LMW 2019 website at
https://lics.siglog.org/lics19/lmw.php

TRAVEL AWARDS

Thanks to the generous support from Amazon Web Services, Galois, NSF and
SIGLOG,
we will be able to offer travel awards to eligible participants. The travel
support will
consist in refunds for expenses regarding registration and possibly
accommodation.
The application form will be available from Monday, April 22. Applicants must
fill out
the form and provide a recommendation letter. Please find further details on
our website.
The deadline for applications is May 17th and applicants will be notified by
May 27th.

We are looking forward to seeing you at LMW in Vancouver!

--
William J. Bowman, Ph.D.
Assistant Professor, Computer Science, University of British Columbia
https://www.williamjbowman.com

[Coq-Club] Logic Mentoring Workshop (LMW) 2019 Call for Participation, William J. Bowman, 04/19/2019