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:
https://sites.google.com/view/tdphima3/registration
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:
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 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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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