Invited Speakers Andre Scedrov, University of Pennsylvania. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols Steve Awodey, Carnegie Mellon University Cubical Homotopy Type Theory