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:20230830T153000Z
DTEND:20230830T163000Z
DTSTAMP:20260423T024730Z
UID:Wisla23/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Wisla23/15/"
 >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/15/
END:VEVENT
END:VCALENDAR