Call for Papers
The Second Women in Logic (WiL) Workshop
https://sites.google.com/site/womeninlogic2018/
(NOTE: Deadlines have changed, as requested by the FLoC organizers)
Affiliated with the
We are holding the second workshop ‘Women in Logic’ (WiL) as a Federated Logic Workshop this year.
The workshop intends to follow the pattern of meetings such as “Women in Machine Learning” (http://wimlworkshop.org/) or “Women in Engineering”
(http://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; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating.
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.
These are listed as 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, 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.
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).
Provisional formatting instructions:
Papers and abstracts should be prepared in latex using the ACM SIGPLAN Proceedings 2-column 10pt format.
The LaTeX style file is available from http://www.sigplan.org/Resources/Author/.
The submission should be in the form of a PDF file uploaded to the WiL 2018 Easychair page (https://easychair.org/conferences/?conf=wil2018) before the submission deadline of
30 April 2018, anywhere on Earth. (EXTENDED DEADLINE)
We plan to publish an informal post conference volume at ENTCS or other equally visible outlet.
IMPORTANT DATES Paper submission deadline: 30 April 2018 (extended deadline) Author notification: 15 May 2018 Contribution for Informal Proceedings: 31 May 2018
SCIENTIFIC AND ORGANIZING COMMITTEE * Valeria de Paiva (Co-chair, Nuance Communications, USA) * Adriana Compagnoni (Stevens Institute of Technology, USA) * Amy Felty (co-chair, University of Ottawa, Canada) * Anna Ingolfsdottir (Reykjavik University, Iceland) * Sara Kalvala (University of Warwick, UK) * Ursula Martin (University of Oxford, UK) * Valeria Vignudelli (Ecole Normale Supérieure de Lyon, France)