[2nd Call for Papers] Women in Logic 2026
18 views
Skip to first unread message
Elaine Pimentel
Apr 20, 2026, 4:21:05 AM (2 days ago) Apr 20
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://womeninlogic.org/workshops/2026/
---------------------------------------------------------------
We are pleased to call for submissions to WiL 2026, the "10th Women in Logic workshop", which will take place in Lisbon on 24–25 July 2026, as a satellite event of FLoC 2026.
The Women in Logic workshop 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 FLoC page
https://submissions.floc26.org/wil/paper/new
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)
Sara Uckelman (Durham University)
* 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)
- Réka Markovich (University of Luxembourg)
- Daniele Nantes-Sobrinho (UNB, Brazil)
- Aybüke Özgün (University of Amsterdam)
- Anja Petkovic Komel (Argot Collective)
- Elaine Pimentel (Co-chair, UCL)
- Tephilla Prince (IIT Dharwad)
* 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.
More details: https://womeninlogic.org/workshops/2026/
Call for Contributions
WiL 2026: 10th Women in Logic Workshop
July 24-25, 2026
Affiliated with FLOC 2026
https://womeninlogic.org/workshops/2026/
---------------------------------------------------------------
We are pleased to call for submissions to WiL 2026, the "10th Women in Logic workshop", which will take place in Lisbon on 24–25 July 2026, as a satellite event of FLoC 2026.
The Women in Logic workshop 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 FLoC page
https://submissions.floc26.org/wil/paper/new
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)
Sara Uckelman (Durham University)
* 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)
- Réka Markovich (University of Luxembourg)
- Daniele Nantes-Sobrinho (UNB, Brazil)
- Aybüke Özgün (University of Amsterdam)
- Anja Petkovic Komel (Argot Collective)
- Elaine Pimentel (Co-chair, UCL)
- Tephilla Prince (IIT Dharwad)
* 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.
More details: https://womeninlogic.org/workshops/2026/
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
-----------------------------------
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