Neea Rusch

Research Talks & Presentations

Details and slides for research presentations and talks.

Workshop on Programming Languages and Analysis for Security (PLAS)
Salt Lake City, Utah
Theoretical Computer Science weekly seminar at Aalto University
Espoo, Finland
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Singapore
SCOT Seminar on Semantic and Formal Approaches to Complexity
online
International Workshop on Coq for Programming Languages (CoqPL)
Boston, Massachusetts
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Boston, Massachusetts
Doctoral Symposium at SPLASH
Auckland, New Zealand
International Conference on Types for Proofs and Programs (TYPES)
Nantes, France
The 37th Annual Graduate Research Day at Augusta University
Augusta, Georgia
IRISA Rennes and LIPN seminars
Rennes and Paris, France
The 36th Annual Graduate Research Day at Augusta University
online