Savannah, Georgia, USA, January 19-20, 2009
Affiliated Meetings
- POPL: Symposium on Principles of Programming Languages
- DAMP: Declarative Aspects of Multicore Programming
- PLPV: Programming Languages meets Program Verification
- FOOL: Foundations of Object-Oriented Languages
- PADL: Practical Applications of Declarative Languages
- PLAN-X: Programming Language Technologies for XML
- TLDI: Types in Language Design and Implementation
- Twelf tutorial: Mechanizing Metatheory with LF and Twelf
- VMCAI: Verification Model Checking and Abstract Interpretation