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