We are happy to announce that BCTCS is coming back to Swansea next year. More details to follow.
Arved will give a talk on Propagator Networks for Unification and Proof Search on Monday (29.03) and Jay will present his research on Trustable Machine Learning Systems on Tuesday (30.03).
Our PhD student, Tonicha Crook, is giving a talk at UW-Madison logic seminar today at 3pm.
The Weihrauch Degree of Finding Nash Equilibria in Multiplayer Games
Is there an algorithm that takes a game in normal form as input, and outputs a Nash equilibrium? If the payoffs are integers, the answer is yes, and a lot of work has been done in its computational complexity. If the payoffs are permitted to be real numbers, the answer is no, for continuity reasons. It is worthwhile to investigate the precise degree of non-computability (the Weihrauch degree), since knowing the degree entails what other approaches are available (eg, is there a randomized algorithm with positive success change?). The two player case has already been fully classified, but the multiplayer case remains open and is addressed here. As well as some insight into finding the roots of polynomials, which is essential in our research. An in-depth introduction to Weihrauch Reducibility will be included in the presentation, along with a small introduction to Game Theory.
This week (9.09-11.09) the Seventeenth International Conference on Computability and Complexity in Analysis (CCA) is taking place virtually via Microsoft Teams (originally planned for Bologna, Italy).
Arno Pauly is among the invited speakers. He will give a talk on Weinrauch complexity this Friday.
A number of Swansea theory group members are attending the CCC 2020 (Continuity, Computability, Constructivity – From Logic to Algorithms) conference, taking place from 31 August to 4 September via Zoom. Their work will be presented in the following talks:
- Ulrich Berger, Andrew Lawrence and Monika Seisenberger Towards the extraction of clause learning
- Tonicha Crook and Arno Pauly Finding Roots of Polynomials
- Arno Pauly On the non-existence of some universal spaces
CCC conference series are linked to the CID project that Swansea University actively participates in the recent years. This year the conference features talks by a number of invited speakers:
Continuing the strong connections between the Swansea Theoretical Computer Science group and the Association Computability in Europe, Arno Pauly just joined the executive committee of the association. Arnold Beckmann is also involved in the CiE governance, serving on its council.
Our PhD student Tonicha Crook attended her first CIE conference and gave an interesting talk on The Weihrauch degree of finding Nash Equilibria in multiplayer games.
First CiE conference this year was great and full of interesting talks! Happy to have been part of the informal presentations. Hopefully next year I can meet everyone in person @AssociationCiE @AimlaCcommunity pic.twitter.com/CboAATtgYh
— Tonicha Crook (@TonichaCrook) July 2, 2020
In spite of the COVID-19 outbreak, we are glad to host BCTCS 2020 starting today, even if virtually. For more information on invited and contributed talks, check the official BCTCS 2020 website.
Today Swansea is hosting the first virtual WADT, and you are gently invited to participate.
The virtual WADT is part of the 25th International Workshop on Algebraic Development Techniques 2020, which hopefully will still happen as a physical meeting in autumn this year. The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).
The workshop takes place under the auspices of IFIP WG 1.3.
Please see below for the programme.