Research about type theory, internal languages, intuitionism, constructivism, and proof assistants is, at the moment, not as fashionable as other branches of mathematics are, say for example algebraic geometry and topology. Furthermore, the people who are involved are distributed evenly over mathematics, computer science and philosophy departments. For example, I could not find a single type theory research group in Berlin, even though Berlin has three large universities. At the moment I have a big list of universities lying next to my computer, and I am browsing through each departments website to find out if there is someone in the department who does type theory. But then I realized that, a) I might not be the only person who has this problem, and b) my solution is really time consuming and stupid. So here is my question:
Where can I find research groups which work on type theory and the semantic of programming languages? I am interested to know about groups which sit in Germany and England, but of course a list of interest to the general reader of this side could include groups all over the world. I believe that type theory research is rare enough that it is realistic to create such a list.
