Pieter Collins is currently visiting us from Maastricht. Today he will give a talk on "Verified Verification: Formal Proofs of Rigorous Numerical Methods for Model-Checking Dynamic Systems" as a part of our Theory Seminar series.
Subscribe to:
Post Comments (Atom)
We are at the 41st British Colloquium for Theoretical Computer Science at Strathclyde University (Glasgow)
BCTCS 2025 at Strathclyde University, Glasgow Marek Jezinski, Alec Critten, Harry Bryant and Olga Petrovska are currently attending the 41st...
-
Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the... -
Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin...
No comments:
Post a Comment