1st Call for Papers - Women in Logic 2026
12 views
Skip to first unread message
Elaine Pimentel
Nov 24, 2025, 3:04:56 AM (7 days ago) Nov 24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
---------------------------------------------------------------
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
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
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