Hans van Ditmarsch's webpage on logic software and logic education.

Gary Leavens' collection of materials on teaching programming languages

A Working Group on Integrating Mathematical Reasoning into Computer Science Curricula. The group's website contains pointers to projects and instructions for joining their mailing list.

FME Subgroup on Education

ITiCSE Working Group on Support for Teaching and Learning Formal Methods