BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.ctbk.de//E77ZQY
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:STANDARD
DTSTART:20001029T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T020000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-fsck-2024-E77ZQY@cfp.ctbk.de
DTSTART;TZID=Europe/Berlin:20240503T180000
DTEND;TZID=Europe/Berlin:20240503T185000
DESCRIPTION:In the realm of modern software development\, ensuring correctn
 ess and reliability of software systems is paramount. Functional programmi
 ng langaunges like Haskell offer a unique approach to achieving these goal
 s through strong type systems\, immutable data structures\, and pure funct
 ions. Despite its practical benefits\, functional programming is not yet w
 idely-used in mainstream development.\n\nHere\, we'll take you on a gentle
  exploration of the fundamentals of functional programming\, emphasizing c
 oncepts like referential transparency\, purity\, and correctness through v
 erifiable specifications. Through practical examples and approachable expl
 anations\, we will illustrate how Haskell's paradigms can lead to a more r
 obust and maintainable codebase. \n\nThis talk serves as a friendly guide 
 for beginners eager to dive into the world of functional programming and t
 o harness its power to write verifiably correct\, maintainable software.
DTSTAMP:20240713T181154Z
LOCATION:Movie Theatre 5
SUMMARY:Functional correctness -- Haskell-ing your way to reliable code - y
 ote
URL:https://cfp.ctbk.de/fsck-2024/talk/E77ZQY/
END:VEVENT
END:VCALENDAR