BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Iowa State University CALS LAS Web Team//sites.iastate.edu//EN
BEGIN:VEVENT
UID:20261009T212500-4983-www.cs.iastate.edu
DTSTART:20261009T212500Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20261009T222500Z
LOCATION:MacKay Hall\, Room 117: https://www.fpm.iastate.edu/maps/buildings
 /view_plat.asp?id=1018
SUMMARY:CS Colloquium: Dr. Alex Potanin\, Australian National University
CLASS:PUBLIC
DESCRIPTION:CoreFi: An Orchestration Language for Embedded Systems - Bridgi
 ng Implementation to SpecificationEstablishing the correctness of concurre
 nt systems has been approached from two directions historically: top-down\
 , where global specifications are projected into local implementations\, s
 uch as choreographic programming\, and bottom-up\, where global specificat
 ions are extracted from implementations for verification. Neither directio
 n has found a satisfactory answer\, especially when computation and commun
 ication are deeply intertwined\, and participants share state—as is comm
 on in embedded systems.\n\nMore information at: https://www.cs.iastate.edu
 /event/2026/cs-colloquium-dr-alex-potanin-australian-national-university\n
 \nMacKay Hall\, Room 117: https://www.fpm.iastate.edu/maps/buildings/view_
 plat.asp?id=1018
DTSTAMP:20261007T062952Z
END:VEVENT
END:VCALENDAR