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
)