News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 7 - 8 September 2022
Location: Essen (Germany) & Virtual

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.

Please note that this newsitem has been archived, and may contain outdated information or links.