Valeria de Paiva
valeriadepaiva.bsky.social
Valeria de Paiva
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Thank you Pedro Abreu and friends for my first podcast as part of Type Theory Forall. Great title. I had a great time! www.youtube.com/watch?v=HVMx...
#59 - Category Theory and Inclusivity - Valeria de Paiva
YouTube video by Type Theory Forall
www.youtube.com
February 7, 2026 at 2:48 PM
Check out our line-up of Women in Logic ONLINE videos. The last one by Elaine Pimentel,last Tuesday, hasn't been uploaded yet. www.youtube.com/playlist?lis...
Women in Logic Online - YouTube
This is a new series of seminars we are calling "Women in Logic Online".
www.youtube.com
February 6, 2026 at 3:34 PM
Reposted by Valeria de Paiva
NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds
NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds
New York Gov. Kathy Hochul is preparing to roll out a sweeping universal child care plan for 2-year-olds. This move could reshape family life across the state and deliver a major win tied to a key promise from New York City Mayor Zohran Mamdani. Hochul is expected to formally announce the initiative alongside Mamdani on Thursday during an event in central Brooklyn, according to officials familiar with the plans. The proposal would begin rolling out as early as this fall, starting with a phased approach that expands access over several years. Full implementation is projected for the 2029 to 2030 school year, creating a universal system of child care for toddlers statewide. The Brooklyn setting is intentional. Rising child care costs and limited availability have hit city families especially hard, making the announcement a symbolic and strategic moment for both leaders. For Mamdani, the program directly aligns with one of his signature campaign pledges focused on affordability and economic relief for working parents. For Hochul, it reinforces her administration’s emphasis on early childhood education, workforce participation, and long-term economic stability. The timing of the announcement also matters. It comes just days before Hochul’s annual State of the State address, where she is expected to outline broader budget priorities and legislative goals. While specific funding details have not yet been released publicly, lawmakers and advocacy groups are expected to scrutinize how the program will be financed and scaled. If enacted as planned, the universal child care initiative could significantly reduce out-of-pocket costs for families, expand access to early learning, and ease pressure on parents juggling work and caregiving. Educators, providers, and parents alike will be watching closely as the rollout details emerge. For now, all eyes are on Brooklyn as Hochul and Mamdani prepare to put a long-discussed promise into motion. Big news from Gov. Kathy Hochul on child care. She will announce today that she’s “committing to fully fund the first two years” of Zohran Mamdani’s implementation of free preschool for 2-year-olds: pic.twitter.com/KmozPhqZhL — Emma G. Fitzsimmons (@emmagf) January 8, 2026
balleralert.com
January 8, 2026 at 5:04 PM
Reposted by Valeria de Paiva
Omg someone made me a wiki and I never knew!!! 🥹🥹😭😭🫶🏿
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields - Wikipedia
en.wikipedia.org
January 4, 2026 at 4:48 PM
Reposted by Valeria de Paiva
Happy birthday to #mathematician & #astronomer Nicole-Reine Lepaute (1723-1788)! 🐡🧪👩🏼‍🔬 #histsci My #linocut celebrates her calculated path of the solar eclipse of 1764. She also worked with Alexis Clairaut & Jérôme Lalande to precisely calculate the date of return of Halley’s Comet, solving the
January 5, 2026 at 12:44 PM
Reposted by Valeria de Paiva
Brazilian President Luiz Inacio Lula da Silva says the US crossed an 'unacceptable line' following attacks on Venezuela and the capture of its president, Nicolas Maduro.
January 4, 2026 at 9:32 AM
Reposted by Valeria de Paiva
Literally a publication for eight-year olds 40 years ago
January 4, 2026 at 6:49 PM
Reposted by Valeria de Paiva
Missed out on getting a PreTeXt.Plus invite code? Now you can try it without an account at pretext.plus/tryit!

If you want to be able to save and share your accessible mathematical documents, find me or @oscarlevin.com at the AIM booth at #JMM2026 for an invite code. More codes will be shared soon!
January 4, 2026 at 9:30 PM
Reposted by Valeria de Paiva
#MathSky #JMM2026 It is 4 weeks until Feb. 1, better known as the AWM/MfA Essay Contest deadline! That's plenty of time for a student to interview a mathematician whose gender is underrepresented in math and write an essay about them. Contest rules below:
Student Essay Contest
Student Essay Contest Sponsored by AWM and Math for America To increase awareness of the ongoing contributions to the mathematical sciences by women and to promote gender inclusivity, the Associatio...
awm-math.org
January 4, 2026 at 9:40 PM
Reposted by Valeria de Paiva
A gente faz pesquisa, publica livro, faz palestra resgatando o trabalho das mulheres lógicas, para os lógicos que escrevem sobre sistemas lógicos específicos, para os quais essas mulheres contribuíram, fazerem o quê? IGNORAREM tudo em suas publicações internacionais. It's a freaking long way.
December 24, 2025 at 12:40 PM
Reposted by Valeria de Paiva
A New Year present from @MaríaMartínezOrdaz to all of us! a calendar illustrated with Women Logicians! This is lovely! María!
January 4, 2026 at 1:28 AM
Reposted by Valeria de Paiva
2026 has been a long year.
January 3, 2026 at 10:07 AM
Reposted by Valeria de Paiva
Bonus #artAdventCalendar: Happy birthday to #mathematician Virginia Ragsdale (1870-1945). 🧪🐡👩🏼‍🔬🧮 #histsci The Ragsdale conjecture, made in her 1906 dissertation, is amongst the earliest and most famous on the #topology of real & algebraic curves, which stimulated a lot of 20th century research & was 🧵
December 13, 2025 at 1:25 PM
Reposted by Valeria de Paiva
Tirinha antiga, mas insuportavelmente atual.
December 19, 2025 at 1:16 AM
Reposted by Valeria de Paiva
Acabei de ficar sabendo que no apagar das luzes de 2025, o Congresso acaba de aprovar cortes de R$ 262 milhões da CAPES e R$ 72 milhões do CNPq no orçamento das bolsas para 2026.
Imagina se eles vão perder a oportunidade de aumentar as emendas em ano eleitoral, né?
+
December 19, 2025 at 11:35 PM
A New Year present from @MaríaMartínezOrdaz to all of us! a calendar illustrated with Women Logicians! This is lovely! María!
January 4, 2026 at 12:53 AM
Reposted by Valeria de Paiva
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
September 15, 2025 at 5:46 PM
Reposted by Valeria de Paiva
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
August 22, 2023 at 11:57 AM
Reposted by Valeria de Paiva
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!
🔬 Free microscopes + teacher training!

📅 Applications are now open. To apply, visit www.foldscope.com or scan the QR code (video)

✉️ Any questions? Email us at training@foldscope.com

#stem #education #science #teachers #training #free #microscopy #educators #professionaldevelopment #microscope
September 22, 2025 at 2:19 AM
Reposted by Valeria de Paiva
🚨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...
Online Logic Seminar
lagrange.math.siu.edu
August 26, 2025 at 12:24 PM
Reposted by Valeria de Paiva
🚨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...
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...
link.springer.com
August 28, 2025 at 9:46 AM
Reposted by Valeria de Paiva
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
August 29, 2025 at 6:30 AM
Reposted by Valeria de Paiva
The Women in Logic at the Bochum Feminist Logic workshop.
August 30, 2025 at 2:52 PM
Reposted by Valeria de Paiva
Wrapping up the formal talks we have Gillian Russell talking about Social Spheres: Logic, Ranking, and Subordination.
August 30, 2025 at 1:45 PM