Valeria de Paiva's Avatar

Valeria de Paiva

@valeriadepaiva

Logician, category theorist, semanticist. Likes to understand life mathematically, please.

543
Followers
69
Following
55
Posts
09.02.2024
Joined
Posts Following

Latest posts by Valeria de Paiva @valeriadepaiva

Possible and impossible conditionals for logics based on team semantics | Logic@GU Homepage of the Logic Group at University of Gothenburg.

🚨TALK ANNOUNCEMENT🚨

Nordic Online Logic Seminar
23 Feb, 16:00 UTC+1

Fan Yang, "Possible and impossible conditionals for logics based on team semantics"

logic-gu.se/nol/2026/02/...

18.02.2026 14:29 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Linocut portrait of Queen Seondeok of Silla with elaborate medieval Korean crown and heavy beaded necklace in gold, red and blue robes, at night with starry black sky with white and grey moon and the grey Tower of Cheomseogdae behind her.

Linocut portrait of Queen Seondeok of Silla with elaborate medieval Korean crown and heavy beaded necklace in gold, red and blue robes, at night with starry black sky with white and grey moon and the grey Tower of Cheomseogdae behind her.

Queen Seondeok of Silla (c. 595 ~ 610 - 647), 27th ruler of one of the Three Kingdoms of Korea, from 632-647, who brought about a renaissance in culture and science and built the Cheomseongdae moon and star-gazing observatory. πŸ§ͺπŸ‘πŸ‘©πŸ»β€πŸ”¬πŸ”­ #histsci This is the anniversary of her death.
🧡

20.02.2026 17:38 πŸ‘ 60 πŸ” 19 πŸ’¬ 2 πŸ“Œ 4
Preview
E.P.A. Weakens Limits on Mercury From Coal Plants The move appeared to undercut the Make America Healthy Again movement led by Robert F. Kennedy Jr., a onetime campaigner against mercury pollution.

Breaking News: The EPA is allowing coal-burning power plants to release more heavy metals like mercury, a powerful neurotoxin linked to brain damage.

20.02.2026 17:45 πŸ‘ 367 πŸ” 260 πŸ’¬ 48 πŸ“Œ 60

Last night, I was notified that another person has died in ICE custody.

That’s 39 people who have died on ICE’s watch during Trump’s second term.

We cannot grow numb to this. There must be immediate oversight and accountability.

20.02.2026 15:08 πŸ‘ 3448 πŸ” 1480 πŸ’¬ 99 πŸ“Œ 53
Professional headshot of Dr. Andrea Hairston wearing a blue denim shirt under a white blazer with navy stripes, accessorized with a pendant necklace, seated indoors in front of a blurred background.

Professional headshot of Dr. Andrea Hairston wearing a blue denim shirt under a white blazer with navy stripes, accessorized with a pendant necklace, seated indoors in front of a blurred background.

Today for Black History Month please join AWM in celebrating mathematician Dr. Andrea Hairston! A leader in the technology space, Dr. Hairston has built a distinguished career working in a variety of industries and settings.

Full writeup here: πŸ”— www.facebook.com/share/p/18Ao....

#BlackHistoryMonth

20.02.2026 18:39 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
A graphic which uses the colours of the Palestinian flag: white, black, red and green. Text at the top reads β€œNo games for genocide”, and text at the bottom reads β€œBoycott Xbox, Sign the pledge”, with the website nogamesforgenocide.com below. In the middle of the graphic is an icon of a fist punching upwards, splitting a missile in half. One half of the broken missile has the Xbox logo on it, and the other half has the Microsoft logo on it.

A graphic which uses the colours of the Palestinian flag: white, black, red and green. Text at the top reads β€œNo games for genocide”, and text at the bottom reads β€œBoycott Xbox, Sign the pledge”, with the website nogamesforgenocide.com below. In the middle of the graphic is an icon of a fist punching upwards, splitting a missile in half. One half of the broken missile has the Xbox logo on it, and the other half has the Microsoft logo on it.

SIGN OUR BOYCOTT XBOX PLEDGE: We are asking gamers, game workers, streamers & journalists to join us in boycotting & divesting from Xbox, to force Microsoft to end its complicity in the genocide of Palestinians.

We’ve provided concrete actions everyone can take. Sign here: nogamesforgenocide.com

02.12.2025 16:00 πŸ‘ 1077 πŸ” 803 πŸ’¬ 8 πŸ“Œ 119
Preview
Trump Eases Mercury Rules for Power Plants in Bid to Boost Coal The Environmental Protection Agency rolled back limits on mercury and other toxic air pollutants for coal- and oil-fired plants.

Another day, another rollback. The EPA on Friday rolled back rules limiting mercury & other toxic air pollution from power plants, the latest in a series of moves by Trump designed to boost the nation’s shrinking coal sector.

Story @bloomberg.com, gift link: www.bloomberg.com/news/article...

20.02.2026 19:53 πŸ‘ 52 πŸ” 35 πŸ’¬ 6 πŸ“Œ 12
Video thumbnail

Cuba is confronting the U.S.’s first effective blockade since the Cuban Missile Crisis and running out of fuel fast, pushing the nation toward a humanitarian crisis and its government to the edge of collapse, according to a New York Times analysis. nyti.ms/4cG5Hz3

20.02.2026 22:11 πŸ‘ 179 πŸ” 91 πŸ’¬ 33 πŸ“Œ 12
Post image

Arguing repetitively about the same things is tiring. Here's an explanation of why I think *manels* are bad and what we can do about them. any further arguments welcome!
logic-forall.blogspot.com/2026/02/mane...

21.02.2026 00:28 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

This week, in Portuguese, from Brasileiras no PLN

18.02.2026 16:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Opinion | The Depravity of Trump’s Immigrant Detention The president’s immigration dragnet is vicious but not surprising.

In @nytopinion.nytimes.com

The Trump administration is β€œusing detention to inflict pain on anyone β€” immigrant or citizen β€” caught in its grasp,” our columnist Jamelle Bouie writes.

15.02.2026 02:10 πŸ‘ 408 πŸ” 155 πŸ’¬ 35 πŸ“Œ 8
Post image

Day 1 of the Zagreb Logic Conference featured talks by Helena Marcius on topological semantics for interpretability logic, and Sinisa Milicuc and Nicoletta Saulig on noise, novelty, and non-computability.

15.02.2026 10:03 πŸ‘ 7 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

happy birthday!

15.02.2026 16:00 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
My linocut portrait of Marie Maynard Daly in purples (she’s a young smiling Black woman, wearing earrings, a necklace and a dress, looking at the viewer over her shoulder). Above her to the right is an anatomical heart with a blowout diagram in a circle of a clogged artery and the cholesterol molecule all in red. Next to her on the left in blue are the molecules of the bases which make up DNA and a diagram of a human cell.

My linocut portrait of Marie Maynard Daly in purples (she’s a young smiling Black woman, wearing earrings, a necklace and a dress, looking at the viewer over her shoulder). Above her to the right is an anatomical heart with a blowout diagram in a circle of a clogged artery and the cholesterol molecule all in red. Next to her on the left in blue are the molecules of the bases which make up DNA and a diagram of a human cell.

#BlackHistoryMonth is a great time to celebrate #biochemist Marie Maynard Daly (1921-2003), 1st Black woman to earn a PhD in #chemistry in the US! πŸ§ͺπŸ‘πŸ‘©πŸΏβ€πŸ”¬ #histsci She made important research contributions to our understanding of the biochemisty of the cell nucleus & cardiovascular issues & the 🧡

15.02.2026 12:55 πŸ‘ 133 πŸ” 46 πŸ’¬ 4 πŸ“Œ 2
Preview
How to Safeguard the DOJ Against the Next Trump The Trump administration has taken a wrecking ball to the Department of Justice, dismantling the traditional barrier between prosecutorial independence and partisan politics.

After politicized prosecutions, pardons for loyalists and other political manipulation, restoring the Department of Justice will require structural reforms after Donald Trump leaves office (via Bloomberg Opinion)

15.02.2026 13:30 πŸ‘ 113 πŸ” 46 πŸ’¬ 15 πŸ“Œ 4

πŸ§ͺπŸ‘©πŸΎβ€πŸ”¬ #BlackHistoryMonth #histsci

15.02.2026 14:21 πŸ‘ 19 πŸ” 8 πŸ’¬ 0 πŸ“Œ 0

As AI and agents are adopted to accelerate development, cognitive load and cognitive debt are likely to become bigger threats to developers than technical debt (Margaret-Anne Storey)

Main Link | Techmeme Permalink

15.02.2026 09:55 πŸ‘ 14 πŸ” 5 πŸ’¬ 2 πŸ“Œ 1

You didn't react when there were proportionally less women on conferences, papers, panels, awards, media appearances and senior positions.
Didn't use your elevated societal position to chase after misconduct allegations or hold iffy colleague accountable.

For decades.

15.02.2026 12:36 πŸ‘ 96 πŸ” 20 πŸ’¬ 1 πŸ“Œ 0
Preview
β€˜A Hymn to Life’ Review: GisΓ¨le Pelicot’s Memoir Is a Powerfully Written Feminist Manifesto With matter-of-fact precision, β€œA Hymn to Life” powerfully chronicles the shock of discovering her husband’s sex crimes, and the rallying cry that followed.

With matter-of-fact precision, GisΓ¨le Pelicot’s memoir powerfully chronicles the shock of discovering her husband’s crimes and the rallying cry that followed. β€œIt seeks a proper transfer of shame from sex-crime victims to their perpetrators, and the perpetrators’ enablers,” our book critic writes.

15.02.2026 15:40 πŸ‘ 172 πŸ” 34 πŸ’¬ 2 πŸ“Œ 2

β€œThey were hellbent on not allowing anybody to help him until he was dead,” she said. β€œI was right there, and they β€” all of them β€” made the decision to deny me access to give him the best possible chance of survival.”

13.02.2026 19:14 πŸ‘ 1862 πŸ” 871 πŸ’¬ 6 πŸ“Œ 12
#59 - Category Theory and Inclusivity - Valeria de Paiva
#59 - Category Theory and Inclusivity - Valeria de Paiva YouTube video by Type Theory Forall

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

07.02.2026 14:48 πŸ‘ 6 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

Very disheartened by your line-up @shriram.bsky.social . 3 women in 14 PC members? not cool at all!

06.02.2026 15:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Women in Logic Online - YouTube This is a new series of seminars we are calling "Women in Logic Online".

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

06.02.2026 15:34 πŸ‘ 2 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
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

NY Gov. Hochul and NYC Mayor Mamdani Team Up on Universal Child Care Plan for 2-Year-Olds

08.01.2026 17:04 πŸ‘ 11 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0
Preview
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, and Quintic Number Fields - Wikipedia

Omg someone made me a wiki and I never knew!!! πŸ₯ΉπŸ₯ΉπŸ˜­πŸ˜­πŸ«ΆπŸΏ

04.01.2026 16:48 πŸ‘ 37 πŸ” 7 πŸ’¬ 3 πŸ“Œ 0
My linocut print of mathematician & astronomer Nicole-Reine Lepaute (1723-1788) in a vertical gradient (bottom to top) of bright pink to lavender on white paper. She wears a wig and gown and the portrait is from the chest to head. Her 12 diagrams of the phases of the annular the solar eclipse of 1764 as viewed from Paris appear across her shoulders. Behind her head in green is her map of the path of the eclipse across Europe.

My linocut print of mathematician & astronomer Nicole-Reine Lepaute (1723-1788) in a vertical gradient (bottom to top) of bright pink to lavender on white paper. She wears a wig and gown and the portrait is from the chest to head. Her 12 diagrams of the phases of the annular the solar eclipse of 1764 as viewed from Paris appear across her shoulders. Behind her head in green is her map of the path of the eclipse across Europe.

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

05.01.2026 12:44 πŸ‘ 95 πŸ” 28 πŸ’¬ 3 πŸ“Œ 1
Post image

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.

04.01.2026 09:32 πŸ‘ 2467 πŸ” 787 πŸ’¬ 77 πŸ“Œ 47
Post image

Literally a publication for eight-year olds 40 years ago

04.01.2026 18:49 πŸ‘ 43462 πŸ” 16076 πŸ’¬ 326 πŸ“Œ 411

#MathSky

04.01.2026 21:30 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
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...

#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:

04.01.2026 21:40 πŸ‘ 6 πŸ” 3 πŸ’¬ 0 πŸ“Œ 2