CfR: TDPhiMa 3: Philosophical and Linguistic Approaches to Computational Mathematics (Universität Duisburg-Essen & Zoom, September 7-8, 2022)

Submitted by Deniz Sarikaya (CLPS, Vrije Universiteit Brussels).


TDPhiMa 3: Philosophical and Linguistic Approaches to Computational Mathematics
September 7 & 8, 2022
Essen, Germany & Online (Zoom), but the main part is offline.

= Call for registration:
Registration is free of charge and everybody is welcome to attend.
However, physical participation slots are limited and will be organized by a first come first served. To register, please visit:
Registration for physical participation is open till August 26, 2022.
Registration for online participation stays open till September 5.

== Speakers:
– Thorsten Altenkirch, University of Nottingham
– Marcos Cramer, Technische Universität Dresden
– Bernhard Fisseni, Universität Duisburg-Essen
– Juan Luis Gastaldi, ETH Zurich
– Mikkel Willum Johansen, Københavns Universitet
– Hinrich Lorenzen, Europa-Universität Flensburg
– Deniz Sarikaya, CLPS, Vrije Universiteit Brussels
– Michael Schmitz, Europa-Universität Flensburg
– Bernhard Schröder, Universität Duisburg-Essen
– Henrik Kragh Sørensen, Københavns Universitet More TBA

== Topic:
TDPhiMa is a conference series that looks at mathematical texts from a philosophical and linguistic perspective. Text is a crucial medium for the dissemination of mathematical ideas, agendas, and results to the scientific community and educational contexts. This makes focusing on mathematical texts a natural and significant part of the philosophical study of mathematics. In addition, research on mathematical texts can benefit from the knowledge and methods of other disciplines such as linguistics and computer science to study problems in the philosophy of mathematics.
In the third iteration of TDPhiMa, we focus on the application of these methods within computational mathematics, including the context of automated theorem proving. Relevant topics include:
1. Big data approaches.
2. Input language for automated theorem provers 3. Language processing for evidence texts 4. Frame Semantics and other tools from classical AI.
5. Philosophical implications of the aforementioned topics

== Contact:
Mail: deniz.sarikaya (at) vub (.) be

== Support
We are thankful for the support by the Turing Center of ETH Zürich, the Universität Duisburg-Essen, the Marie Skłodowska-Curie Individual Fellowship, H2020-MSCA-IF-2018, the Deutsche Vereinigung für mathematische Logik und für Grundlagen der Exakten Wissenschaften.

== Organizers:
Bernhard Fisseni, Juan Luis Gastaldi, Deborah Kant, Deniz Sarikaya and Bernhard Schröder