Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] WiL'21 Final Call for Participation


view this post on Zulip Email Gateway (Jun 21 2021 at 08:52):

From: Sandra Alves <sandra@dcc.fc.up.pt>


Final Call for Participation

WiL 2021: 5th Women in Logic Workshop
https://sites.google.com/g.uporto.pt/wil2021 <https://sites.google.com/g.uporto.pt/wil2021>
June 27, 2021
9:20am - 6:45pm CEST
part of LICS 2021

Registration:
http://easyconferences.eu/lics2021/registration <http://easyconferences.eu/lics2021/registration>


Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS’21) to be held virtually
from June 29 until July 2, 2021.

The Women in Logic workshop (WiL) provides an opportunity to increase
awareness of the valuable contributions made by women in the area of
logic in computer science. Its main purpose is to promote the excellent
research done by women, with the ultimate goal of increasing their
visibility and representation in the community. Our aim is to:

Previous versions of Women in Logic (Reykjavík, Iceland 2017,
Oxford, UK 2018, Vancouver, Canada 2019, and Paris, France 2020)
were very successful in showcasing women's work and as catalysts for a
recognition of the need for change in the community.


INVITED TALKS


CONTRIBUTED TALKS


CONTRIBUTED POSTERS


PROGRAM

The detailed program is available on the WiL'21 website at
https://sites.google.com/g.uporto.pt/wil2021/program <https://sites.google.com/g.uporto.pt/wil2021/program>


ORGANIZING AND PROGRAM COMMITTEE


SPONSORS

WiL'21 is pleased to acknowledge financial support from:


Last updated: Sep 25 2021 at 08:21 UTC