@ucl_pplv

Programming Principles, Logic and Verification group at University College London

 London, England
pplv.cs.ucl.ac.uk
Joined November 2015
  • Tweets151
  • Following155
  • Followers255
76Media
UCL-CS PPLV retweeted
ACM SIGLOG@acmsiglogOct 14
We would like to call special attention to the new column on Logic in Education, edited by Thomas Zeume (Ruhr University Bochum), the new chair of the SIGLOG Education Committee. Happy reading, everyone!
2
2
37
UCL-CS PPLV retweeted
ACM SIGLOG@acmsiglogOct 14
The last SIGLOG News issue of 2026 is out! After the summer break, in which many of us attended conferences and other events, we are all back to our duties. Check it out!!! siglog.org/newsletter-octobe…
1
2
2
75
Check it out!!! 👀 Prof. Fabio Zanazi's new introductory book with Cambridge University Press, titled String Diagrams for Lambda Calculi and Functional Computation, is coming out in less than a month. It will be fully open access!!!! You can't miss it: cambridge.org/core/elements/…

String Diagrams for Lambda Calculi and Functional Computation

Cambridge Core - Algorithmics, Complexity, Computer Algebra, Computational Geometry - String Diagrams for Lambda Calculi and Functional Computation

cambridge.org
1
2
198
PPLV rocking! 💪 Together with Carlo Ciliberto (UCL AI Centre) Prof. Fabio Zanasi was awarded a 1m$ grant by the AI for Math fund of Renaissance Philanthropy, for a project titled Towards Searchable Formalized Mathematics at Scale!!!! Congratulations, Fabio 🎉🎉🥳🥳
1
1
1
120
Press release is here  renaissancephilanthropy.org/… and the project details are here renaissancephilanthropy.org/…

Renaissance Philanthropy and XTX Markets Announce Further $17.1 Million to Accelerate Mathematical...

AI for Math Fund has now committed a total of $35.1 million.

renaissancephilanthropy.org
25
Watch our latest video featuring Renata Wassermann's excellent talk, "Belief Change and Ontology Repair: Two Sides of the Same Coin?": youtu.be/C7cKXLCKCGo Stay tuned for our next brilliant speaker at WiL Online!
1
1
120
The next meeting of the Southern and Midlands Logic Seminar will be held at UCL Wednesday 24th June. The preliminary programme is here: leolob.ski/SMLS/smls15. Our Katya Piotrovskaya and Ralf Sarkis will give talks, you can't miss it!!!
1
1
43
UCL-CS PPLV retweeted
ACM SIGLOG@acmsiglogJun 10
The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Pablo Barceló, Leonid Libkin, Wim Martens, Juan Reutter, Miguel Romero, Moshe Vardi, and Domagoj Vrgoč...
Photo from Burge & Enderton 2019

ALT Photo from Burge & Enderton 2019

2
5
8
374
📢 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/ecumen… @LeverhulmeTrust
1
1
1
74
more replies
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.
1
1
1
58
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!
28
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!
16
🚀 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_ofTTVeY…
1
1
57
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?
1
2
135
🚀 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-spac… #SafeAI #ProofChecking #PPLV
1
3
150
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/…
1
4
258
Professor Peter O'Hearn is honoured as an ACM Fellow for exceptional contributions to computing!! Congratulations, Peter! ucl.ac.uk/computer-science/n… @uclcs @UCLEngineering @ucl
1
6
160
UCL-CS PPLV retweeted
UCL@ucl1 Oct 2024
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
15
25
4,464
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 🎉
1
2
20
800
More information here: concurrency-theory.org/event…

TOT AWARD

CONCUR Test of Time Award

concurrency-theory.org
1
1
117
Load more