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

Agda Implementors' Meeting Coming to Swansea

The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.

Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII

 

The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!

There's a (soft) deadline for registration on 14 April 2024.

Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration

Mukesh Tiwari joined Swansea University

We are happy that Mukesh Tiwari joined Swansea University recently. Today he will give a talk as a part of out theory seminar series:

Formalizing linear algebra over semirings

"Linear algebra over real numbers (field algebraic structure) is a powerful mathematical tool for understanding and solving a wide range of computing problems. Nonetheless, it is not without its limitations, as a specific implementation tailored to one problem may not be readily applicable to solve another, i.e., it does not generalise well. In this talk, I will present a certified implementation of several linear algebraic methods such as matrix addition, matrix multiplication, matrix exponentiation, and  matrix formal power series (Kleene star) over semiring in the Coq theorem prover. Semiring is a weaker structure than field and therefore can accommodate more applications and I will demonstrate the flexibility of this implementation by instantiating the abstract operators of semiring with concrete mathematical operators and depending on the instantiation, it  can solve wide range of problems, ranging from voting, optimisation, social network, etc. The Coq formalisation is available on GitHub [1]"

[1] https://github.com/mukeshtiwari/semiring_graph_algorithm/

CCA 2024: Call for Submissions

Twenty-First International Conference on Computability and Complexity in Analysis (CCA 2024) will take place on July 15-18, 2024 here in Swansea. Topics:

•     Computable analysis
•     Complexity on real numbers
•     Computable numbers, subsets and functions
•     Theory of representations
•     Computable differential equations
•     Randomness and computable measure theory
•     Algorithmic fractal dimension
•     Effective descriptive set theory
•     Weihrauch complexity
•     Reverse analysis
•     Constructive analysis
•     Domain theory and analysis
•     Realizability theory and analysis
•     Models of computability on real numbers
•     Real number algorithms
•     Exact real number arithmetic

Submission deadline: April 29, 2024. For more information, click below: