In an outstanding contribution, Levy has reunited the many existing research streams into the study of one subsuming calculus: Call-by-Push-Value (CBPV).

To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations.

In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics. Very well deserved, congratulations, Paul!

"In times of growing polarisation, terms such as 'deglobalisation' have become commonplace. But it is impossible to 'deplanetise our shared existence. No wall is high enough to preserve islands of peace and prosperity surrounded by violence and misery." theguardian.com/commentisfree/…

O Grupo Corpo comemora 50 anos de trajetória, e Elisabete Pacheco foi a Belo Horizonte para contar a história da companhia de dança que levou o gingado brasileiro para os palcos internacionais. Assista a um trecho da reportagem. ➡ Assista na #GloboNews: glo.bo/39WjXAu

The third issue of 2025 ACM SIGLOG news is available now! Check it out: siglog.org/newsletter-jul…

🚀 Big news from PPLV! Prof. Fabio Zanasi has won a new grant under ARIA’s Safeguarded AI Programme for his project “Data-Parallel Proof Checking for Monoidal Theories”. 🔗 Read more: aria.org.uk/opportunity-sp… #SafeAI #ProofChecking #PPLV

Gilles Dowek, founder of the Dedukti logical framework, which plays a central role in EuroProofNet, died on 21 July 2025. He was vice leader of the WG4 on proof libraries in 2021 and 2022, and made important contributions in logic, quantum programming languages and philosophy.

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Learning and Belief Revision: an Overview” with Nina Gierasimczuk (DTU Compute)! 🗓️ September 16, 17:30 CET ➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regist… ℹ️ vcla.at/2025/08/women-…

Next Women in Logic Online on the 16th September. Nina Gierasimczuk on Learning and Belief Revision: an Overview, register at vcla.at/2025/08/women-…

Women @ the Proof Society meeting 2025! Lovely conference with great women! proof2025.ugent.be

Meu amigo Pedro Dória simplesmente arrasando arrasando arrasando arrasando arrasando nesse vídeo sobre o histórico das anistia no Brasil.

⏲️ Only one week left to get your nominations in for the 2026 AWM Dissertation Prize. See the website below for details on the nomination procedure, eligibility requirements, & award parameters. 📅 Deadline: September 15 🔗 awm-math.org/awards/awm-dis… #AWM #WomenInMath #Research

25 years ago! The Linear Logic Summer School was held in the Azores in August–September 2000. Can you spot any PPLV members in this photo?

CICM2025 is done! We had a lovely time in Brasilia, many thanks to the local team, the heroes of the day, or actually, the heroes of the whole week! The book is now out. Grab it while it's freely accessible link.springer.com/book/10.1007/9…

❗️ JOB OFFER! University Assistant (post-doc) Institute of Logic and Computation at TU Wien Research Unit Formal Methods in Systems Engineering full-time, starting in January and limited to six years 🗓️ apply until Nov 13 ℹ️ jobs.tuwien.ac.at/Job/259532 #postdocposition

🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Classical Versus Constructive: An Ecumenical Approach” with Elaine Pimentel (UCL)! 🗓️ November 26, 17:00 CET ➡️ Sign up for free via Zoom: tuwien.zoom.us/webinar/regist… ℹ️ vcla.at/2025/11/women-…

👁️👄👁️ Join us in this supra amazing workshop! Historians, philosophers, historians of philosophy and philosophers of history!! REGISTRATION HERE: forms.gle/qJRncUDEc254t9…

Wassily Kandinsky - Composition VIII (1923) Geometric forms, color harmonies and rhythm - Kandinsky’s visual language of sound and emotion, developed during his years at the Bauhaus. Experience the spaces where these ideas were born → bauhaus-experience.com/journey-to-the…

🗣️ Oficina: Boas Práticas em Organização de Eventos