Fachbereich
Mathematik und Statistik
Universität
Konstanz
  Logo der Universität Konstanz
Schwerpunkt Reelle Geometrie und Algebra > Unterrichtstreffen Konstanz-Passau-Regensburg

Erstes Unterrichtstreffen Konstanz-Passau-Regensburg

Samstag und Sonntag, den 17. und 18. Dezember 2005, in Konstanz.

Organized by Doris Rotheigner and Marcus Tressl (Regensburg).

Sponsored by DFG.

Gruppenfoto

Teilnehmer:
  1. Vincent Astier, University of Nottingham
  2. Doris Augustin, Universität Regensburg
  3. Karim Becher, Universität Konstanz
  4. Sabine Burgdorf, Universität Konstanz
  5. Jose Capco, Universität Passau
  6. David Grimm, Universität Konstanz
  7. Thomas Güldenberg, Universität Regensburg
  8. Ulf Friedrichsdorf, Universität Konstanz
  9. Tobias Kaiser, Universität Regensburg
  10. Igor Klep, Univerza v Ljubljani
  11. Manfred Knebusch, Universität Regensburg
  12. Richard Leroy, Université de Rennes 1
  13. Timothy Mellor, Universität Regensburg
  14. Tim Netzer, Universität Konstanz
  15. Ruben Pallesche, Universität Konstanz
  16. Alexander Prestel, Universität Konstanz
  17. Claus Scheiderer, Universität Konstanz
  18. Niels Schwartz, Universität Passau
  19. Markus Schweighofer, Universität Konstanz
  20. Tamara Servi, Universität Regensburg
  21. Marcus Tressl, Universität Passau
  22. Sven Wagner, Universität Konstanz
  23. Digen Zhang, Universität Regensburg

Schedule

Saturday

09:30-10:20 Timothy Mellor (Regensburg)
Introduction to model theory and definition of o-minimality, a comparison with semi-algebraic sets
10:45-11:35 Tobias Kaiser (Regensburg)
First applications of the axioms of o-minimality
12:00-12:50 Doris Augustin, née Rotheigner (Regensburg)
Introduction to the real spectrum and application to positivity
14:30-15:20 Igor Klep (Ljubljana)
Schmüdgen's Positivstellensatz - the original way
15:45-16:35 Vincent Astier (Nottingham)
Algebraic methods in o-minimal structures
17:00-17:50 Tamara Servi (Regensburg)
Algorithms for finding the roots of exponential polynomials and other decision problems

Sunday

10:00-10:50 Richard Leroy (Rennes)
Sums of squares and optimization
11:15-12:05 Tim Netzer (Konstanz)
Moment problem and approximation of nonnegative polynomials