2 links
Information-Based Complexity
cs.columbia.edu
Resources for computational complexity problems in the presence of partial or contaminated information.
The Types Forum
lists.seas.upenn.edu
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.