Valeria de Paiva
valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
👤 Joined on 09 February 2024
587
Followers
70
Following
71
Total Posts
📜 Kullanıcı Geçmişi
- 09 Şub 2024, 16:22
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@valeriadepaiva.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Claims that AI will deliver significant productivity gains and savings in the UK public sector are shaping government policy and spending. Ada’s new briefing helps policymakers, journalists and others to evaluate AI productivity claims more robustly. www.adalovelaceinstitute.org/policy-brief...
Show PostThe 10th Anniversary of Women in Logic at FLoC in Lisbon was wonderful! We will write more about it soon, but here's a picture of the party at the Gulbekian Museum cafe to whet your appetite.
Show PostNo 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...
Show Post
The 2026-27 Round of LMS Early Career Fellowships are live, open to early career mathematicians in the transition between PhD and a postdoctoral position. Deadline is in TWO weeks (1 October 2026). For further details ➡️ www.lms.ac.uk/grants/lms-e...
Show PostMy opinion piece "Formalizing Mathematics and making its women visible" appeared in the Committee for Women in Mathematics CWM Newsletter, Aug 2026 pages 9-15, yay! www.mathunion.org/fileadmin/do...
Show Post