Thursday, 4 April 2024

Swansea Theory Group attends the 40th British Colloquium for Theoretical Computer Science


Monika, Faron, Olga, Filippos, Iain and James are attending the 40th British Colloquium for Theoretical Computer Science (BCTCS 2024) hosted by the University of Bath. This year is it also collocated with the 5th Southern and Midlands Logic Seminar. 

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).



at
Labels: , ,
Location: 274 Convocation Ave, Claverton Down, Bath BA2 7PA, UK

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

CCC 2025 Comes to Swansea

This September Swansea will be hosting   CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .

  • Theory Away Day
    Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the...
  • Hideki Tsuiki visiting Swansea
    Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin...
  • GoSCAI 2024
    Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the  GoSCAI workshop  and discussion of research opportunities with Greno...