Skip to main content

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