Valeria de Paiva

Panel 1. image of a huge nuclear plant. “Reactor Overheating” 2. A worker in a hazmat suit works at a computer. The screen reads: “Press cancel to avoid critical overload” 3 - 9. The worker continues to type at the computer. The screen changes in each panel and reads: “Enter password to confirm” “Incorrect password” “Incorrect password” “Do you want to reset your password?” “Reset link has been sent to your email” “Please choose a new password” “New password can't be the same as old password” The colour gets hotter in each panel. Starting blue in 1 and ending in red in 9. Panel 10. Wide view. The entire earth is blown up.

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

Reasoning under uncertainty in the game of Cops and Robbers - Synthese The game of Cops and Robbers is an important model for studying computational queries in pursuit-evasion environments, among others. As recent logical explorations have shown, its structure exhibits a...

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

A person with glasses and mid length purple hair, dressed in dark clothing, holding a handout.

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!

Welcome! You are invited to join a webinar: Women in Logic Online with Nina Gierasimczuk. After registering, you will receive a confirmation email about joining the webinar. Learning and Belief Revision: an Overview

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

Watch how to sign 'logic' in British Sign Language. Watch how to sign 'logic' in British Sign Language.

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

A woman with long black hair, a purple shirt, and black trousers standing in front of a slide announcing her talk.

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

A Course in Model Theory by Katrin Tent et al.

Fast Track to Forcing by Mirna Dzamonja.

A Logical Foundation for Potentialist Set Theory by Sharon Berry.

The Joy of Abstraction by Eugenia Cheng

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

Slide with the title and author in beautiful handwritten font.

A woman with glasses and short curly hair, an olive drab shirt and cream trousers.

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

A slide with her name and title

A smiling woman with glasses wearing a black t-shirt and black trousers.

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

A woman with blonde hair knotted up, glasses, a white shirt and jeans, holding a piece of chalk in front of a blackboard.

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

Eight women standing in front of a blackboard.

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

A photo of a row of 15 women, smiling, in front of a slide that says "Thank you!!" One of the women is holding a small baby.

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

Talks by Women in Logic Website curating talks by women in logic!

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.

New photo · Thursday, Apr 3 📸 Tap to view!

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.