skip to content
 

This Week's Seminars

Unable to attend an INI seminar?
Most seminars are streamed live as well as being archived for later viewing.

Watch online Search archive

Event Day Time Speaker Title
CGP Tuesday 1st 11:00 to 12:00 M Winter Existence and Stability of Spike Clusters for Reaction-Diffusion Systems
HIF Tuesday 1st 13:00 to 17:30 HIFW04
HIFW04 Tuesday 1st 13:00 to 14:00 R Bello Aguirre A look into generalised stability
HIFW04 Tuesday 1st 14:00 to 15:00 O Akcelik In Pursuit of the Missing Premise in First Order Logic
HIFW04 Tuesday 1st 15:30 to 16:30 E Dihoum Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$
HIFW04 Tuesday 1st 16:30 to 17:30 D Siniora Generic Automorphisms of a Hrushovski construction
HIFW04 Wednesday 2nd 10:00 to 11:00 E Garcia Ramirez An application of Model Theory to Real Algebraic Geometry
HIFW04 Wednesday 2nd 11:30 to 12:30 J Hedges Applying constructive analysis and topology in game theory
HIFW04 Wednesday 2nd 13:30 to 14:40 A Blass Weak Partition Relations and Conservative Elementary Extensions
HIFW04 Wednesday 2nd 14:40 to 15:10 A Brooke-Taylor AEC tameness from large cardinals via category theory
HIFW04 Wednesday 2nd 14:40 to 15:10 E Rivello Self-determined sets of sentences
HIFW04 Wednesday 2nd 15:10 to 15:40 A Cevik A variant of $\Pi^0_1$ class
HIFW04 Wednesday 2nd 15:10 to 15:40 S Uckelman Where are the women in medieval logic?
HIFW04 Wednesday 2nd 16:00 to 17:00 A Kurucz Many-dimensional Modal Logics
HIFW04 Thursday 3rd 09:00 to 10:00 A Kechris Descriptive Graph Combinatorics
HIFW04 Thursday 3rd 10:00 to 11:00 M Sadrzadeh A Multilinear Algebraic Semantics for Natural Language
CGP Thursday 3rd 11:00 to 12:00 T Sekimura A model for selection of eyespots on butterfly wings
HIFW04 Thursday 3rd 11:20 to 12:20 A Pauly Descriptive set theory, endofunctors & hypercomputation
HIFW04 Thursday 3rd 13:30 to 14:30 I Pratt-Hartman Extending the Syllogistic
HIFW04 Thursday 3rd 14:40 to 15:10 R Bruni On a Generalization of the Revision-theoretic Approach to Strategic Rationality
HIFW04 Thursday 3rd 15:10 to 15:40 D Hughes First-order Proofs Without Syntax
HIFW04 Thursday 3rd 15:10 to 15:40 T Weinert Partition Relation for linear Orders without the Axiom of Choice
HIFW04 Thursday 3rd 15:40 to 16:00 Coffee Break
HIFW04 Thursday 3rd 16:00 to 17:00 V Gitman Ehrenfeucht Principles in Set Theory
HIFW04 Friday 4th 09:00 to 10:00 A Pitts Local Names
HIFW04 Friday 4th 10:10 to 10:40 P Ehrlich Integration on the Surreals
HIFW04 Friday 4th 10:10 to 10:40 R Lubarsky Feedback Computability
HIFW04 Friday 4th 10:40 to 11:10 L Chew QBF proof complexity
HIFW04 Friday 4th 10:40 to 11:10 J Gay Computably extendible order types
HIFW04 Friday 4th 11:30 to 12:30 I Neeman Forcing with large continuum
HIFW04 Friday 4th 13:30 to 14:30 J Kirby Constructing Quasiminimal Functions
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons