Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] WiL 2019: Women in Logic Workshop Final Call f...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:39):

From: Amy Felty <afelty@uottawa.ca>
Final Call for Talks and Papers
WiL 2019: 3rd Women in Logic Workshop
Vancouver, Canada
23 June 2019
https://sites.google.com/site/womeninlogic2019/home

** New dates including extended submission deadline: 21 April 2019

Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in
Computer Science (LICS), 24-27 June 2019 (https://lics.siglog.org/lics19/).

We are holding the third Women in Logic Workshop (WiL 2019) as a LICS
associated workshop on 23 June 2019. The workshop follows the pattern
of meetings such as Women in Machine Learning (WiML,
wimlworkshop.org/) or Women in Engineering (WIE,
www.ieee-ras.org/membership/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.

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 program committee tries to cover most areas of
Logic in Computer Science. These include but are not limited to the
usual Logic in Computer Science (LICS) topics. These are: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
games and logic, higher-order logic, lambda and combinatory calculi,
linear logic, logic in artificial intelligence, logic programming,
logical aspects of bioinformatics, logical aspects of computational
complexity, logical aspects of quantum computation, logical
frameworks, logics of programs, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language
semantics, proof theory, real-time systems, reasoning about security
and privacy, rewriting, type systems and type theory, and
verification.

INVITED SPEAKERS

IMPORTANT DATES
Paper submission deadline: 21 April 2019
Author notification: 7 May 2019
Contribution for Informal Proceedings: 23 May 2019

SUBMISSIONS
Contributions should be written in English and can be submitted in the
form of full papers (with a maximum of 10 pages), short papers (with a
maximum of 5 pages), or talk abstracts (1 page).

Formatting instructions: Papers and abstracts should be
prepared using the Easychair style
(https://easychair.org/publications/for_authors).

The submission should be in the form of a PDF file uploaded to the WiL
2019 Easychair page (https://easychair.org/conferences/?conf=wil2019)
before the submission deadline of 21 April 2019, anywhere on Earth.

PROCEEDINGS
We plan to publish an informal post conference volume at ENTCS or
other equally visible outlet.

ORGANIZING AND PROGRAM COMMITTEE
Since our workshop is especially keen on making sure that women get to
know the work of other women, we have a large program committee.


Last updated: Mar 28 2024 at 12:29 UTC