Pages on theorem provers, moving from very general to very specific:
People that work or did work on related areas of computer science:
People in Eindhoven working on type-theory:
A program of logic-related conferences. Below some more specific conferences that interest me.
Journals and Publishers:
Dutch research schools ("onderzoekscholen")