BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Scala lunch
DTSTART:20230612T120000
DTEND:20230612T130000
DTSTAMP:20260406T192705Z
UID:abb1f95b76443d571f802ba0b7198ac3800f3446f56ea8ee561371f1
CATEGORIES:Conferences - Seminars
DESCRIPTION:Nguyen Pham\, Bastien Jolidon & Kelvin Kappeler\nAre you a Sca
 la user or enthusiast? Do you want to meet other people who are using Scal
 a at EPFL? Then join us for the Scala Lunch! This time\, we're having two 
 exciting lightning talks.\n\nTalk by Nguyen Pham\nCopying stacks for fun a
 nd profit: Experimental delimited continuations for Scala Native\n\nTalk b
 y Bastien Jolidon & Kelvin Kappeler \nGame verified with Stainless\n\nScal
 a is a programming language developed at EPFL. It started as an academic p
 rogramming language to try out better ways to write software and has since
  become a popular language in the industry. Scala is used in many differen
 t domains\, from web applications to data science\, and is used by many co
 mpanies\, including Twitter\, Netflix\, Disney\, and many more.\n\nThe Sca
 la Lunch is an opportunity to share a meal with other EPFL Scala enthusias
 ts. Bring your lunchbox and join us for a casual meal\, find out what exci
 tes the others about Scala\, and share your own excitement.
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR