Monika has been invited to give a talk on Logic in Railway Verification. Among the other invited speakers are Anupam Das (University of Birmingham), Alex Kavvos (University of Bristol), and Stuart Matthews (Capgemini Engineering).
Thursday, 4 April 2024
Swansea Theory Group attends the 40th British Colloquium for Theoretical Computer Science
Subscribe to:
Post Comments (Atom)
-
The speaker for this week's seminar is Patrick Uftring from the University of Munich. He will talk about Computable transformations of T...
-
CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a serie... -
Mukesh will give a talk on Formally Verified Verifiable Group Generators as a part of our seminar series this Thursday. Abstract: Electronic...
No comments:
Post a Comment