The Women in Logic of the MOSAIC-PLEXUS workshop (Buenos Aires).

If you’re a woman working in logic, please consider checking and adding/updating your entry in this directory: womeninlogic.org/WiLSpreadshe... The more up to date it is, the better it can serve to increase our visibility, and the more comprehensive the directory is, the greater its use!

The Women in Logic of the British Logic Colloquium and Peter Aczel Memorial Conference.

Paua Quinon @ludolphine.bsky.social gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"

Katrin Tent gives an invited talk on Model Theory of the Free Factor Complex at the British Logic Colloquium.

Florrie Verity presents on Homotopy Type Theory: Models and Modalities at the British Logic Colloquium.

So many excellent books by #WomenInLogic for sale at the BLC.

Fairouz Kamareddine gives an invited talk on "Numbers, Sets, Types, and Paradoxes" at the British Logic Colloquium 2025.

Manchester Peter Aczel Memorial Conference and British Logic Colloquium Turing Building Phyllis Nicolson, physicist and mathematician, pioneer in computer science, numerical analyst and an expert user of Hartree’s differential analyser @womeninlogic.bsky.social #womenincomputerscience

British Logic Colloquium Day 1 www.signbsl.com/sign/logic Found @saraluckelman.bsky.social

Rosalie Imhoff speaking on "Logic and Inference in Constructive Set Theory" at the Peter Aczel Memorial Conference in Manchester.

The Women in Logic at the 7th International School and Workshop on Proof Theory, UGent (proof2025.ugent.be)

“Commemorating Frege: Logic and Philosophy of Mathematics” Workshop Speakers: Francesca Boccuni, Janine Gühler, Ludovica Conti, Leila Haaparanta, etc. Date: September 10-12, 2025 Venue: Maynense Room, Lisbon Academy of Sciences, Lisbon. cful.letras.ulisboa.pt/lancog/event...

🚨TALK ANNOUNCEMENT🚨 Women in Logic Online Speaker: Nina Gierasimczuk Title: Learning and Belief Revision: an Overview Date: Tuesday, September 16, 2025 Time: 17:30 (European Summer Time) Venue: Online via Zoom Register: tuwien.zoom.us/webinar/regi...

Lukas Bartl, Jasmin Blanchette, Tobias Nipkow: Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL https://arxiv.org/abs/2508.20738 https://arxiv.org/pdf/2508.20738 https://arxiv.org/html/2508.20738

Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex: Efficient Neuro-Symbolic Learning of Constraints and Objective https://arxiv.org/abs/2508.20978 https://arxiv.org/pdf/2508.20978 https://arxiv.org/html/2508.20978

A poster for the Feminist Logic workshop at the Bochum university U-bahn station!

🚨NEW PAPER ALERT🚨 Sujata Ghosh, Fenrong Liu, et al., "Reasoning under uncertainty in the game of Cops and Robbers," Synthese 206, article 101 (2025): link.springer.com/article/10.1...

Looking forward to heading to Bochum tomorrow (by train! Should take about 12 hours...) for this fantastic workshop with a speaker line-up which is basically "me and a bunch of my friends." sites.google.com/view/worksho...

🚨TALK ANNOUNCEMENT🚨 Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem" September 4, 2025, 1pm UTC-5, on zoom lagrange.math.siu.edu/calvert/Onli...

🚨TALK ANNOUNCEMENT🚨 Emma Gruner (Penn State University), "A Baire Category Approach to Besicovitch's Theorem" September 4, 2025, 1pm UTC-5, on zoom lagrange.math.siu.edu/calvert/Onli...

🚨TALK ANNOUNCEMENT🚨 Annalisa Conversano (Massey University), "Groups and rings in o-minimal structures," August 28, 2025, 1pm UTC-5 on zoom. lagrange.math.siu.edu/calvert/Onli...

🚨NEW PAPER ALERT🚨 Joanna Golińska-Pilarek, "Paraconsistency in Non-Fregean Framework," Volume 113, pages 915–953, (2025) link.springer.com/article/10.1...

🚨NEW PAPER REPORT🚨 Marta Bílková, Sena Bozdag, et al., "Consistency-Sensitive Epistemic Modalities in Information-Based Semantics," Volume 113, pages 1061–1099, (2025) link.springer.com/article/10.1...

🚨NEW PAPER ALERT🚨 Francisca Silva, "First-Order Aboutness Theory," Erkenntnis 2025 link.springer.com/article/10.1...

🚨PAPER ALERT🚨 Zuzana Rybaříková, "Two Series of Time in Logic, Natural Language, Computer Science and Artificial Intelligence," Filosofie Dnes 8 (2):20-36 (2017) philpapers.org/rec/RYBTSO-2

Eliza Wajch presents on "Formal Approaches to Quasi-Cardinals" at #Principia2025

Jéssica Caren da Silva Melo (UFRN) presents on "Anti-excepcionalismo metodológico: limites da analogia com a ciência" at #Principia2025.

Emily de Oliveira Orvalhe (UFBA) presents on "Lógica, informação e evidência: sobre a abordagem epistêmica da paraconsistência" at #Principia2025.

"logical consequence"

@cdutilhnovaes.bsky.social presenting on "A Dialogical Account of Diagrams in Mathematical Proofs" at #Principia2025.

Júlia Araldi Trentin presents "Two ways of understanding logical objects and their consequences for logical theories", representing the next generation of #WomenInLogic. #Principia2025

Professor Atocha Aliseda kicks off the 14th Principia International Symposium on Formal Approaches to Philosophy of Science with a talk on "Is there a place for logic in the philosophy of science?" (Spoiler: yes!)

Thanks to Ana Sokolova and Maria Paola Bonacina for speaking in the #CiE2025 Women in Computability workshop this afternoon! Moderating this panel is always super interesting. #MathSky #LogicSky @womeninlogic.bsky.social

Sara Ayhan, Hrafn Valt\'yr Oddsson: Proof-Theoretic Functional Completeness for the Connexive Logic C https://arxiv.org/abs/2507.06854 https://arxiv.org/pdf/2507.06854 https://arxiv.org/html/2507.06854

Zili Wang, Frank Montabon, Kristin Yvonne Rozier: Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains https://arxiv.org/abs/2507.07217 https://arxiv.org/pdf/2507.07217 https://arxiv.org/html/2507.07217

Sonia Marin, Paaras Padhiar: Justification Logic for Intuitionistic Modal Logic (Extended Technical Report) https://arxiv.org/abs/2507.09427 https://arxiv.org/pdf/2507.09427 https://arxiv.org/html/2507.09427

The organizers are getting all the slides on the WiL2025 page! we will keep you posted

Yesterday at #WiL2025 I got to do something I'd never done before -- present on joint work with *two* of my PhD students. One is looking at the phenomenology of speech acts, the other asked "what logical tools would we need to model this?", and I've been guiding bringing these together into one.

Anela Lolic kicking off Women in Logic 2025!

🚨NEW PAPER ALERT🚨 Joanna Golińska-Pilarek, "Non-Fregean World of Logics," Journal of Philosophical Logic 54 (2025): 575–620 link.springer.com/article/10.1...

🚨NEW PAPER ALERT🚨 Agata Ciabattoni, Josephine Dik, & Elisa Freschi, "Mīmāṃsā on ‘better-not’ Permissions," Journal of Philosophical Logic 54, pages 651–689, (2025) link.springer.com/article/10.1... 🚨OPEN ACCESS🚨

We are saddened to hear of the death of Larisa Maximova, on April 4, 2025. She was a prolific logician, proving significant results in many different areas, including relevant logics, Heyting algebras, and interpolation. She was also on the editorial board of Studia Logica.

🚨NEW PAPER ALERT🚨 Ghorbani, Shokoofeh, "Very True Operators on Pre-semi-Nelson Algebras," Studia Logica 113, 619–644 (2025). doi.org/10.1007/s112...

🚨NEW PAPER ALERT🚨 Anna Wójtowicz et al., "An inductive construction of a model for probabilities of complex conditionals," Synthese 205, article number 234, (2025), link.springer.com/article/10.1... 🚨OPEN ACCESS🚨

🚨NEW PAPER ALERT🚨 Robin Martinot & Francesca Poggiolesi, "Purity and explanation: a systematic case study," Synthese 205, article number 243, (2025), link.springer.com/article/10.1...

🚨NEW PAPER ALERT!🚨 Sharon Berry, "Explanatory indispensability and the set theoretic multiverse," Synthese 205, article number 244, (2025) link.springer.com/article/10.1...

🚨TALK ANNOUNCEMENT🚨 Women in Logic Online Speaker: Sara Negri Title: Axioms as Rules in Intuitionistic Logic Date: Monday, June 23, 2025 Time: 17:00 CEST Venue: Online via Zoom Register here: tuwien.zoom.us/webinar/regi...

🚨NEW PAPER ALERT🚨 A. Vencovská et al., "On the Strongest Principles of Rational Belief Assignment," Journal of Logic, Language and Information 34 (2025): 1-26. link.springer.com/article/10.1...

🚨NEW PAPER ALERT🚨 Shira Elqayam, et al., "Analogical reasoning: a Carnapian approach," Synthese 205, article no. 185 (2025): link.springer.com/article/10.1...