Cécilia was invited to join the PC of the JFLA 2025 and Arnold was invited to join PC of ICALP 2024.
Showing posts with label programme committee membership. Show all posts
Showing posts with label programme committee membership. Show all posts
Wednesday, 3 July 2024
Subscribe to:
Posts (Atom)
CCC 2025 Comes to Swansea
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .
-
Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the... -
📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ... -
Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin...