Date: Wed. November 22, 2023 Event: FAU MoD Lecture Series (Special double session. November 2023) Organized by: FAU MoD, the FAU Research Center for Mathematics of Data at Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany) First session: 13:45H FAU MoD Lecture: Prospects of formalized mathematics Speaker: Prof. Dr. Michael Kohlhase Affiliation: Friedrich-Alexander-Universität Erlangen-Nürnberg. Carnegie […]
Daily Archives: November 21, 2023
1 post