Skip to content
Snippets Groups Projects
Normal view Permalink
2022-10-24-dagstuhl.md 333 B
Newer Older
  • Learn to ignore specific revisions
    • Florian Rabe's avatar
    no message
    Florian Rabe committed
    1 2 3 4 5 6 7 8 
    ---
layout: post
author: frabe
title: "Automated mathematics: integrating proofs, algorithms and data"
tags:
  - Announcements
---
[Florian Rabe](https://kwarc.info/people/frabe/) will co-organize a [Dagstuhl Seminar](https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/23401) on automated mathematics in October 2023.