Call for Contributions
WiL 2026: 10th Women in Logic Workshop
July 24-25, 2026
Affiliated with FLOC 2026
https://sites.google.com/view/wil2026
---------------------------------------------
We are pleased to call for submissions to WiL 2026, the "10th International
Workshop for Women in Logic", which will take place in Lisbon on 24–25 July
2026, as a satellite event of FLoC 2026.
The Women in Logic workshop (WiL) provides an opportunity to highlight and
increase awareness of the valuable contributions made by women in the field
of logic and computer science. Its main goal is to promote and showcase
excellent research led by women, ultimately fostering greater visibility
and representation within the community.
Previous editions of Women in Logic have taken place in Reykjavík (2017),
Oxford (2018), Vancouver (2019), Paris (2020), Rome (2021), Haifa (2022),
Rome (2023), Tallinn (2024), and Birmingham (2025).
* Submissions *
Abstracts should be written in English (max 2 pages excluding references),
and prepared using the Easychair style (
https://easychair.org/publications/for_authors). The abstracts should be
uploaded to the WiL 2026 Easychair page
https://easychair.org/my/conference?conf=wil2026
as a PDF file before the submission deadline on May 5, 2026, anywhere on
Earth.
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, and verification.
* Important Dates *
Abstract Submission: May 5, 2026
Paper Notification: May 15, 2026
Grant Application: May 17 2026
Grant Notification: May 19, 2026
Early Registration: TBA
Contribution for Informal Proceedings: June 25, 2026
Workshop: July 24-25, 2026
* Invited Speakers *
Valeria de Paiva (Topos Institute)
Raheleh Jalali (University of Bath)
More TBA
* Program Committee *
Sandra Alves (Porto University)
Huimin Dong (Co-chair, TU Wien)
Amy Felty (University of Ottawa)
Nina Gierasimczuk (Technical University of Denmark)
Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México)
Delia Kesner (Université Paris Cité)
Fenrong Liu (Tsinghua University)
Anela Lolic (Co-chair, TU Wien)
Daniele Nantes-Sobrinho (UNB, Brazil)
Aybüke Özgün (University of Amsterdam)
Anja Petkovic Komel (Ethereum Foundation / TU Wien)
Elaine Pimentel (Co-chair, UCL)
Tephilla Prince (IIT Dharwad)
Sara Uckelman (Durhan University)
More TBA
* Grants *
A limited number of travel grants is available for students/young
researchers who would not otherwise have resources to attend WiL, and whose
attendance would benefit both the applicant and the event.
* Special Issue – 10 Years of the Women in Logic Workshop *
We are delighted to pre-announce a special 10th Anniversary Edition of
Women in Logic, which will be published in the Journal of Logic and
Computation. This celebratory issue will highlight a decade of
contributions by women to the development of logic and its applications,
showcasing both established and emerging voices in the community.
The call for papers will be launched soon, and we warmly encourage
submissions from researchers working across all areas of logic. This
special edition represents an important milestone in the ongoing effort to
increase visibility, representation, and opportunities for women within the
field.
More details: https://sites.google.com/view/wil2026/call-for-papers
**********************************************************
*
* 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
