Scientific Calendar Event
GO TO SCIENTIFIC CALENDAR



  • Europe/Rome
  • English
  • Administration

Search

Search in Conferences:

Support

Home > Contribution List

Contribution List

Displaying 62 contributions out of 62
Session: A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
Session: A coinductive approach to digital computation
Session: A computer verified, monadic, functional implementation of the integral. (joint work with Russell O'Connor)
Session: A constructive theory of classes and sets
Session: Algorithms and algebraic geometry
Session: Algorithms and algebraic geometry
Session: Algorithms and algebraic geometry
Session: Algorithms and algebraic geometry
Session: Automated theorem proving in simplicial topology with ACL2
Session: Certificates of positivity on a simplex in the multivariate Bernstein basis
Session: Certification of numerical analysis programs
Session: Computational algebra
Session: Computational algebra
Session: Computational algebra
Session: Computational algebra
Session: Constructive Algebra
Session: Constructive Algebra
Session: Constructive Algebra
Session: Constructive Algebra
Session: Constructive analysis
Session: Constructive analysis
Session: Constructive analysis
Session: Constructive analysis
Session: Constructive commutative algebra and families of algebraic identities
Session: Constructive logic
Session: Constructive logic
Session: Constructive logic
Session: Constructive logic
Session: Decorating proofs
Session: Effective Constructive Algebraic Topology
Session: Efficient computation with Dedekind reals (joint work with Paul Taylor)
Session: Fast computation of a rational point of a variety over a finite field
Session: Introduction to combinatorial homotopy
Session: Introduction to combinatorial homotopy
Session: Introduction to combinatorial homotopy
Session: Introduction to combinatorial homotopy
Session: Lecture "A=B"
Session: Lecture "A=B"
Session: Lecture "A=B"
Session: Lecture "A=B"
Session: Lecture "A=B"
Session: Merging the procedural and declarative proof styles
Session: New perspectives in algebraic systems theory
Session: On sign conditions over real multivariate polynomials
Session: Opening Address
Session: Operadic algebraic topology
Session: Operadic algebraic topology
Session: Operadic algebraic topology
Session: Operadic algebraic topology
Session: Point free topology
Session: Point free topology
Session: Point free topology
Session: Point free topology
Session: Proof interpretations, "Hard Analysis" and Ergodic theory
Session: Singular tutorial
Session: Singular tutorial
Session: Singular tutorial
Session: Singular tutorial
Session: Solving polynomial systems via symbolic-numeric elimination method
Session: Spectral Schemes as Ringed Lattices (joint work with Thierry Coquand and Henri Lombardi)
Session: Walking in the Quarter Plane
Session: Welcome address

Organizers

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