logo

Model-Theoretic Algebra and Algebraic Models of Computation

Workshop, Edinburgh, 4-15 September 2000

Workshop Arrangements | Timetable |Participants list | Home Page

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

Updated 28 August 2000
Back to ICMS Website