Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results
Blame Permalink
2022-02-10-HIM-trimester.md 547 B 
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 will offer a Special Trimester on "Prospects of Formalized Mathematics" May-August 2024. Prof. Kohlhase coordinates the organization.