Model-Theoretic Algebra and Algebraic Models of Computation

Workshop, Edinburgh, 4-15 September 2000

Draft Timetable

Monday 4th September

1000 - 1100 David Marker Model theory of fields

1130 - 1230 Pascal Koiran Circuits versus trees in algebraic complexity

1400 - 1500 Christian Michaux Grzegorczyk's hierarchy in the BSS framework

Tuesday 5th September

1000 - 1100 Olivier Chapuis

1130 - 1230 Bruno Poizat

1430 - 1530 Stephen Smale On the mathematical foundations of learning theory

1600 - 1700 Alexandre Borovik

Wednesday 6th September

1000 - 1100 Michael Benedikt From embedded finite to embedded definable model theory

1130 - 1230 Lenore Blum

1430 - 1530 Hervé Fournier

Thursday 7th September

1000 - 1100 Janos Makowsky The complexity of graph polynomials in the BSS model of computation

1130 - 1230 Klaus Meer

1430 - 1530 Jan Krajiceck Model theory and proof complexity

1600 - 1700 Carlo Toffalori On the model theory of modules over group rings

Friday 8th September

1000 - 1100 Dan Richardson The uniformity conjecture
(A relation between syntactic size of definition and smallness of non-zero real or complex number defined)

1130 - 1230 Maurice Rojas Descartes' rule for trinominals in the plane and beyond

1430 - 1530 John Shackell Computing limits of Pfaffian functions

1600 - 1700 J V Tucker Models of computation on universal algebras

Monday 11th September

1000 - 1100 Dimitri Grigoriev

1130 - 1230 Aleksandre Chistov Efficient smooth stratification of algebraic varieties in zero-characteristic

1430 - 1530 Nicolai Vorobjov Upper bounds for sub-Pfaffian sets

Tuesday 12th September

1000 - 1100 Felipe Cucker

1130 - 1230 Mihai Prunescu Non-effective quantifier elimination

1430 - 1530 Natacha Portier Back-and-forth systems for generic curves and a decision algorithm for the limit theory

Wednesday 13th September

1000 - 1100 Peter Bürgisser

1130 - 1230 Angus Macintyre

1430 - 1530 Max Dickmann

1600 - 1700 Alejandro Petrovich

Thursday 14 September

1000 - 1100 Marek Karpinski

1130 - 1200 t.b.a.

1200 Lunch