Call for Contributions
JLC Special Issue – 10 Years of the Women in Logic Workshop
15 August 2026 (AoE)
Webpage: https://womeninlogic.org/workshops/2026/special-issue/
---------------------------------------------------------------
We are pleased to invite submissions to the Journal of Logic and
Computation Special Issue on 10 Years of the Women in Logic Workshop.
This special issue celebrates the 10th anniversary of the Women in Logic
Workshop and aims to highlight a decade of contributions by women to the
development of logic and its applications. It will showcase both
established and emerging voices in the community, marking an important
milestone in ongoing efforts to increase visibility, representation, and
opportunities for women in logic.
We warmly encourage submissions from researchers across all areas of logic,
reflecting the breadth, diversity, and continued growth of this vibrant
community.
* Submissions *
Submissions should be written in English (maximum 25 pages including
references and appendices) and prepared using the template available here:
The first author must be a female researcher or a researcher identifying as
female.
The PDFs of the submissions should be sent via e-mail to Jane Spurr <
jane@janespurr.net> with "JLC Submission - WiL10" in the subject line by 15
August 2026 (Anywhere on Earth).
Submissions must present original, unpublished work.
Topics of interest include but are not limited to:
- 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,
- verification.
All submissions will be subject to the standard peer-review process of the
Journal of Logic and Computation and must comply with the journal's author
guidelines
https://academic.oup.com/logcom/pages/General_Instructions
* Important Date *
Submission deadline: 15 August 2026 (AoE)
* Guest Editors *
Huimin Dong (TU Wien)
Anela Lolic (TU Wien)
Elaine Pimentel (UCL)
For any enquiries regarding suitability or submission, please feel free to
contact the guest editors.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
