My latest cartoon for @newscientist.com p.s. this week I am on a USA/Canada tour with my new book. Details and preorder links at tomgauld.com

I don’t think it can be emphasized enough that large language models were never intended to do math or know facts; literally all they do is attempt to sound like the text they’re given, which may or may not include math or facts. They don’t do logic or fact checking — they’re just not built for that

For last 10 years - we have worked with thousands of organizations around the world helping support them in integrating foldscope programs. To bring in a new cohort of organizations - we are re-launching “fast and curious” 2025 edition - apply and get a Foldscope trainer and Foldscopes for free!

🚨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...

🚨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...

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

The Women in Logic at the Bochum Feminist Logic workshop.

Wrapping up the formal talks we have Gillian Russell talking about Social Spheres: Logic, Ranking, and Subordination.

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

🚨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...

“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...

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

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

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

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

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

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

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

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.

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

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

Remembering last year's Women in Formal Math workshop. logic-forall.blogspot.com/2025/09/wome...

To celebrate our new recognition as an AIMath.org Research Community, we are hosting a virtual Grand Opening Symposium on September 8 and 15! Using the Zulip and Zoom apps, we will host seven presentations and tutorials facilitated by members of our community.

You can register now for Women in Logic Online with Nina Gierasimczuk, register at the link in www.vcla.at/2025/08/wome...

Do you know about the series of meetings called "Women in Logic Online"? We have five talks in different areas of logic on that series already. Check it out at womeninlogic.org/RecordedTalks/

Coming soon, a meeting honoring Andrée Ehresmann, celebrating her 90years! In French Journée Mathématique en l’honneur d’Andrée Ehresmann, à l’occasion de ses 90 ans. www-lmpa.univ-littoral.fr/~sic/wordpre...

The next Women in Logic Online is 16th September with Nina Gierasimczuk talking about "Learning and Belief Revision: an Overview" Please tell your friends and distribute the card around.

look what the cat, hmm google, brought back? photos.app.goo.gl/8jHVo5KB1deR...

No dia em que os homens forem, estatisticamente, mais violentados e assassinados por suas respectivas mães, namoradas, esposas etc do que o contrário, a gente discute o acolhimento dos homens. Por enquanto, uma menina/mulher é morta por um parceiro/familiar a cada 10 minutos.

Coming soon, a meeting honoring Andrée Ehresmann, celebrating her 90years! In French Journée Mathématique en l’honneur d’Andrée Ehresmann, à l’occasion de ses 90 ans. www-lmpa.univ-littoral.fr/~sic/wordpre...

Israelis took to the streets to protest Benjamin Netanyahu’s plan to conquer the rest of the Gaza Strip rather than attempt to negotiate an end to the war.

Eu amo 💜 vcs, abelhinhas 🐝🐝🐝🐝🐝🐝🐝🐝🐝🐝 g1.globo.com/go/goias/not...

Do you know about the series of meetings called "Women in Logic Online"? We have five talks in different areas of logic on that series already. Check it out at womeninlogic.org/RecordedTalks/

🚨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

🚨NEW PAPER ALERT🚨 Francisca Silva, "First-Order Aboutness Theory," Erkenntnis 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🚨 Joanna Golińska-Pilarek, "Paraconsistency in Non-Fregean Framework," Volume 113, pages 915–953, (2025) link.springer.com/article/10.1...

Today is Int’l Day of the World’s Indigenous Peoples. Across many contexts, Indigenous Peoples face systemic barriers to accessing health services & suffer worse health outcomes: 🧬Life expectancy up to 20 yrs lower 🩺Higher rates of disability & reduced quality of life Learn more 👉 bit.ly/4olzlgw

I'm feeling extremely honored and very surprised to find this lovely biographical sketch of me done by Mujeres con ciencia mujeresconciencia.com/2025/07/30/v... Thank you friends!

@valeriadepaiva.bsky.social dice que le gusta entender la vida de manera matemática. Cree que la curiosidad y la diversión en la investigación son fundamentales. https://mujeresconciencia.com/2025/07/30/valeria-de-paiva-la-matematica-que-tiende-puentes-entre-la-semantica-y-la-informatica/

Además de sus aportes a la ciencia, @valeriadepaiva.bsky.social  es miembro activa del comité directivo de @womeninlogic.bsky.social . https://mujeresconciencia.com/2025/07/30/valeria-de-paiva-la-matematica-que-tiende-puentes-entre-la-semantica-y-la-informatica/

✍️ @valeriadepaiva.bsky.social  logró aplicar conceptos abstractos, como la teoría de categorías, en un entorno empresarial.

🗣️ @valeriadepaiva.bsky.social  sostiene que las ciencias de la computación son para las matemáticas del siglo XXI lo que la física fue para las del siglo XX.   https://mujeresconciencia.com/2025/07/30/valeria-de-paiva-la-matematica-que-tiende-puentes-entre-la-semantica-y-la-informatica/

🗣️ @valeriadepaiva.bsky.social  considera que el sexismo en STEM “es sistémico y arraigado”, y que “afecta tanto a hombres como a mujeres”.

🧑‍🏫 @valeriadepaiva.bsky.social , la matemática que tiende puentes entre la semántica y la informática Un artículo de Analía Boggia

É ESSA NO REPEAT DA JBL O DIA TODO

The Internet wins again 💀😂😅🤣

Leanabell-Prover-V2: Verifier-integrated reasoning for formal theorem proving via reinforcement learning. ~ Xingguang Ji et als. arxiv.org/abs/2507.086... #LLMs #ITP #LeanProver

Breaking news: “The Late Show” with Stephen Colbert will end in May 2026, CBS said in a statement. The announcement came days after Colbert spoke out against the $16 million paid earlier this month by Paramount, the parent company of CBS News.