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.
Roelcke precompact groups are exactly the topological groups that can be realized as automorphism groups of omega-categorical structures (in continuous logic). In this talk, I will discuss a model-theoretic framework for the study of those groups and their dynamical systems as well as two concrete applications. The talk is based on joint work with Itaï Ben Yaacov and Tomás Ibarlucía.
- Logic Seminar
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.
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.