Scientific Calendar Event
GO TO SCIENTIFIC CALENDAR



  • Europe/Rome
  • English
  • Administration

Search

Search in Conferences:

Support

Home > Author Index

Author List

Displaying 29 authors out of 29
ALBAN QUADRAT (INRIA, APICS Project, Sophia Antipolis, France)
New perspectives in algebraic systems theory
ANDREJ BAUER (FMF, Ljubljana)
Efficient computation with Dedekind reals (joint work with Paul Taylor)
BAS SPITTERS (Foundations of Mathematics and Computer Science, Nijmegen, Netherland)
A computer verified, monadic, functional implementation of the integral. (joint work with Russell O'Connor)
CHUNMING YUAN (Academy of Mathematics and Systems Science, Beijing, P.R. of China)
A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
DOUGLAS S. BRIDGES (University of Canterbury, Christchurch, New Zealand)
Constructive analysis
Constructive analysis
Constructive analysis
Constructive analysis
ERIK PALMGREN (University of Uppsala, Uppsala, Sweden)
Point free topology
Point free topology
Point free topology
Point free topology
FRANCIS SERGERAERT (Institut Fourier, St Martin d 'Hères, France)
Introduction to combinatorial homotopy
Introduction to combinatorial homotopy
Introduction to combinatorial homotopy
Introduction to combinatorial homotopy
Effective Constructive Algebraic Topology
FREEK WIEDIJK (Nijmegen, Holland)
Merging the procedural and declarative proof styles
GABRIELA JERONIMO (Universidad de Buenos Aires, Buenos Aires, Argentina)
On sign conditions over real multivariate polynomials
GERT-MARTIN GREUEL (University of Kaiserslautern, Kaiserslautern, Germany)
Algorithms and algebraic geometry
Algorithms and algebraic geometry
Algorithms and algebraic geometry
Algorithms and algebraic geometry
GIUSEPPE ROSOLINI (Università di Genova, Genova, Italy)
A constructive theory of classes and sets
GUILLERMO MATERA (Universidad Nacional de General Sarmiento, Buenos Aires, Argentina)
Fast computation of a rational point of a variety over a finite field
HELMUT SCHWICHTENBERG (Mathematisches Institut der Universitaet Munchen, Munchen, Germany)
Decorating proofs
HENRI LOMBARDI (Université de France-Comte, Besançon, France)
Constructive commutative algebra and families of algebraic identities
IHSEN YENGUI (Faculté des Sciences de Sfax, Sfax, Tunisia)
Constructive Algebra
Constructive Algebra
Constructive Algebra
Constructive Algebra
LIHONG ZHI (Academy of Mathematics and System Sciences, Beijing, P.R. of China)
Solving polynomial systems via symbolic-numeric elimination method
LÊ DUNG TRÁNG (ICTP, Trieste, Italy)
Opening Address
MANUEL KAUERS (Johannes Kepler University, Linz, Austria)
Walking in the Quarter Plane
MARIE-FRANÇOISE ROY (Université de Rennes, Rennes, France)
Certificates of positivity on a simplex in the multivariate Bernstein basis
MICAELA MAYERO (LIPN-UMR CNRS, Université Paris-Nord, Villetaneuse, France)
Certification of numerical analysis programs
MIRIAM ANDRÉS (Universidad de La Rioja, La Rioja, Spain)
Automated theorem proving in simplicial topology with ACL2
PETER PAULE (University of Linz, Hagenberg, Austria)
Lecture "A=B"
Lecture "A=B"
Lecture "A=B"
Lecture "A=B"
Lecture "A=B"
PETER SCHUSTER (Universitaet Muenchen, Muenchen, Germany)
Spectral Schemes as Ringed Lattices (joint work with Thierry Coquand and Henri Lombardi)
STEFAN STEIDEL (Technical University of Kaiserslautern, Germany)
Singular tutorial
Singular tutorial
Singular tutorial
Singular tutorial
TEO MORA (Università degli Studi di Genova, Genova, Italy)
Computational algebra
Computational algebra
Computational algebra
Computational algebra
THIERRY COQUAND (Chalmers University, Gothenberg, Sweden)
Constructive logic
Constructive logic
Constructive logic
Constructive logic
TORNIKE KADEISHVILI (A. Razmadze Mathematical Institute, Tbilisi, Georgia)
Operadic algebraic topology
Operadic algebraic topology
Operadic algebraic topology
Operadic algebraic topology
ULRICH BERGER (University of Wales Swansea, Swansea, UK)
A coinductive approach to digital computation
ULRICH KOHLENBACH (Technishche Universitaet Darmstadt, Darmstadt, Germany)
Proof interpretations, "Hard Analysis" and Ergodic theory

Organizers

Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche