Programming Logic Collaboration

FORMATH: Formalisation of Mathematics
Yoshiki Kinoshita and Makoto Takeyama at AIST, Japan
The Types Project. The EU-funding of this project ended in 2008, but Types meetings are still held regularly.
Mathematics, Algorithms, Proofs
The Type Theory Group in Stockholm