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

Happy New Year!