BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Zevente//Tech events//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:w7mhix@zevente.com
DTSTAMP:20261021T232223Z
LAST-MODIFIED:20261021T232223Z
DTSTART;VALUE=DATE:20261029
DTEND;VALUE=DATE:20261031
SUMMARY:Lambda World 2026
DESCRIPTION:Functional programming\, type systems and formal reasoning thro
 ugh talks and practical workshops.\n\nA functional-programming conference 
 combining talks and workshops on type systems\, effects\, proofs and langu
 age design. Published sessions explore dependent Haskell\, Lean beyond pro
 of writing\, the history of OTP\, Cats Effect performance\, functional Kot
 lin services and concurrent monads. Workshops address Erlang session types
  and data-race freedom with OxCaml\, with shared sessions alongside J On T
 he Beach and Wey Wey Web.\n\nDetails and official website: https://zevente
 .com/e/lambda-world-2026-w7mhix?utm_source=calendar
LOCATION:Palacio de Congresos de Torremolinos\, Torremolinos\, Spain + Onli
 ne
URL;VALUE=URI:https://zevente.com/e/lambda-world-2026-w7mhix?utm_source=cal
 endar
CATEGORIES:Functional Programming
END:VEVENT
END:VCALENDAR