*Homepage:* http://www.mcs.le.ac.uk/merlin/ Workshop on Mechanized Reasoning about Languages with variable binding (MERLIN 2001) * Deadline: March * Conference: June