Events of Research Area C3

Workshop: Mathematical Language and Practical Type Theory

Februar 01, 2020 - Februar 04, 2020

Kategorie: Research Area C3
(
Kalender: HCM
)

Ort: Lipschitz lecture hall, Mathematics Center, Endenicher Allee 60, 53115 Bonn
3rd Colloquium of Research Area C3

Januar 17, 2020 09:30 am - 12:00 pm

Kategorie: Research Area C3
(
Kalender: HCM
)
2nd Colloquium of Research Area C3

Mai 10, 2019 09:30 am - 12:00 pm

Kategorie: Research Area C3
(
Kalender: HCM
)
1st Colloquium of Research Area C3

Januar 18, 2019 03:45 pm - 06:15 pm

Kategorie: Research Area C3
(
Kalender: HCM
)