Affiliates (in alphabetical order)

Roland Backhouse
Lex Bijlsma
Brijesh Dongol
Herwig Egghart
João Ferreira
Eric Hehner
Rustan Leino
Eric Macaulay
Apurva Mehta
Arjan Mooij
Srinivas Nayak