Talks and Conferences space Dr. habil. Andreas Dolzmann
Home
CV
Lehre
Publications
Conferences
Software
Activities
Impressum
Talks
  • Tarskis Legacy - Application of Quantifier Elimination today
    Invited Talk at the University of Innsbruck
    Jan 17, 2007, Innsbruck, Austria
     
  • Elliptische Kurven und Kryptographie
    Kolloquiumsvortrag
    May 30, 2006, Passau, Germany
     
  • Integrated Quantifier Elimination
    Kolloquiumsvortrag
    Nov 15, 2005, Passau, Germany
     
  • Combined Quantifier Elimination
    Workshop Computer Algebra
    Aug 05, 2005, Tokyo, Japan
     
  • Efficient Projection Orders for CAD
    ISSAC 2005
    Jul 04 to 07, 2004, Santander, Spain
     
  • Applications of Quantifier Elimination and Variants
    IHP network RAAG
    Jun 13 to 15, 2002, Santander, Spain
     
  • Generalized Quantifier Elimination - A Universal Solver
    Jahrestreffen der GIBU
    Mar 24 to 27, 2002, Dagstuhl, Germany
     
  • Parametric Treatment of Generalized Constraint Systems
    Bayerisches Mathematisches Kolloquium
    Jun 14 to 16, 2001, Markt Thurnau, Germany
     
  • Algorithmic Strategies for Applicable Real Quantifier Elimination
    Kolloquium GI-Dissertationspreis
    May 21 to 22, 2001, Mainz, Germany
     
  • Local Quantifier Elimination
    ISSAC 2000
    Aug 06 to 09, 2000, St Andrews, Fife, Scotland
     
  • P-adic Constraint Solving
    ISSAC 99
    Jul 28 to 31, 1999, Vancouver (BC), Canada
     
  • REDLOG: Computer Algebra Meets Computer Logic
    ICM 98
    (Session on mathematical software in the section of special activities)
    Aug 18 to 21, 1998, Berlin, Germany
     
  • Approaches to Parallel Quantifier Elimination
    ISSAC 98
    Aug 13 to 15, 1998, Rostock, Germany
     
  • Solving Geometric Problems with Real Quantifier Elimination
    ADG 98
    Aug 01 to 03, 1998, Beijing, China
     
  • Solving Scheduling Problems with Quantifier Elimination
    RIMS workshop Researches for Algorithms on Computer Algebra
    Jul 29 to 30, 1998, Kyoto University, Kyoto, Japan
     
  • Optimized Quantifier Elimination for Solving Scheduling Problems
    Visit on the Fujitsu High Performance Computing Research Center
    Jul 24 to 28, 1998, Kawasaki, Japan
     
  • Solving Scheduling Problems with REDLOG
    Rhine Workshop on Computer Algebra 1998
    Mar 31 to Apr 04, 1998, GMD, Bonn, Germany
     
  • Guarded Expressions in Practice
    ISSAC 1997
    21-23 Jul 1997, Maui (HI), USA
     
  • Solving Problems with REDLOG - The Real Enneper Surface
    Dagstuhl-Seminar 9722 on Computational Aspects of Commutative Algebra and Algebraic Geometry
    Jun 26 to 30, 1997, Dagstuhl, Germany
     
  • REDLOG: Computer Algebra meets Computer Logic
    Dagstuhl-Seminar 9606 on Computer Algebra Software
    Feb 05 to 09, 1996, Dagstuhl, Germany
     
  • Simplification of Boolean Combinations of Polynomial Equations
    Dagstuhl conference on Gröbner bases and related topics
    Jan 10 to 14, 1994, Dagstuhl, Germany
     
Conference Participations
  • ACA 2005
    Jul 31 to Aug 03, 2005, Nara, Japan
     
  • A3L 2005
    Apr 03 to 06, 2005, Passau, Germany
     
  • CASC 2003
    Sep 20 to 26, 2003, Passau, Germany
     
  • Summer school on real algebraic geometry
    Oct 06 to 10, 1997, Institute of Mathematics Universität Potsdam, Postdam, Germany
     
  • 2nd IMACS ACA
    Jul 17 to 20, 1996, RISC, Linz, Austria
     
  • Invitation to the Dagstuhl-Seminar 9545 on Real Computation and Complexity
    Nov 06 to 10, 1995, Dagstuhl, Germany
     
  • RESMOD School on Model Theory and Real Algebraic Geometry
    Jun 28 to Jul 01, 1995, Colegio Universitario de Segovia, Segovia, Spain
     
  • Symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition
    Oct 06 to 08, 1993, RISC, Linz, Austria
     
(c) A. Dolzmann Changed 2009-04-01 HTML 4.01 Tr. Impressum