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