BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13848/7-
--8-September-2022-Philosophical-Linguistic-Approa
ches-to-Computational-Mathematics-TDPhiMa-3-Essen-
Germany-Virtual
DTSTAMP:20220905T142525
SUMMARY:Philosophical & Linguistic Approaches to
Computational Mathematics (TDPhiMa 3), Essen (Germ
any) & Virtual
DTSTART;VALUE=DATE:20220907
DTEND;VALUE=DATE:20220908
LOCATION:Essen (Germany) & Virtual
DESCRIPTION:TDPhiMa is a conference series that lo
oks at mathematical texts from a philosophical and
linguistic perspective. Text is a crucial medium
for the dissemination of mathematical ideas, agend
as, and results to the scientific community and ed
ucational contexts. This makes focusing on mathema
tical texts a natural and significant part of the
philosophical study of mathematics. In addition, r
esearch on mathematical texts can benefit from the
knowledge and methods of other disciplines such a
s linguistics and computer science to study proble
ms 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 provin
g. Relevant topics include: 1. Big data approache
s. 2. Input language for automated theorem provers
3. Language processing for evidence texts 4. Fram
e Semantics and other tools from classical AI. 5.
Philosophical implications of the aforementioned t
opics.
X-ALT-DESC;FMTTYPE=text/html:\n TDPhiMa is a c
onference series that looks at mathematical texts
from a philosophical and linguistic perspective. T
ext is a crucial medium for the dissemination of m
athematical ideas, agendas, and results to the sci
entific community and educational contexts. This m
akes focusing on mathematical texts a natural and
significant part of the philosophical study of mat
hematics. In addition, research on mathematical te
xts can benefit from the knowledge and methods of
other disciplines such as linguistics and computer
science to study problems in the philosophy of ma
thematics. In the third iteration of TDPhiMa, we f
ocus on the application of these methods within co
mputational mathematics, including the context of
automated theorem proving.

\n Relevant topi
cs include: 1. Big data approaches. 2. Input langu
age for automated theorem provers 3. Language proc
essing for evidence texts 4. Frame Semantics and o
ther tools from classical AI. 5. Philosophical imp
lications of the aforementioned topics.

\n
URL:https://sites.google.com/view/tdphima3/startse
ite
CONTACT:deniz.sarikaya at vub.be
END:VEVENT
END:VCALENDAR