Women In Logic

Topological Classes of MV-Algebras - Studia Logica This paper is concerned with the properties of the prime spectrum of MV-algebras, namely the space of its prime ideals with the Zariski topology which is an important topological invariant of MV-algeb...

🚨NEW PAPER ALERT🚨

Giuseppina Barbieri et al., "Topological Classes of MV-Algebras" Studia Logica Volume 114 (2026): 11–33

link.springer.com/article/10.1...

🚨OPEN ACCESS🚨

Quasivarieties of p-Algebras: Some New Results - Studia Logica We investigate quasivarieties of (distributive) p-algebras. We sharpen some previous results, give a better picture of the subquasivariety lattice, and prove that quasivarieties generated by free p-al...

🚨NEW PAPER ALERT🚨

Katarzyna Słomczyńska et al., "Quasivarieties of p-Algebras: Some New Results," Studia Logica Volume 114 (2026): 205–221.

link.springer.com/article/10.1...

🚨OPEN ACCESS🚨

Women in Logic Online with Rosalie lemhoff YouTube video by UCL PPLV

The talk will be broadcast on youtube: www.youtube.com/live/Qbp8pdk...

Welcome! You are invited to join a webinar: Women in Logic Online – Talk with Rosalie lemhoff. After registering, you will receive a confirmation email about joining the webinar. The Use and Misuse of Proof Systems Proof systems, systems of axioms and inference rules, have a long history, going back to ancient times. Early on they mainly occurred in mathematics, but nowadays ...

🚨TALK ANNOUNCEMENT🚨

Women in Logic Online
Friday, March 6, 2026, 17:00 CET

Rosalie Iemhoff, "The Use and Misuse of Proof Systems,"

Register: ucl.zoom.us/webinar/regi...

Join our Cloud HD Video Meeting Zoom is the leader in modern enterprise cloud communications.

🚨TALK ANNOUNCEMENT🚨

Proof Society Seminar
Monday 9 March 2026, 14:00 CET.

Raheleh Jalali (University of Bath), "The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logic"

bham-ac-uk.zoom.us/j/84261727269

What is Logic? #1: What is Logic? YouTube video by Doctor Logic

WHAT IS LOGIC? I highly recommend this brilliant series of logic lectures by professor Sara L. Uckelman (@saraluckelman.bsky.social), Durham University: www.youtube.com/watch?v=g25T... #logic #lectures #philosophy #philsky #PhilosophySky

Better late than never! Day 4 of the Zagreb Logic Conference featured Zuzanna Rygiewicz on Gentzen systems and their relation to Beth tableaux, and a shout-out to Verbrugge semantics for interpretability logics.

🚨TALK ANNOUNCEMENT🚨

Nordic Online Logic Seminar
23 Feb, 16:00 UTC+1

Fan Yang, "Possible and impossible conditionals for logics based on team semantics"

logic-gu.se/nol/2026/02/...

A woman with her back to the camera, pointing at a slide that has a photo of a printed page with handwritten comments on it.

Three women standing in front of a blackboard covered in logic.

Day 3 of the Zagreb Logic Conference featured @saraluckelman.bsky.social on all the rude things Christine Ladd-Franklin has to say about Russell's logic (and grammar), and the traditional Women in Logic photograph, alas featuring <50% of the women there, because some had already had to leave.

Day 2 of the Zagreb Logic Conference featured Ludovica Conti on weak and idle impredicativity, and work by Slavica Mihaljevic Vlahovic and Gordana Vlahovic on cardinality (presented by their coauthor)

Day 1 of the Zagreb Logic Conference featured talks by Helena Marcius on topological semantics for interpretability logic, and Sinisa Milicuc and Nicoletta Saulig on noise, novelty, and non-computability.

🚨NEW PAPER ALERT🚨

Beatrice Pitton et al., "Generalized Baire Class Functions," Journal of Symbolic Logic

www.cambridge.org/core/journal...

🚨NEW PAPER ALERT🚨

Natalia Garcia-Fritz et al., "Non-Diophantine Sets in Rings of Functions," Review of Symbolic Logic

www.cambridge.org/core/journal...

🚨NEW PAPER ALERT🚨

Sara Ayhan, "Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics", Review of Symbolic Logic

www.cambridge.org/core/journal...

🚨NEW PAPER ALERT🚨

Sara Ugolini et al., "The Algebras of Lewis's Counterfactuals: Duality Theory," Review of Symbolic Logic

www.cambridge.org/core/journal...

🚨SEMINAR ANNOUNCEMENT🚨

Thirteenth Meeting of the Southern Logic Seminar
University of Bath
February 11, 2026

Invited speakers: Gecia Bravo-Hermsdorff et al.

t-powell.github.io/southern_log...

🚨WORKSHOP ANNOUNCEMENT🚨

Abstractions, Structures, and Proofs
Vienna, February 9-11, 2026

Invited speakers: Rachel Boddy, Fiona Doerthy, Emelia Stanley, Daiana Zavate, et al.

In case you are interested in attending in-person or on-line, email ludovica.conti@univie.ac.at or antpiccdarag@gmail.com.

A quasi-set theory without atoms and its application to a quantum ontology of properties - Synthese Synthese - One of the main ontological challenges posed by quantum mechanics is the problem of the indistinguishability of so-called “identical” particles, that is, particles that share...

🚨NEW PAPER ALERT🚨

Olimpia Lombardi et al., "A quasi-set theory without atoms and its application to a quantum ontology of properties," Synthese volume 207, article number 6, (2026)

link.springer.com/article/10.1...

Correction to: Detecting bots with temporal logic - Synthese Synthese -

🚨NEW PAPER ALERT🚨

Mina Young Pedersen, Marija Slavkovik & Sonja Smets, "Correction to: Detecting bots with temporal logic," Synthese volume 207, article number 15, (2026)

link.springer.com/article/10.1...

Two gaps for one glut: A combined solution of paradoxes - Synthese Synthese - Gap theory and glut theory are two dominant strategies in the treatment of paradoxes. The paper shows they can be profitably combined. Given the Liar’s sentence ‘L’...

🚨NEW PAPER ALERT🚨

Franca d’Agostini, "Two gaps for one glut: A combined solution of paradoxes," Synthese, Volume 207, article number 19, (2026)
link.springer.com/article/10.1...

🚨CALL FOR PAPERS🚨

Framing Mathematics: Early Career Workshop on the History & Philosophy of Mathematics
Sept 10-11, 2026, Université Paris Cité

Keynotes: Arianna Borrelli, Karine Chemla, Barbara Sattler

Submit a 250-word abstract March 31, to clelia.crialesi@u-paris.fr or blessel@uni-bonn.de.

ECUMENICAL 4th meeting This is the fourth meeting of our Leverhulme ECUMENICAL project!

4th meeting of the Leverhulme Trust project ECUMENICAL
18-20 Feb, 2026, Stockholm & only
sites.google.com/view/ecumeni...

Invited speakers: Rosalie Iemhoff, Sara Negri, Gilda Ferreira, Cristina Sernadas, Iris van der Giessen, et al.

Registration: forms.office.com/e/6e7iXXPFES

3rd Porto Medieval and Early Modern Philosophy Summer School: Petrus Hispanus' Tractatus: Logic and Philosophy from the Middle Ages to Modernity

15 to 19 June 2026, ifilosofia.up.pt/activities/3...

Invited speakers: Ana-María Mora Márquez, Aurora Panzica, Julie Brumberg-Chaumont, et al.

Abstraction, Structures and Proofs – Workshop Series, February–December 2026, Vienna, Tübingen, Online

Vienne Workshop, Feb 9-11

Speakers: Laura Crosilla, Fiona Doherty, Daiana Zavate, et al.

sites.google.com/view/wientue...

🚨CALL FOR PAPERS🚨
Women in Logic workshop
July 24-25, 2026

Abstracts should be written in English (max 2 pages excluding references), and prepared using the Easychair style (easychair.org/publications...), and uploaded here: submissions.floc26.org/wil/paper/new

by May 5, 2026.

The event is in-presence only: there are no registration fees, but if you would like to attend please let Elia Zardini know at ezardini@ucm.es

🚨WORKSHOP ANNOUNCEMENT🚨

Freedom and Ground in Logic
Mathesis Workshop for Unesco World Logic Day 2026

Jan 19–20 2026
Complutense University of Madrid
Edificio Multiusos, Room 1204

Speakers: Pilar Terrés, Maria Aloni, Melissa Fusco, et al.

🔔 Your Abstract Awaits Submit by 6 February 2026

Entries for BCS Women Lovelace 2026 are coming in from across the UK. 👀 Is your university on the list?

📩 Submission link: forms.office.com/e/avvaJ0kZPw

❓ FAQ
bcswomenlovelace.bcs.org?page_id=99

🚨WORKSHOP ANNOUNCEMENT: Call for applications🚨

Computability and Complexity by Gender Minorities (CoCoGEMS)
August 3-7, 2026, Vienna, Austria
Organizers: Ekaterina Fokina and @johannamath.bsky.social

www.dmg.tuwien.ac.at/cocogems/

I am SO delighted to be going to AiML2026 as an invited speaker.

AiML is one of the most important events in my conference calendar. My first one was AiML2004 in Manchester. Joel and I were facing the realisation we couldn't stay in Madison any longer if we wanted to continue doing logic.