I know Sara as a deeply passionate logician. I always make room for her publications in my reading list. She's also a wonderful person to meet at conferences.

Catching up on the last couple of presentations from Advances in Modal Logic two weeks ago (many thanks to our second self-designated official WiL photographer!), we have joint work by Sonia Marin, et al., on Second-Order Intuitionistic Tense Logic that was presented.

Up next: presenting my work at @womeninlogic.bsky.social 2026 and attending the Complexity Summer School in Lisbon! I’m actively looking for PhD positions in Europe. Always happy to connect and discuss graph algorithms or logic! 🕸️✨ #Logic #PhdPosition #AcademicChatter

10th Women in Logic (WiL’26), 24-25 July 2026, Lisbon, Portugal. Program: womeninlogic.org/workshops/20... Register to participate online: ucl.zoom.us/webinar/regi... WiL'26 Chairs: Huimin Dong [email protected], Anela Lolic [email protected], and Elaine Pimentel [email protected].

Mina Young Pedersen presents joint work with Sonja Smets on Logical Modelling of Belief Polarization at Advances in Modal Logic.

Djanira Gomes is presenting joint work with Rojo Randrianomentsoa et al. on Logical Semantics for Belief at Advances in Modal Logic.

Joint work with Sonja Smets on The Logic of Data Access and Data Exchange is being presented at Advances in Modal Logic.

@saraluckelman.bsky.social gives a keynote talk on What the History of Modal Logic Can Teach Us About the Future of Modal Logic at Advances in Modal Logic 2026.

Clara Lerouvillois presents joint work on Resolving Asynchronous Distributed Knowledge at Advances in Modal Logic.

Gaia Belardinelli presents joint work with Snow Zhang on Belief Contraction in Dynamic Epistemic Logic at Advances in Modal Logic.

Math peeps, whomst among you is a Lean person? I want to use the game skeleton to create a game for my algebra course, but... I don't really know Lean! (Alternatively, short Lean challenges in my perfect book?) #mathsky #pretextgang CC: @clontz.org

The women in logic at the Oregon Programming Language School 2026.

(some of) The women in logic at Advances in Modal Logic 2026.

Somayeh Chopoghloo is presenting joint work with Reihane Zoghifard et al. on a Goldblatt-Thomason Theorem for Probability Logic at Advances in Modal Logic.

At Advances in Modal Logic, joint work by Sonia Marin et al. on "Intuitionistic Justification Logic, Semantically" is now being presented.

Aybüke Özgün is kicking off Advances in Modal Logic with the first keynote talk, on 'The Method of Thought Experiments': Probability and Conditionals.

@saraluckelman.bsky.social speaking on "Logic pedagogy in the Middle Ages, or why/how were the medievals teaching their students logic?” at the European Symposium in Medieval Logic and Semantics.

Next "Women in Logic Online" talk will be by Renata Wassermann: Date: Thursday, July 9, 2026 Time: 17:00 CEST Venue: Online via Zoom TITLE: Belief Change and Ontology Repair: two sides of the same coin? You can register for free at ucl.zoom.us/webinar/regi... .

Irene Binini is speaking on Scientific and Literary Imagination Between the Late Medieval and Early Modern Period at the European Symposium in Medieval Logic and Semantics.

Elzbieta Jung is speaking on the Integration of Logic, Theology, and Natural Philosophy in Richard Kilvington's Commentary on the Sentences at the European Symposium on Medieval Logic and Semantics.

The Women in Logic at the European Symposium on Medieval Logic and Semantics, June 2026.

Lu Jiang speaks on Ockham's extended modal logic at the 25th European Symposium on Medieval Logic and Semantics.

🚨WORKSHOP ANNOUNCEMENT🚨 Current Topics in Hyperintensional Logic Utrecht University (Kromme Nieuwegracht 80, room 1.06) Thursday 25 June 2026, 12:00 to 18:00. Speakers: Fan Yang et al. Please register by sending an email to [email protected]

🚨WORKSHOP ANNOUNCEMENT🚨 Current Topics in the Philosophy of Logic Utrecht University (Janskerkhof 13, room 0.06) Wednesday 17 June, 14:00 – 19:00. Speakers: Mariela Rubin, Aylén Bavosa Castro, et al. Please register by sending an email to [email protected]

🚨SEMINAR ANNOUNCEMENT 🚨 The 15th meeting of the Southern and Midlands Logic Seminar will take place at UCL on Wednesday 24 June from 12:00 until 17:00. leolob.ski/SMLS/smls15 Confirmed speakers: Katya Piotrovskaya (UCL), et al.

🚨NEW PAPER ALERT🚨 Isabel Grábalos, Martina Zirattu, et al., "On a Generalization of all Strong Kleene Generalizations of Classical Logic", Studia Logica, Volume 114, pages 639–671 (2026) link.springer.com/article/10.1...

Irène Rosier-Catach is speaking on interactions between semantics, law, and theology at the Interlog Forum I.

UNSW Sydney is hiring an associate professor and a lecturer in cryptography, and the description explicitly mentions *secure computation*. Didn't you want to live in the sunniest of the most livable cities in the world?

Corinne Leveleux-Texeira is introducing the panel on logic and law at the Interlog Forum I.

Marian Counihan is speaking on logic in and around reasoning at the Interlog Forum I.

Shira Elqayam is presenting four theses on logic in human reasoning at the Interlog Forum I.

Julie Brumberg-Chaumont is presenting on logicized methods of teaching in the Middle Ages at the Interlog Forum I.

Elizabeth de Freitas is speaking on computational thinking and infant cognitive development at the Interlog Forum I.

Elena Ficara is speaking on Hegel's logic.

Élodie Cassan is talking on the Port-Royal Logic at the Interlog Forum I.

Sorana Corneanu is presenting on Natural Illation in Gassendi and Locke at the Interlog Forum I.

🚨NEW BOOK ALERT🚨 Effective Metric Structure Theory by @johannamath.bsky.social et al., Springer 2026. link.springer.com/book/10.1007...

Julie Brumberg-Chaumont is introducing a panel on Natural Logic at the Interlog Forum I in Paris

Juan Luis Gastaldi (D-GESS, SPHERE UMR 7219), Samantha Jarvis (CNRS, JFLI, LIPN), Thomas Seiller (CNRS, JFLI, LIPN), John Terilla: A calculus of types in Isbell nuclei https://arxiv.org/abs/2606.03369 https://arxiv.org/pdf/2606.03369 https://arxiv.org/html/2606.03369

🚨NEW PAPER ALERT🚨 Estefanía Cubaque, "Gödel’s mathematical intuition and platonism," Synthese volume 207, article 198 (2026) link.springer.com/article/10.1...

Workshop Bilateralism in Bochum Ruhr University Bochum, July 9-10, 2026. Invited speakers: @sara-ayhan.bsky.social (Tohoku University), Ellie Ripley (Monash University), et al. For more information see sites.google.com/view/bilbo26

At Set Theory in the UK 19, Lyra Gardiner is talking about infinite-exponent partition relations.

Inaugural Lecture of Professor Elaine Pimentel 14th May, 2026, 17:30 - 20:00 (online and in person) Title: Proofs, Meaning, and Inclusion Register here: www.eventbrite.co.uk/e/ucl-engine...

🚨Call for papers🚨 Trends in Logic XXVI, Tohoku University (Sendai, Japan), November 23-27, 2026 Invited speakers: Silvia De Toffoli, Sujata Ghosh Takako Nemoto, et al. Abstract submission deadline: 31 July, 2026 sites.google.com/view/trendsi...

🚨NEW PAPER ALERT🚨 Katarzyna Słomczyńska et al., "Algebraic Semantics for a Mixed Type Fragment of IPC," Studia Logica Volume 114, pages 237–261, (2026) link.springer.com/article/10.1...

🚨NEW PAPER ALERT🚨 Ana de Almeida Borges et al., "Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic", Studia Logica Volume 114, pages 263–295, (2026) link.springer.com/article/10.1...

🚨NEW PAPER ALERT🚨 Fenrong Liu, et al., "Hybrid Logic of the Hide and Seek Game", Studia Logica Volume 114, pages 349–381, (2026) link.springer.com/article/10.1...

🚨TALK ANNOUNCEMENT🚨 Nordic Online Logic Seminar Date: 27 April 2026 at 16:00 CEST (UTC+2) on Zoom Speaker: Ana Ozaki (Associate Professor, University of Oslo) Title: Model Change for Description Logic Concepts For zoom link, email Graham Leigh [email protected]

🚨NEW TALK ANNOUCEMENT🚨 Nordic Online Logic Seminar Date: Monday, 27 April 2026 at 16:00 CEST (UTC+2) on Zoom Speaker: Ana Ozaki (University of Oslo) Title: Model Change for Description Logic Concepts For the Zoom ID and password for it, please subscribe here: listserv.gu.se/sympa/subscr... .

My department is hiring a 1-year VAP. Details on MathJobs! www.mathjobs.org/jobs/1503/VAP