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

2022-02-10-HIM-trimester.md

Blame
  • 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.