Semantics I - Session Preview for POPL 2023

Explore a concise preview of the Semantics I session at POPL 2023, presented by Ugo Dal Lago. This 10-minute video introduces a new track piloted at the conference, aimed at making POPL talks more accessible to the entire community. Gain insights into the background of semantics, including type-based approaches, rewriting, game semantics, and category theory. Understand how this expert-led overview enhances comprehension of the session's specific papers and general topic, borrowing from the SIGCOMM community's successful format.