• HCM
  • HIM
  • BIGS
  • HSM
  • About HCM
    • Organization
    • Participating Institutes
    • Felix Hausdorff
    • News
    • Contact
  • Opportunities
    • Hausdorff Chairs
    • Bonn Junior Fellows
    • Postdocs
    • PhD Students
  • Research
    • Research Program of the HCM
    • Research Areas
    • Interdisciplinary Research Units
  • People
    • Members of HCM
    • Associate Members of HCM
    • PhD Students
    • Current Visitors
    • Management
    • Administration & Support
  • Press
  • Events
    • Next Events
    • Scientific Events
    • Special Events
    • Public Events
 
  • HCM > 
  • Research > 
  • Research Areas > 
  • RA C3 > 
  • Events
Events
Events

Events of Research Area C3

  • Workshop: Mathematical Language and Practical Type Theory
    February 01, 2020 - February 04, 2020
    Category: Research Area C3
    (
    Calendar: HCM
    )
    Location:  Lipschitz lecture hall, Mathematics Center, Endenicher Allee 60, 53115 Bonn
  • 3rd Colloquium of Research Area C3
    January 17, 2020 09:30 am - 12:00 pm
    Category: Research Area C3
    (
    Calendar: HCM
    )
  • 2nd Colloquium of Research Area C3
    May 10, 2019 09:30 am - 12:00 pm
    Category: Research Area C3
    (
    Calendar: HCM
    )
  • 1st Colloquium of Research Area C3
    January 18, 2019 03:45 pm - 06:15 pm
    Category: Research Area C3
    (
    Calendar: HCM
    )
  • About HCM
  • Opportunities
  • Research
    • Research Program of the HCM
    • Research Areas
      • RA A1
      • RA A2
      • RA A3
      • RA B1
      • RA B2
      • RA B3
      • RA C1
      • RA C2
      • RA C3
        • Events
      • RA C4
      • IRU
    • Interdisciplinary Research Units
  • People
  • Press
  • Events
© 2020 Hausdorff Center for Mathematics
  • Edit profile|  
  • Members only|  
  • Sitemap|  
  • Kalender|  
  • Contact|  
  • Data Protection|  
  • Imprint