Math » Logic and Foundations

(Austria) Vienna University of Technology

Science, Math, Logic and Foundations, Institutions - (Austria) Vienna University of Technology. Group in Applications of Formal Logic.

https://www.logic.at/

Institute for Logic, Language and Computation.

The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam. ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Research at ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, linguistics, cognitive science, artificial intelligence and philosophy.

https://www.illc.uva.nl/

Computer Science Laboratory

Science, Math, Logic and Foundations, Institutions - SRI International. Computer Science Laboratory: Formal Methods and Dependable Systems.

http://csl.sri.com/

(Austria) University of Vienna

KGRC Kurt Gdel Research Center for Mathematical Logic at the University of Vienna

https://www.logic.univie.ac.at/

Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

Science, Math, Logic and Foundations, Institutions - (Russia) St. Petersburg. Laboratory of Mathematical Logic of the Steklov Institute of Mathematics.

https://logic.pdmi.ras.ru/

Mathematical Foundations of Computer Science.

Science, Math, Logic and Foundations, Institutions - Aachen. Mathematical Foundations of Computer Science.

https://www-mgi.informatik.rwth-aachen.de/

Logic Group.

Science, Math, Logic and Foundations, Institutions - Stanford. Logic Group.

http://logic.stanford.edu/