News
Emmanuel Rauzy: Residual properties of groups in the continuous Weihrauch lattice
In this weeks Theory Seminar, Emmanuel, from the Université de Cétreil, will present his work on ‘Residual properties of groups in the continuous Weihrauch lattice.
CCC 2025 in Swansea
CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a series of captivating talks that challenged and inspired attendees, while the excursion to Gower provided a refreshing counterpoint to the intense academic discussions.
CCC 2025 Comes to Swansea
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms.
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.
Mukesh on Formally Verified Verifiable Group Generators
Mukesh will give a talk on Formally Verified Verifiable Group Generators as a part of our seminar series this Thursday.
Manlio Valenti on the computational strength of a Hausdorff oracle
This Thursday Manlio will give a talk “On the computational strength of a Hausdorff oracle” as a part of our seminar series.
Davide Trotta's talk
This Thursday Davide Trotta from the University of Padova will give a talk on “A topos for extended Weihrauch degrees” as a part of our seminar series.Abstract: Weihrauch reducibility [2] is a key notion of reducibility between computational problems that is useful to calibrate the uniform computational strength of a multi-valued function. Such reducibility provides a framework where one can formalize questions such as “which theorems can be transformed continuously or computably into another?”
Weihrauch problems as containers
Today Ian Price will give a talk on “Weihrauch problems as containers” as a part of our seminar series. Abstract:
We are at the 41st British Colloquium for Theoretical Computer Science at Strathclyde University (Glasgow)
 |
|---|
| BCTCS 2025 at Strathclyde University, Glasgow |
On Threshold Problems for Orbits of Semigroup Actions by Eike
Today Eike Neumann will give a talk on Threshold Problems for Orbits of Semigroup Actions as a part of our theory seminar series.
Giorgio Genovesi on Characterizing Regular Countable Second Countable Spaces in Second Order Arithmetic
Today’s seminar talk is by Giorgio Genovesi from Leeds, who will be talking about countable second countable topological spaces in the context of reverse mathematics.
Elvira Mayordomo visiting Swansea
Elvira Mayordomo is visiting us this week. Today she gave a talk as a part of our seminar series.
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 festive break. It was a chance to reflect on past successes, align our goals, and spark fresh ideas to drive our work forward in 2025. Here’s to an exciting year of collaboration and innovation!
Oliver Kullmann's talk
Today Oliver Kullmann will give a talk on Automated search for special Latin squares as a part of our Seminar series.
Matteo Acclavio visiting Swansea
Next week’s theory seminar will be given by Matteo Acclavio from the University of Sussex, who is visiting us for a few days. The topic will be a new logical framework for concurrent programs, abstract below.Title: A new logical framework for concurrent programs
Abstract:
Designing logical frameworks to reason about the properties of concurrent programs while accurately capturing the essence of concurrency is a challenging task.
The main difficulties can be traced back to the syntactic constraints of the languages used for this purpose.
Galileo Sartor's talk
Today’s theory seminar talk will be by Galileo Sartor on “Representing and reasoning with legal aspects of traffic rules for autonomous vehicles”.
Georg Moser visiting
Georg Moser, Prof of Computer Science at University of Innsbruck, is visiting again this week to continue our work on the Royal Society funded project MARRY: MARRYing the analyses of feasible algorithms and problems.
An introduction to effective fractal dimension by Benjamin Koch
Today’s theory seminar will be given by Benjamin Koch, who will give as an introduction to effective fractal dimension. Abstract:
Theory Seminar Series
The theory seminar tomorrow will be given by Eike on “Robust Decidability of Escape Problems for General Non-Linear Systems.”
Talk on Assuring non-functional requirements
This summer & autumn, our department is hosting Prof Magne Haveraaen (University Bergen, Norway)
As part of his involvement in ∆QSD group, he is organising a seminar talk:
Research visit
Thomas Powell and Davide Barbarossa (Bath University) are visiting Swansea this week. This afternoon Thomas will give a talk on the “Rates of convergence for stochastic processes” as a part of our seminar series.
Eike was invited to give a talk in Kochel
We are glad to inform that Eike Neumann was invited to talk at the Seminar on Computable Topology, which will take place in Kochel, Germany on 13-15 September.
CCA 2024
CCA is coming to Swansea next week and we are very excited! More details and the programme are available at http://cca-net.de/cca2024/.
Welcome
We welcome our new PhD students Marek Jezinski and Samarthya Patel to the group!
Congratulations
Congratulations to our research students:
GoSCAI 2024
Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the GoSCAI workshop and discussion of research opportunities with Grenoble.
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.
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:
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.
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.
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:
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:
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.
Upcoming invited talks from our group members
Monika Seisenberger has been invited to give a talk at a joint event of the BCTCS 2024 and Southern Logic Seminar in Bath in April 2024. More information about BCTCS 2024 can be found here.Arno Pauly will give an invited talk at the Leeds Computability Days in July.Manlio Valenti will give an invited talk at the AMS-UMI International joint meeting (Palermo, July) and at the joint meeting of the New Zealand, Australian and American mathematical societies (Auckland, December).
New Publications
Manlio Valenti, together with his collaborators David Reed Solomon and Damir Dzhafarov, submitted the paper “The tree pigeonhole principle in the Weihrauch degrees”: https://meetings.ams.org/math/jmm2024/meetingapp.cgi/Paper/29664
David Trotta visiting Swansea
We are thrilled to extend a warm welcome to Davide Trotta, a postdoctoral researcher at the Department of Computer Science at the University of Pisa in Italy. Davide brings his knowledge and expertise to our community, and we are excited to have him as a guest speaker in our upcoming seminar series, which will take place on Monday, 4 December in our Theory Lab. Title: Categorifying computable reducibilitiesAbstract: One of the most relevant notions of categorical logic which enabled the study of logic from a purely algebraic perspective is the notion of a (hyper)doctrine, introduced in a series of seminal papers by F.W. Lawvere to synthesize the structural properties of logical systems. In this talk, I will introduce this categorical approach to logic and explain how various notions well-known in computability can be framed within this categorical framework.In particular, I will present categorical formulations in terms of Lawvere doctrines for the Medvedev, Muchnik, and Weihrauch reducibilities.Finally, I will discuss some universal properties of such doctrines, showing how this study enables us to identify, from an abstract perspective, the common features of these notions of reducibility.This talk is based on joint work with Manlio Valenti and Valeria de Paiva.
CCA 2024
Computability and Complexity Analysis conference is coming to Swansea next year. It will take place in Computational Foundry on 11-14 July.
Giovanni Solda visiting Swansea
Next week Giovanni Solda is visiting us from Ghent. He will give a talk on “A combinatorial principle weak over weak systems yet strong over strong systems”.
Theory Blog is Back!
Welcome to Swansea University Theory Group’s new blog. Follow us for updates!