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 in Swansea

CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a serie...

  • 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...
  • Proof and Computation Autumn School
    📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...
  • Giovanni Solda on Statistical Learning of Graphs
    This Thursday Giovanni Solda will give a talk on statistical learning of graphs as a part of our theory seminar series. Abstract: In the fir...