We are at the 41st British Colloquium for Theoretical Computer Science at Strathclyde University (Glasgow)

BCTCS 2025 at Strathclyde University, Glasgow

Marek Jezinski, Alec Critten, Harry Bryant and Olga Petrovska are currently attending the 41st British Colloquium for Theoretical Computer Science at Strathclyde University, Glasgow.

Marek gave a talk on "Creating Synthetic Test Data for Rail Design Tools", Alec gave a talk on "Developing user propagators for graph-based SMT reasoning", and Harry gave a talk on "Proof Checking for SMT-solving and its application in the Railway Domain."

Olga, who is also BCTCS' Treasurer, will contribute to the education session with her talk on "The Art of Teaching Theory Across Diverse Backgrounds."

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

 

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

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:

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

 

CCA 2024

Computability and Complexity Analysis conference is coming to Swansea next year. It will take place in Computational Foundry on 11-14 July. 

Watch this space for more updates.