Logic Seminar

The logic seminar is given by invited speakers from across the UK and abroad who present recent research in the field. It is organised by Prof Jochen Koenigsmann. The talks are usually on Thursdays at 5:30pm in L6. Sometimes the logic and number theory groups hold a joint seminar.

Alexander Ivanov

We study continuous theories of classes of finite dimensional Hilbert spaces expanded by 
a finite family (of a fixed size) of unitary operators. 
Infinite dimensional models of these theories are called pseudo finite dimensional dynamical Hilbert spaces. 
Our main results connect decidability questions of these theories with the topic of approximations of groups by metric groups. 

In recent times, there have been more collaborative efforts between the logic group and the ComLab, both in terms of research and holding seminars. In particular, the OASIS seminar is host to speakers that both model-theorists and those working in the ComLab find interesting.

Advanced Logic Class

The advanced logic class is usually held on Thursdays at 11am in C5. It typically provides a forum for current PhD students and postdocs to present work in progress, or to work through important papers and digest recent advances in the subject. Prof Boris Zilber is in charge of these classes.

There are no seminars currently scheduled for this series.

Junior Logic Seminar

These seminars are highly informal and are given by graduate students in the logic group to each other (though all are welcome). The current organiser is Alfons Ruiz Guido. The seminars this term are at 5pm on Mondays in L3.