[Call for Papers] Special Issue – 10 Years of the Women in Logic Workshop Journal of Logic and Computation
13 views
Skip to first unread message
Elaine Pimentel
4:30 AM (8 hours ago) 4:30 AM
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
---------------------------------------------------------------
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:
https://shorturl.at/844wu
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 <ja...@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.
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:
https://shorturl.at/844wu
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 <ja...@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.
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
UCL Computer Science is an Athena Swan Gold award winner for gender equality
UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024
-----------------------------------
Reply all
Reply to author
Forward
0 new messages