Author: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd 2005 Tallinn, Estonia)