• HCM
  • HIM
  • BIGS
  • HSM
  • About HIM
    • History of HIM
    • Management
    • Administration & Support
    • Contact
  • Proposals
    • Call for Proposals
    • FAQs Proposals
  • Programs
    • Current Trimester Program
    • Future Programs
    • Past Programs
  • Service
    • General Support
    • Financial Support
    • Preprints and Publications
    • Accommodation
    • Technical Support
    • Work Environment
    • FAQ
    • Bicycles
  • Events
    • Scientific Events
    • Special Events
    • Mathematischer Salon
    • Public talks by HIM guest researchers
    • Event Archive
 
  • HIM > 
  • Programs > 
  • Past Programs > 
  • Past Trimester Programs > 
  • Types, Sets and Constructions > 
  • Poster
Poster
Poster
  • Types, Sets and Constructions
  • Poster
    • Description
    • Participants
    • Summer School
    • Workshop: Types, Homotopy Type theory, and Verification
    • Workshop: Proofs and Computation
    • Workshop: Proof, Computation, Complexity
    • Workshop: Constructive Mathematics
    • Trimester Seminar
    • Poster
    • Repository
    • Publications & Preprints
    • Final Report
    • Getting to HIM

Poster

Download:

TrimPro_A2-m.pdf

  • About HIM
  • Proposals
  • Programs
    • Current Trimester Program
    • Future Programs
    • Past Programs
      • Past Trimester Programs
        • Spectral Methods in Algebra, Geometry, and Topology
        • Interactions between Geometric measure theory, Singular integrals, and PDE
        • Discrete Optimization
        • Harmonic Analysis and Analytic Number Theory
        • The Interplay between High-Dimensional Geometry and Probability
        • Dynamics: Topology and Numbers
        • Evolution of Interfaces
        • Logic and Algorithms in Group Theory
        • Types, Sets and Constructions
          • Description
          • Participants
          • Summer School
          • Workshop: Types, Homotopy Type theory, and Verification
          • Workshop: Proofs and Computation
          • Workshop: Proof, Computation, Complexity
          • Workshop: Constructive Mathematics
          • Trimester Seminar
          • Poster
          • Repository
          • Publications & Preprints
          • Final Report
          • Getting to HIM
        • Periods in Number Theory, Algebraic Geometry and Physics
        • Applied and Computational Algebraic Topology
        • K-Theory and Related Fields
        • Multiscale Problems
        • Von Neumann Algebras
        • Mathematics of Signal Processing
        • Combinatorial Optimization
        • Homotopy theory, manifolds, and field theories
        • Non-commutative Geometry and its Applications
        • Harmonic Analysis and Partial Differential Equations
        • Stochastic Dynamics in Economics and Finance
        • Arithmetic and Geometry
        • Mathematical challenges of materials science and condensed matter physics
        • Integrability in Geometry and Mathematical Physics
        • Analysis and Numerics for High Dimensional Problems
        • On the Interaction of Representation Theory with Geometry and Combinatorics
        • Geometry and Dynamics of Teichmüller Spaces
        • Rigidity
        • Mechanism Design and Related Topics
        • Diophantine Equations
        • Geometry and Physics
        • Complex Stochastic Systems: Discrete vs. Continuous
        • Representation Theory, Complex Analysis and Integral Geometry
      • Past Junior Trimester Programs
      • Past Research in Groups
  • Service
  • Events
© 2021 Hausdorff Center for Mathematics
  • Members only|  
  • Sitemap|  
  • Contact|  
  • Data Protection|  
  • Imprint