BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Scala lunch
DTSTART:20231211T120000
DTEND:20231211T130000
DTSTAMP:20260501T002432Z
UID:a09c9297055442cc984a50b1f797d1a01eebc842d5c6fc0b64d65063
CATEGORIES:Conferences - Seminars
DESCRIPTION:Sébastien Doeraene\nAre you a Scala user or enthusiast? Do yo
 u want to meet other people who are using Scala at EPFL? Then join us for 
 the Scala Lunch!\n\nWe are excited to announce that Sébastien Doeraene\, 
 an engineer at the Scala Center\, will be our speaker for the next Scala L
 unch. Sébastien will give a talk entitled "Specifying Match Types in Scal
 a 3". Match types were introduced in Scala 3 to support type-level operati
 ons on tuples\, but their integration into the larger Scala type system wa
 s not fully specifiable. Sébastien will share his multi-month effort of r
 e-designing and specifying match types in Scala 3\, including a quantitati
 ve study of match type use cases\, writing a new candidate specification\,
  proving some of its core aspects sound\, and implementing and evaluating 
 the new spec.\n\nSébastien Doeraene is a compiler/runtime systems hacker 
 and a Scala enthusiast. He is best known as the author of Scala.js and hol
 ds a PhD from EPFL\, where he worked under the supervision of Prof. Martin
  Odersky. Sébastien is also a part-time lecturer at EPFL and enjoys singi
 ng in choirs and a cappella groups.\n\nJoin us on 11/12/2023 at BC410 for 
 this exciting talk. Don't forget to bring your own lunch to share a casual
  meal with other EPFL Scala enthusiasts. Everyone is welcome\, including p
 eople outside of EPFL. See you there!\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR