Women In Logic
@womeninlogic.bsky.social
📤 2578
📥 58
📝 246
Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
pinned post!
Welcome to all our new followers! We follow back women in logic (inclusively defined on both counts!). If you fit that description and we haven't followed you back, please introduce yourself!
about 1 year ago
1
14
1
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.
1 day ago
1
6
1
🚨NEW PAPER ALERT🚨 Beatrice Pitton et al., "Generalized Baire Class Functions," Journal of Symbolic Logic
www.cambridge.org/core/journal...
loading . . .
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/generalized-baire-class-functions/A42FDE6A496D79EA7906E4BEA1939DD1
10 days ago
0
4
1
🚨NEW PAPER ALERT🚨 Natalia Garcia-Fritz et al., "Non-Diophantine Sets in Rings of Functions," Review of Symbolic Logic
www.cambridge.org/core/journal...
loading . . .
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/nondiophantine-sets-in-rings-of-functions/4EE349DCF710AD8FA1528FF3F4B027A7
10 days ago
0
0
0
🚨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...
loading . . .
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/contradictions-without-negation-and-a-prooftheoretic-bilateralist-account-of-connexive-logics/D7911DD443572599ACFA6985521BF8EC
10 days ago
0
3
1
🚨NEW PAPER ALERT🚨 Sara Ugolini et al., "The Algebras of Lewis's Counterfactuals: Duality Theory," Review of Symbolic Logic
www.cambridge.org/core/journal...
loading . . .
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/algebras-of-lewiss-counterfactuals-duality-theory/45EFCD738A14E3A82F76A6AF7020536E
10 days ago
0
2
0
🚨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...
loading . . .
Thirteenth Meeting of the Southern Logic Seminar
https://t-powell.github.io/southern_logic_seminar/smls_bath_26.html
12 days ago
0
0
0
🚨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
[email protected]
or
[email protected]
.
12 days ago
0
2
0
🚨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...
loading . . .
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...
https://link.springer.com/article/10.1007/s11229-025-05347-2?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11229_AWA1_GL_DTEC_054CI_TOC-220126&utm_content=etoc_springer_20260122
21 days ago
0
1
1
🚨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...
loading . . .
Correction to: Detecting bots with temporal logic - Synthese
Synthese -
https://link.springer.com/article/10.1007/s11229-025-05036-0?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11229_AWA1_GL_DTEC_054CI_TOC-220126&utm_content=etoc_springer_20260122
21 days ago
0
1
0
🚨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...
loading . . .
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’...
https://link.springer.com/article/10.1007/s11229-025-05368-x?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11229_AWA1_GL_DTEC_054CI_TOC-220126&utm_content=etoc_springer_20260122
21 days ago
0
0
0
🚨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
[email protected]
or
[email protected]
.
24 days ago
0
5
4
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
loading . . .
ECUMENICAL 4th meeting
This is the fourth meeting of our Leverhulme ECUMENICAL project!
https://sites.google.com/view/ecumenical-4th-meeting/
26 days ago
0
1
0
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.
loading . . .
Instituto de Filosofia - UP
https://ifilosofia.up.pt/activities/3rd-porto-mempss
26 days ago
0
2
0
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...
loading . . .
AS&P
Welcome to the website of the joint Wien-Tübingen series of events Abstraction, Structures and Proofs. The events will explore connections between abstractionism, structuralism, and the proof-theoreti...
https://sites.google.com/view/wientuebingen
about 1 month ago
0
2
0
🚨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.
loading . . .
Instructions For Authors
https://easychair.org/publications/for_authors
about 1 month ago
0
7
3
🚨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.
about 1 month ago
1
2
0
reposted by
Women In Logic
BCSWomen Lovelace
about 1 month ago
🔔 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
0
0
3
🚨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/
loading . . .
CoCoGEMS @TU Wien
https://www.dmg.tuwien.ac.at/cocogems/
about 1 month ago
0
8
3
reposted by
Women In Logic
Doctor Logic
about 1 month ago
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.
add a skeleton here at some point
1
12
3
Roundtable "Logic within the Sciences" MONDAY January 19th, 2026 6PM CET/ 11AM GMT-6 Registration required:
forms.gle/SpLmuBZEHgUA...
Panelists: Jessica Wilson (Toronto, CA), et al.
loading . . .
Roundtable "Logic within the Sciences"
The meeting will be via Zoom. MONDAY, January 19, 2026. 11:00 MEX/ 18:00 CEST Language: English Participants: Ole Thomassen Hjortland (University of Bergen), Jessica Wilson (University of Toronto) an...
https://forms.gle/SpLmuBZEHgUAGSQK6
about 1 month ago
0
6
1
Advances in Modal Logic Amsterdam, June 29 - July 3
events.illc.uva.nl/aiml2026/
Invited Speakers: Aybüke Özgün, Sara L. Uckelman, et al. Abstracts due: 20 Feb 2026
about 1 month ago
0
9
3
We've decided to solve the problem by changing the website: Women in Logic (WiL) Workshop 2026:
womeninlogic.org/workshops/20...
add a skeleton here at some point
2 months ago
0
2
2
Conference Announcement Colloquium Logicum 2026 September 21-24, Wurzburg, Germany Invited speakers: Sandra Kiefer, Kati Kish Bar-On, Jana Maříková, Sandra Müller, Tabea Rohr, et al.
www.mathematik.uni-wuerzburg.de/schools
loading . . .
Schools - Workshop
https://www.mathematik.uni-wuerzburg.de/schools
2 months ago
0
3
0
WORKSHOP Freedom and Ground in Logic January 19th–20th 2026 Complutense University of Madrid Speakers: Pilar Terrés, Maria Aloni, Melissa Fusco, et al. If you would like to attend please let Elia Zardini know at
[email protected]
.
2 months ago
0
2
0
reposted by
Women In Logic
Doctor Logic
2 months ago
Happy publication day to me! This volume contains my chapter "Failing in Front of Your Peers: A New Pedagogy of Logic".
www.bloomsbury.com/uk/innovatio...
loading . . .
Innovations in Teaching Philosophy
What am I doing here, and what do I want this class to be? What kind of class am I designing, and why? What does a meaningfully inclusive classroom look like? I…
https://www.bloomsbury.com/uk/innovations-in-teaching-philosophy-9781350544857/
1
23
1
reposted by
Women In Logic
arXiv cs.LO Logic in Computer Science
2 months ago
Tatiana Yavorskaya, Elena Popova: On semantics of first-order justification logic with binding modalities
https://arxiv.org/abs/2512.07994
https://arxiv.org/pdf/2512.07994
https://arxiv.org/html/2512.07994
0
0
2
Workshop on Reasoning in the Age of AI: Philosophical Perspectives (16.12.2025), RWTH Aachen University (Germany) Speakers: Gabriele Gramelsberger, Jacqueline Bellon, Stefania Centrone, et al. For more info, email Dawid Kasprowicz,
[email protected]
2 months ago
0
1
1
Southern & Midlands Logic Seminar December 10, 2025 QMUL
fdahlqvist.github.io/SMLS25/SMLS-...
Speakers: Elaine Pimentel (UCL), et al.
loading . . .
https://fdahlqvist.github.io/SMLS25/SMLS-qmul25.html
2 months ago
0
1
0
🚨 Call for Papers🚨 What are inferences? Reflections from philosophy and cognitive science Estudios de Filosofía, No 76, June-December 2027 Editors: Mariela Aguilera – Universidad Nacional de Córdoba (Argentina), et al. Deadline: April 1, 2026
revistas.udea.edu.co/index.php/es...
loading . . .
Call for papers | Estudios de Filosofía
https://revistas.udea.edu.co/index.php/estudios_de_filosofia/proximosnumeros
3 months ago
0
3
1
🚨CONFERENCE ANNOUNCEMENT🚨 Directions in Relevant Logic 3 (DiRL3) Bochum, Germany, 6-8 July 2026
sites.google.com/view/drl3
Speakers: Katalin Bimbó, Ellie Ripley, Gemma Robles, et al.
loading . . .
Event
More Information Coming Soon!
https://sites.google.com/view/drl3
3 months ago
0
1
0
🚨CONFERENCE ANNOUNCEMENT🚨 European Network for the Philosophy of Logic: 4th Annual Conference Dec 3-5, 2025, online and in person (Padova)
philevents.org/event/show/1...
Speakers: Gila Sher, Sophia Arbeiter, Evelina Lissoni, Sabina Dominguez Parrado, Mariela Rubin, Gil Sagi, et al.
loading . . .
European Network for the Philosophy of Logic: 4th Annual Conference
Fourth Annual Conference of the European Network for the Philosophy of Logic (EuPhilo) The conference will be in person, but we will accept online participation too. Those interested in attending (onl...
https://philevents.org/event/show/142990
3 months ago
0
4
1
We're having a bit of trouble getting the workshop website for WiL 2026 to show up on google when you search for it. Can you help out by sharing the link and visiting it, hopefully convincing the algorithm it exists and is important?
sites.google.com/view/wil2026/
loading . . .
Home
Lisbon, Portugal Affiliated with FLOC 2026
https://sites.google.com/view/wil2026/
3 months ago
0
7
9
🚨CONFERENCE ANNOUNCEMENT🚨 Incompleteness, New Axioms and Truth 5-6 December 2025
selflarinc.wordpress.com/incompletene...
Speakers: Deborah Kant, et al.
loading . . .
Incompleteness, New Axioms and Truth
The aim of the conference is to bring together researchers (both mathematicians and philosophers) in the foundations of mathematics to discuss recent key developments in contemporary set theory, in…
https://selflarinc.wordpress.com/incompleteness-new-axioms-and-truth/
3 months ago
0
2
0
🚨CALL FOR PAPERS🚨 **Women In Logic 2026, Lisbon, Portugal** 24-25 July 2026 The annual Women in Logic Workshop is returning in 2026 as a TWO-DAY workshop! Get your abstracts in by May 5, 2026! For more info:
sites.google.com/view/wil2026...
loading . . .
Call for papers
Women in Logic 2026 is a satellite event of the FLoC 2026: The 9th Federated Logic Conference to be held in Lisbon, Portugal, from July 13 to July 29, 2026. The Women in Logic workshop (WiL) provides...
https://sites.google.com/view/wil2026/call-for-papers
3 months ago
0
7
5
🚨NEW PAPER ALERT🚨 Jitka Kadlečíková, Monique Whitaker, et al. "Towards a feminist arithmetic," Synthese 206, article number 214, (2025)
link.springer.com/article/10.1...
loading . . .
Towards a feminist arithmetic - Synthese
Synthese - Although many fields of study have been radically reshaped by feminist critiques, formal a priori disciplines like mathematics and computer science have proven more intransigent;...
https://link.springer.com/article/10.1007/s11229-025-05299-7?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11229_AWA1_GL_DTEC_054CI_TOC-221125&utm_content=etoc_springer_20251122
3 months ago
0
4
1
🚨NEW PAPER ALERT🚨 Sara Negri et al., "G3-style Sequent Calculi for Gurevich Logic and Its Neighbors," Studia Logica 113, pages 1783–1811, (2025)
link.springer.com/article/10.1...
loading . . .
G3-style Sequent Calculi for Gurevich Logic and Its Neighbors - Studia Logica
G3-style sequent calculi are introduced for a family of logics with strong negation: Gurevich logic, Nelson logic, intuitionistic propositional logic, Avron logic, De-Omori logic, and classical propos...
https://link.springer.com/article/10.1007/s11225-024-10139-9?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-221125&utm_content=etoc_springer_20251122
3 months ago
0
0
0
🚨NEW PAPER ALERT🚨 Christine Eagles et al., "Domination, Fibrations, and Splitting," Journal of Symbolic Logic.
www.cambridge.org/core/journal...
loading . . .
DOMINATION, FIBRATIONS, AND SPLITTING | The Journal of Symbolic Logic | Cambridge Core
DOMINATION, FIBRATIONS, AND SPLITTING
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/domination-fibrations-and-splitting/D54B0BB48A16ACD7B216B6F435486C05
3 months ago
0
1
0
🚨NEW PAPER ALERT🚨 Rachael Alvir, Barbara Csima, et al., "On the computability of optimal Scott sentences", Journal of Symbolic Logic.
www.cambridge.org/core/journal...
loading . . .
On the computability of optimal Scott sentences | The Journal of Symbolic Logic | Cambridge Core
On the computability of optimal Scott sentences
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/on-the-computability-of-optimal-scott-sentences/6B76BB1CD724EAE063AEA2E84304472E
3 months ago
0
2
0
Today in the Naples History of Logic seminar series (
sites.google.com/view/holnapl...
), Zoe McConaughey presents on Aristotle's Dialogical Syllogistic
3 months ago
0
2
0
🚨TALK ANNOUNCEMENT🚨 Proof Society Seminar, Monday 17.11.2025, 14:00 CET Title: How first order is first order logic? Speaker: Juliette Kennedy The seminar takes place via Zoom:
bham-ac-uk.zoom.us/j/84261727269
Meeting ID: 842 6172 7269
loading . . .
Join our Cloud HD Video Meeting
Zoom is the leader in modern enterprise cloud communications.
https://bham-ac-uk.zoom.us/j/84261727269
3 months ago
0
3
0
Week of Logic, Tohoku University, Sendai; Nov 24-28, 2025 (hybrid)
sites.google.com/view/week-of...
List of Speakers: Sara Ayhan, Elena Ficara, Anna Malavisi, et al. Registration is free but mandatory, on-site registration closes Nov 17, 2025, online registration closes Nov 22, 2025.
loading . . .
Week of Logic
Welcome! At the Graduate School of Information Sciences, Tohoku University, we now have three outstanding philosophers as our Distinguished Professors (alphabetically ordered): Otávio Bueno, Graham Pr...
https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fweek-of-logic-2025%2Fhome&data=05%7C02%7Cs.l.uckelman%40DURHAM.AC.UK%7Cfb97a233adcc473e2bb708de21577013%7C7250d88b4b684529be44d59a2d8a6f94%7C0%7C0%7C638984856602118551%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=yzKQnNz9NHUHwBzUWcnWPOccJTXJ9OXSoyvXzvejojk%3D&reserved=0
3 months ago
0
2
0
We are excited to announce the next talk in the seminar series "Women in Logic Online" by
@elainepimentel.bsky.social
! TITLE: Classical Versus Constructive: An Ecumenical Approach Date: Wed, November 26, 2025, 17:00 CEST Venue: Zoom You can register for free at
tuwien.zoom.us/webinar/regi...
.
loading . . .
Welcome! You are invited to join a webinar: Women in Logic Online with Elaine Pimentel. After registering, you will receive a confirmation email about joining the webinar.
Classical versus Constructive: An Ecumenical Approach
https://tuwien.zoom.us/webinar/register/WN_TbJTkg66R1eJ7Bn9gtzoVQ
3 months ago
1
3
3
🚨TALK ANNOUNCEMENT🚨 Proof-Theoretic Semantics Seminar Series Date: Monday, November 3, 5pm (UTC+0) Speaker: Ekaterina Piotrovskaya (University College London) Title: "Base-extension Semantics: the Classical Chronicles" Zoom link via PTS mailing list:
groups.google.com/g/pts-network/
loading . . .
PTS Network - Google Groups
https://groups.google.com/g/pts-network/
4 months ago
0
2
0
reposted by
Women In Logic
Johanna Franklin
4 months ago
Yay Rehana!
#MathSky
add a skeleton here at some point
0
5
1
Elisa Diambri speaks on "Impossible Antecedents in 13th-Century Logic" at the 1st Naples Workshop on the History of Logic (
sites.google.com/view/hol-wor...
)
4 months ago
0
1
1
Announcing the winner of the Christine Ladd-Franklin Logic Prize for the USA: This prize goes to the paper "Forcing with Invariant Measures" by Rehana Patel (Wesleyan University) et al., to be published in Logica Universalis.
4 months ago
0
8
1
🚨ONLINE TALK ANNOUNCEMENT🚨 October 16, 1pm US Central Time (currently UTC-5) Speaker: Cécilia Pradic (Swansea University) Title: How unconstructive is the Cantor-Bernstein theorem? For more info, including zoom link, see:
lagrange.math.siu.edu/calvert/Onli...
loading . . .
Online Logic Seminar
http://lagrange.math.siu.edu/calvert/OnlineLogicSeminar.html
4 months ago
0
2
0
🚨NEW PAPER ALERT🚨 Also in this volume is a chapter by Lu Jiang on Ockham's modal logic.
add a skeleton here at some point
5 months ago
0
3
0
🚨TALK ANNOUNCEMENT🚨 Date: Monday, November 3, 5pm (UTC+0) Speaker: Ekaterina Piotrovskaya (University College London) Title: Base-extension Semantics: the Classical Chronicles For zoom link, email
[email protected]
or subscribe to the mailing list:
sites.google.com/view/ptsnetw...
)
loading . . .
The PTS-Network - Subscribe
Fill in this form to become a member. Subscription is free and, besides giving moral support to the community, it involves no special commitment on your part. You can decide to subscribe either just t...
https://sites.google.com/view/ptsnetwork/membership/subscribe
5 months ago
0
1
0
🚨NEW PAPER ALERT🚨 Zoé Christoff, Rineke Verbrugge, et al., "Dynamic Logics of Diffusion and Link Changes on Social Networks," Volume 113, pages 1245–1315, (2025)
link.springer.com/article/10.1...
🚨OPEN ACCESS🚨
loading . . .
Dynamic Logics of Diffusion and Link Changes on Social Networks - Studia Logica
This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both monotonic dynamics, where agents can only adopt new features and create new connections, and non-monotonic dynamics, where agents may also abandon features or cut ties. Three types of operators are combined: one capturing diffusion only, one capturing link change only, and one capturing both at the same time. We first characterise the models on which diffusion of a unique feature and link change stabilise, whilst discussing salient properties of stable models with multiple spreading features. Second, we show that our operators (and any combination of them) are irreplaceable, in the sense that the sequences of model updates expressed by a combination of operators cannot always be expressed using any other operators. Finally, we analyse classes of models on which some operators can be replaced.
https://link.springer.com/article/10.1007/s11225-024-10126-0?utm_source=springer_etoc&utm_medium=email&utm_campaign=CONR_11225_AWA1_GL_DTEC_054CI_TOC-011025&utm_content=etoc_springer_20251001
5 months ago
0
1
0
Load more
feeds!
log in