We are holding the third workshop  ‘Women in Logic’ (WiL) as a LiCS associated workshop on 23rd June 2019. The workshop follows the pattern of meetings such as Women in Machine Learning or Women in Engineering that have been taking place for quite a few years.

Women are chronically underrepresented in the LiCS community. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another’s work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprising mostly women, replicating the experience that most men have at most LiCS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.

Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LiCS) topics. 

Previous versions of Women in Logic (Reykjavik, Iceland 2017 and Oxford, UK 2018) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community. Our extended programme committee tries to cover most areas of Logic in Computer Science.

In previous years WiL featured invited talks by Catuscia Palamidessi and Claudia Nalon (2017) and by Perdita Stevens and Brigitte Pientka (2018). 

In 2019, our invited speakers are:

We are pleased to acknowledge the support of SIGLOG, the Special Interest Group of the ACM for Logic.

We look forward to seeing you in Vancouver!

The Organizers

Subpages (1): Call for Papers