Seminars
Seminars from previous years: 2023/24 2022/23 2021/22 2020/21 2019/20 2018/19 2017/18 2016/17 2015/16 2014/15 2013/14 2012/13 2011/12 2010/11
ACiD Seminars 2024/25.
Tues 8th October 2024 13:00 MCS 3052 and online | ACiD Meeting! |
Tues 15th October 2024 13:00 MCS 3052 and online | |
Tues 22nd October 2024 13:00 MCS 3052 and online | Danny Vagnozzi (Durham) Algebraic aspects of graph isomorphism: the finite field approach In a paper by Berkholz and Grohe (2015), a series of hierarchies of isomorphism invariant equivalence classes of graphs was introduced; namely the polynomial calculus (PC), the monomial calculus (MC), and the Nullstellensatz calculus (NC). Though these have been formulated in the language of proof systems with algebraic rules, they can be seen as a geometric interpretation of the well-studied Sherali-Adams hierarchies which naturally extend to the realm of finite fields. The authors conjectured that for any fixed field, these hierarchies are all equivalent; namely, each level can be simulated by a fixed level of some other hierarchy. We prove this claim for fields of characteristic 0. For fields of positive characteristic, we only prove the equivalence between the MC and NC hierarchies. |
Tues 29th October 2024 13:00 MCS 3052 and online | Kristina Asimi (Durham) |
Tues 5th November 2024 13:00 MCS 3052 and online | Tala Eagling-Vose (Durham) |
Tues 12th November 2024 13:00 MCS 3052 and online | Benedikt Pago (Cambridge) |
Tues 19th November 2024 13:00 MCS 3052 and online | Felicia Lucke (Durham) |
Tues 26th November 2024 13:00 MCS 3052 and online | Giacomo Paesani (Sapienza, Rome) |
Tues 3rd December 2024 13:00 MCS 3052 and online | Erik Jan van Leeuwen (Utrecht) |
Tues 10th December 2024 13:00 MCS 3052 and online | No seminar (Thomas Erlebach inaugural lecture ~4pm) |
Tues 14th January 2025 13:00 MCS 3052 and online | |
Tues 21st January 2025 13:00 MCS 3052 and online | |
Tues 28th January 2025 13:00 MCS 3052 and online | |
Tues 4th February 2025 13:00 MCS 3052 and online | Sophie Huczynska (St. Andrews) |
Tues 11th February 2025 13:00 MCS 3052 and online | |
Tues 18th February 2025 13:00 MCS 3052 and online | Jorik Jooken (KU Leuwen) |
Tues 25th February 2025 13:00 MCS 3052 and online | |
Tues 4th March 2025 13:00 MCS 3052 and online | |
Tues 11th March 2025 13:00 MCS 3052 and online | |
Tues 18th March 2025 13:00 MCS 3052 and online |