Projects

Computability in Europe

If you are looking for references

Bibliography of Mathematical Logic

Homepage of Computability Theory

Universities

Sobolev Institute of Mathematics

Novosibirsk State University

University of Heidelberg

Math. Dept. University of Wisconsin

Math. Dept. University of Notre Dame

Math. Dept. George Washington University

Professional organizations

Association for Symbolic Logic

American Mathematical Society

Some places I like

Heidelberg

Novosibirsk