List of Research Groups in Logic and Theoretical Computer Science World-wide

Here:

Other Links