BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TUC//Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Athens
TZNAME:EEST
DTSTART:19700329T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EET
DTSTART:19701025T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED:20240712T084754Z
LAST-MODIFIED:20240712T084754Z
DTSTAMP:20260416T082047Z
UID:1776316847@tuc.gr
SUMMARY:Ομιλία Dr Νίκη Βάζου "Practical Prog
 ram Verification with Refinement Typ
 es "
LOCATION:Λ - Κτίριο Επιστημών/ΗΜΜΥ, 145Π-42
DESCRIPTION:https://www.ece.tuc.gr/el/katalogos-
 ekdiloseon?tx_tucevents2_tuceventsdi
 splay%5Baction%5D=show&tx_tucevents2
 _tuceventsdisplay%5Bcontroller%5D=Ev
 ent&tx_tucevents2_tuceventsdisplay%5
 Bevent%5D=7108&cHash=3a61f52508faaf5
 4dc751030c2e89792\nAbstract\n Refine
 ment types decorate the types of a p
 rogramming language with logical pre
 dicates to allow more expressive typ
 e specifications. Originally, refine
 ment type based specifications were 
 restricted to SMT decidable theories
  and allowed automatic “light” verif
 ication, for example properties like
  non-division by zero or in-bound in
 dexing. In this talk, I will present
  an overview of refinement types and
  using Liquid Haskell as the prototy
 pe refinement type implementation, w
 ill discuss the features that make r
 efinement types a practical verifica
 tion technology. \n \n About the Spe
 aker\n Niki is an Associate Research
  Professor at IMDEA Software Institu
 te. She received her Ph.D. at UC San
  Diego, where she co develop Liquid 
 Haskell, a refinement type checker f
 or Haskell programs. Since then, she
  works on both the theory of refinem
 ent typing and their applications to
  verify real world properties. For t
 his research purpose, in 2022 she re
 ceived the ERC Starting Grant CRETE.
  \n
STATUS:CONFIRMED
ORGANIZER;RSVP=FALSE;CN=TUC;CUTYPE=TUC:mailto:webmaster@tuc.gr
DTSTART:20240718T170000
DTEND:20240718T180000
TRANSP:OPAQUE
CLASS:DEFAULT
END:VEVENT
END:VCALENDAR