skip to content
 

Upcoming 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 When Speaker Title
HIFW04 2015-09-03 13:30 to 14:30 I Pratt-Hartman Extending the Syllogistic
HIFW04 2015-09-03 14:40 to 15:10 R Bruni On a Generalization of the Revision-theoretic Approach to Strategic Rationality
HIFW04 2015-09-03 15:10 to 15:40 D Hughes First-order Proofs Without Syntax
HIFW04 2015-09-03 15:10 to 15:40 T Weinert Partition Relation for linear Orders without the Axiom of Choice
HIFW04 2015-09-03 15:40 to 16:00 Coffee Break
HIFW04 2015-09-03 16:00 to 17:00 V Gitman Ehrenfeucht Principles in Set Theory
HIFW04 2015-09-04 09:00 to 10:00 A Pitts Local Names
HIFW04 2015-09-04 10:10 to 10:40 P Ehrlich Integration on the Surreals
HIFW04 2015-09-04 10:10 to 10:40 R Lubarsky Feedback Computability
HIFW04 2015-09-04 10:40 to 11:10 L Chew QBF proof complexity
HIFW04 2015-09-04 10:40 to 11:10 J Gay Computably extendible order types
HIFW04 2015-09-04 11:30 to 12:30 I Neeman Forcing with large continuum
HIFW04 2015-09-04 13:30 to 14:30 J Kirby Constructing Quasiminimal Functions
CGP 2015-09-08 11:00 to 12:30 C-N Chen Localized pulse solutions in FitzHugh-Nagumo equations
HIF 2015-09-08 15:00 to 16:00 T Inamdar Another proof of the failure of a higher forcing axiom
CGP 2015-09-10 11:00 to 12:30 K Deckelnick Minimising a relaxed Willmore functional for graphs subject to Dirichlet boundary conditions
HIF 2015-09-10 15:00 to 16:00 M Dzamonja On the width of wqos
CGPW02 2015-09-14 09:50 to 10:00 Overview
CGPW02 2015-09-14 10:00 to 11:00 Anne Ridley Cell motility and signalling to the cytoskeleton
CGPW02 2015-09-14 11:30 to 12:30 Rudolf Leube TBA
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons