Newer
Older
---
layout: post
author: mkohlhase
title: "Special Trimester on \"Prospects of Formalized Mathematics\" at the Hausdorff Institute of Mathematics in Bonn"
tags:
- Announcements
---
The [Hausdorff Institute of Mathematics](https://www.him.uni-bonn.de/) will offer a
Special [Trimester on "Prospects of Formalized Mathematics"](https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/description/) May-August 2024.
[Prof. Kohlhase](https://kwarc.info/kohlhase) coordinates the organization.