UCL-CS PPLV

We closed the 4th Ecumenical Meeting with talks by: • Rosalie Iemhoff • Tor Sandqvist • Cristina Sernadas • João Rasga • Sebastian Enqvist Thanks to all speakers and participants for three wonderful days of logic!

Day 2 speakers at the 4th Ecumenical Meeting: • Jan von Plato • Sara Negri • Carlos Olarte • Tiago de Castro Alves More great talks and discussions continuing the meeting in Stockholm.

📢 On 18–20 February 2026, PPLV organised the 4th Ecumenical Meeting at the beautiful Gula Villan in Stockholm 🇸🇪 Three days of inspiring talks and discussions as part of our Leverhulme Trust Project RPG-2024-196! 🔎 Check the details: sites.google.com/view/ecumenica… @LeverhulmeTrust

Day 1 speakers at the 4th Ecumenical Meeting: • Dag Prawitz • Antonio D'Aragonna • Iris van der Giessen • Dale Miller • Gilda Ferreira • Paulo Oliva A fantastic start with a wide range of perspectives in logic!

🚀 The Women in Logic Online Seminar organised by PPLV starts today! We are delighted to welcome Rosalie Iemhoff as our first special guest. It’s going to be a great talk, don’t miss it! 🕔 5pm CET 📺 Watch live on PPLV’s YouTube channel: youtube.com/live/OaP_ofTTV…

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?

🚀 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

It is our pleasure to announce that the book An Introduction to String Diagrams for Computer Scientists by Robin Piedeleu and Fabio Zanasi has been published by Cambridge University Press and is now available online. Check it out!!! cambridge.org/core/elements/…

Professor Peter O'Hearn is honoured as an ACM Fellow for exceptional contributions to computing!! Congratulations, Peter! ucl.ac.uk/computer-scien… @uclcs @UCLEngineering @ucl

Today is the start of #BlackHistoryMonth. 🖤 Join us in celebrating this year’s theme: Reclaiming Narratives. This week: 3 Oct, 🏅 TeamUCL Workshop: bit.ly/3TQiFjG 4 Oct, 😋 ACS' Meet & Eat: bit.ly/4dztn50 8 Oct, 📖 Book launch: bit.ly/3Y6eOS8

More information here: #concur-test-of-time-award-2024" target="_blank" rel="nofollow noopener">concurrency-theory.org/events/tot-awa…

CONCUR Test of Time Award recognizes important achievements in Concurrency Theory. This year it has been given to: - Stephen D. Brookes. A semantics for concurrent separation logic - Peter W. O’Hearn. Resources, concurrency and local reasoning Congratulations, @PeterOHearn12 🎉

We would also like to take this opportunity to extend a huge thanks to Professor Steven Hailes who has done an outstanding job of leading the department over the last five years. 👏

Delighted to announce our new Head of Department; Professor Daniel Alexander! 🎉 Danny brings a wealth of expertise as former deputy head of UCLCS and director of @CmicUcl. Join us in celebrating this exciting new chapter! 👏 Read more about Danny: ucl.ac.uk/computer-scien…

Grace Hopper worried about information flow in 1982!! nsa.gov/Press-Room/Pre…

The final day of our seminar @dagstuhl was very intense and dynamic! We had 3 talks and 7 short talks. Lots of discussions, lots of fun, so good to be among friends, do research and listen to many inspiring talks! Hope to see you all again soon 😃

In the evening, as always, we had cheese and the beer talks on Proof systems 😊

Thursday was a very busy day for the proof theorists @dagstuhl !! We had wonderful talks about logics of formal inconsistency and Aristotle's syllogisms, a tutorial on the theorem prover Abella, and a special session on cyclic proofs