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:

MRes Viva

Congratulations to Olivia Weston for passing the MRes Viva! The examiners were Simon Fowler and Ulrich Berger. First supervisor was Cecilia Pradic.

Pieter Collins visiting

Pieter Collins is currently visiting us from Maastricht. Today he will give a talk on "Verified Verification: Formal Proofs of Rigorous Numerical Methods for Model-Checking Dynamic Systems" as a part of our Theory Seminar series. 

Tonicha Crook passed her PhD viva

Congratulations to Tonicha Crook passed her PhD viva today. The examiners were Pieter Collins (Maastricht) and Faron Moller (Swansea). The title of her PhD thesis is:  Computable Analysis and Game Theory: From Foundations to Applications. The PhD was supervised by Arno Pauly. 

Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability"

Arno Pauly is organising the Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability" with Vasco Brattka, Alberto Marcone and Linda Westrick. More information to follow.