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  <p>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.</p>\n  <p>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.</p>\n
URL:https://sites.google.com/view/tdphima3/startse
 ite
CONTACT:deniz.sarikaya at vub.be
END:VEVENT
END:VCALENDAR