BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Patrik Jansson (Chalmers University of Technology\, Sweden)
DTSTART:20230831T140000Z
DTEND:20230831T150000Z
DTSTAMP:20260423T053018Z
UID:Wisla23/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Wisla23/16/"
 >Domain-Specific Languages of Mathematics</a>\nby Patrik Jansson (Chalmers
  University of Technology\, Sweden) as part of Mapping the Interdisciplina
 ry Horizons of AI: Safety\, Functional Programming\, Information Geometry\
 n\n\nAbstract\nThe main idea behind this minicoure is to encourage the stu
 dents to approach mathematical domains from a functional programming persp
 ective. We will learn about the language Haskell\; identify the main funct
 ions and types involved\; introduce calculational proofs\; pay attention t
 o the syntax of mathematical  expressions\; and\, finally\, to organize th
 e resulting functions and types in domain-specific languages.\n
LOCATION:https://researchseminars.org/talk/Wisla23/16/
END:VEVENT
END:VCALENDAR