List of All Events

• 2014.10.3. A Method for Proving Congruence of Bisimilarity in Nominal SOS Matteo Cimini

• 2014.09.26. Type-Directed Editing Ed Amsden

• 2014.09.19. Introduction to Topologically-Aware Load Balancing Chris Wailes

• 2014.09.12. Typed Clojure in Practice Ambrose Bonnaire-Sergeant

• 2014.09.5. Derailer: Interactive Security Analysis for Web Applications Joe Near

• 2014.05.9. Modules and Metaprogramming for the ACL2 Theorem Prover Carl Eastlund

• 2014.05.2. Probabilistic Programming for the PL researcher Rob Zinkov

• 2014.04.25. Verifying Hybrid Systems with Automated Theorem Provers Sarah Loos

• 2014.04.18. A Few of My Favorite Things: Compilers and APL Aaron Hsu

• 2014.04.11. Type-Directed Editing Ed Amsden