Past Logic Seminar

Fri, 05 Dec 2003
16:30

L3

Implicit proofs

Jan Krajicek

(Prague)

Fri, 05 Dec 2003
15:00

SR1

Algebraic independence of Weierstrass functions

Jonathan Kirby

Fri, 21 Nov 2003
16:30

L3

Asympotics of definable sets in finite structures

Dugald Macpherson

(Leeds)

Fri, 14 Nov 2003
16:30

L3

Structures for tame exponentiation

Boris Zilber

(Oxford)

Thu, 13 Nov 2003
11:00

L3

Advanced Logic Class

Fri, 07 Nov 2003
16:30

L3

Fusing o-minimal structures

Alex Wilkie

(Oxford)

Thu, 30 Oct 2003
11:00

L3

Logic Advanced Class

Fri, 17 Oct 2003
16:30

L3

Interpreting groups and fields in excellent classes

Olivier Lessman

(Oxford)

Fri, 10 Oct 2003
16:30

L3

On several applications of nonstandard mathematics

Ivan Fesenko

(Nottingham)