Júlia Araldi Trentin presents "Two ways of understanding logical
objects and their consequences for logical theories", representing the next generation of #WomenInLogic.

#Principia2025

Hi @womeninlogic.bsky.social, here is a thread of some of the presentations by women at Computability in Europe 2026! There were 3 other co-located conferences, so this is not a complete listing. #wil #womeninlogic

Found another #WomeninLogic, y'all!

Are all of these already in our directory github.com/WomeninLogic...? Please add yourselves!

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

I didn't want to jinx anything by posting before it was over, but we held the first workshop of the Computability and Complexity by Gender Minorities (CoCoGEMS) AWM Research Network last week @tuwien.at! 17 participants, 3 project groups, and an amazing experience. @awm-math.org #wil #womeninlogic

Here's Viktória Nemkin from the Budapest University of Technology and Economics speaking about "Succinct QUBO Formulations for Permutation Problems by Sorting Networks." #wil #womeninlogic

Mateja Jamnik (Cambridge U) gave her talk “How Can We Make Trustworthy AI?” at the OCIE Seminar in History and Philosophy of Mathematics (Chapman U) last Friday #WomenInSTEM #WomenInLogic

Send us photos of any #wil #womeninlogic!

We're now on Instagram!

Come follow us, and tag us in any photos you take of women in logic. :)

www.instagram.com/womeninlogic/

I'll add pictures of the other speakers as I get their permissions. Here's Margret Tembo of @swanseauni.bsky.social speaking about termination of real linear loops. #wil #womeninlogic

Francesca Zaffora Blando of @cmu.edu gave a plenary on algorithmic randomness and weak merging. #wil #womeninlogic

Then, the Women in Computability workshop. @ludolphine.bsky.social and Francesca Zaffora Blando shared their experiences about being women in this field, and the audience was wonderful. (They let me talk a bit, too.) Here we are afterwards. #wil #womeninlogic

No rest for the wicked: I'm counting again. By the way this is me, not the collective `Women in Logic'. womeninlogic.org #womeninlogic logic-forall.blogspot.com/2026/09/coun...

First, the CiE plenaries. I gave the first one on highness in computable structure theory with a focus on Scott rank. #wil #womeninlogic

#WomenInLogic