Past events
-
Logic seminar: David Meretzky
14:00 - 15:00 7 May 2025
Title: Differential Galois theory with new algebraic constants. Abstract: A well-known counterexample due to Seidenberg shows that Picard-Vessiot extensions need not exist for arbitrary ordinary homogeneous linear differential equations over arbitrary differential fields. A positive result from Kolchin's...
Read more
-
Algebra seminar - Jan Grabowski
13:00 - 14:00 6 May 2025
Title: Categorifying and quantizing cluster ensembles Abstract: Cluster ensembles were introduced by Fock and Goncharov to encode seed data for cluster algebras in terms of certain lattices, enabling the definition of cluster varieties by gluing the associated tori. We will explain joint work with Pressland...
Read more
-
Prof Alejandro Frangi -- Maths in the Life Sciences Seminar [IN PERSON]
13:00 - 14:00 6 May 2025
Join us for this seminar by Prof Alejandro Frangi (Manchester) as part of the North West Seminar Series in Mathematical Biology and Data Sciences. More details about the joint series can be found here https://northwestseminars.great-site.net/ . The talk will be hosted in person in room 2.61 of the...
Read more
-
Manchester Number Theory Seminar - Yichen You
14:00 - 15:00 6 May 2025
Speaker: Yichen You (Durham) Title: TBA Abstract: TBA Room: Frank Adams 1
Read more
-
Logic seminar: Andrew Pitts
14:00 - 15:00 30 April 2025
Title: Heyting Algebras and Higher-Order Logic Abstract: Every logical theory gives rise to a Lindenbaum-Tarski algebra of truth values, whose underlying set is the theory's sentences quotiented by provability in the theory. For theories in classical first-order logic, the algebras that arise are exactly...
Read more