Logic List Mailing Archive

TDPhiMa 3: Philosophical & Linguistic Approaches to Computational Mathematics, Essen (Germany) & Virtual, 7 & 8 Sep 2022

TDPhiMa 3: Philosophical and Linguistic Approaches to Computational Mathematics

September 7 & 8, 2022
Essen, Germany & Online (Zoom), but the main part is offline.  https://sites.google.com/view/tdphima3/startseite

= 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 Universitt Dresden
- Bernhard Fisseni, Universitt  Duisburg-Essen
- Juan Luis Gastaldi, ETH Zurich
- Mikkel Willum Johansen, Kbenhavns Universitet
- Hinrich Lorenzen, Europa-Universitt Flensburg
- Deniz Sarikaya, CLPS, Vrije Universiteit Brussels
- Michael Schmitz, Europa-Universitt Flensburg
- Bernhard Schrder, Universitt Duisburg-Essen
- Henrik Kragh Srensen, Kbenhavns 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:
Web: https://sites.google.com/view/tdphima3/startseite
Mail: deniz.sarikaya (at) vub (.) be

== Support
We are thankful for the support by the Turing Center of  ETH Zrich, the Universitt Duisburg-Essen, the Marie Skodowska-Curie Individual Fellowship, H2020-MSCA-IF-2018, the Deutsche Vereinigung fr mathematische Logik und fr Grundlagen der Exakten Wissenschaften.

== Organizers:
Bernhard Fisseni, Juan Luis Gastaldi, Deborah Kant, Deniz Sarikaya and Bernhard Schrder
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam