CIRCA Seminar 10th October
There will be a CIRCA lunchtime seminar on Thursday 10th October at 1pm in Physics Lecture Theatre C.
András Salamon and Peiran Wu will speak.
András’ Title: A new time hierarchy theorem
András’ Abstract: With Michael Wehar I have recently improved a result of Fortnow and Santhanam 2016, showing that when the amount of time allowed for a computation is increased more than logarithmically then new languages can be decided. Also extending the classical deterministic time hierarchy theorem (Hartmanis and Stearns 1965), such languages exist even in the presence of at most linearly many bits of nondeterminism. I will present the new difference gadget and contrast it with previous gadgets.
Peiran’s Title: Irredundant bases for primitive wreath products
Details on University Events as follows:-
Centre for Interdisciplinary Research in Computational Algebra (CIRCA) lunchtime seminar | Events