Congratulations

Cécilia was invited to join the PC of the JFLA 2025 and Arnold was invited to join PC of ICALP 2024.

Excursion to Gower

Our Agda Implementors Meeting finished today with a lovely walk in Gower. 

Agda Implementors Meeting

The 38th Agda Implementors' Meeting is taking place at the Computational Foundry from Monday 13 to Saturday 18 May 2024. It will be hosted by the Theoretical Computer Science Research Group, Department of Computer Science, Swansea University

Fahad Alhabardi passed his PhD viva

Congratulations to Fahad Alhabardi for passing his PhD (supervised by Anton Setzer and Arnold Beckmann) viva today! Thanks to the external examiner Conor McBride from Strathclyde University, the internal examiner Ulrich Berger, and the chair Bertie Mueller.

Ludwig Wittgenstein's Birthday

On this day, we commemorate Ludwig Wittgenstein's birthday. Born in 1889 in Vienna, Austria, Wittgenstein's profound influence on Swansea University and its philosophical discourse is remembered. 

Check Dr Alan Sandry's Am I Glad To Be Here! to learn more about Ludwig Wittgenstein and Philosophy at Swanse. Additionally, in 2022 British bibliographer Prof Ray Monk gave a lecture on Ludwig Wittgenstein's life in Swansea:

BBC also made a film celebrating the life and scientific contributions of Wittgenstein:

Máté Szabó's talk

Máté Szabó is visiting Swansea. He will give a talk today as a part of our theory seminar series:

Gödel's and Post's Proofs of the Incompleteness Theorem

This talk examines and compares two strikingly different proofs of the first incompleteness theorem. The first proof of the theorem was famously published by Kurt Gödel in 1931. However, during the previous decade, Emil Post already made significant breakthroughs in this topic, even though he was unable to publish his work for various reasons. After taking a short look at Gödel's diagonal proof, we will engage in more detail with Post's lesser-known proof. The latter proof is purely syntactic, and computer scientists of the day could recognize Post's approach as presenting one of the earliest term rewrite systems. By the end of the talk the audience will hopefully agree with Post stating that “with the Principia Mathematica as a common starting point [i.e. of Gödel and Post], the roads followed towards our common conclusions are so different that much may be gained from a comparison of these parallel evolutions”.

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