Sites

Manchester Metropolitan University (Popularity: )

Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical ...

(Colombia) Bogotá (Popularity: )

Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).

Pennsylvania, University of (Popularity: )

Logic and Computation Group.

(Israel) Ben Gurion University of the Negev (Popularity: )

Mathematical and Computational Logic Research Group.

(Australia) Canberra (Popularity: )

Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms ...

Berkeley, University of California (Popularity: )

Group in Logic and the Methodology of Science.

Logic at Leeds Homepage (Popularity: )

Information on the Leeds University Logic Group

University of Manchester (Popularity: )

Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture ...

Las Cruces, New Mexico (Popularity: )

Laboratory for Logic,Databases and Advanced Programming.

(Japan) Kobe (Popularity: )

Foundations of Mathematics and Computer Science.

(Italy) Istituto di Elaborazione della Informazione (Popularity: )

Information and news on research activities.

(Belgium) University of Mons-Hainault (Popularity: )

Mathematical Logic.

(Czech Republic) Ostrava (Popularity: )

Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications.

(Israel) Haifa (Popularity: )

Logic Seminar.

Carnegie Mellon University (Popularity: )

Pure and Applied Logic.

Bonn (Popularity: )

Mathematical Logic Group.

(Austria) University of Vienna (Popularity: )

Department of Formal Logic.

(Sweden) Uppsala (Popularity: )

Mathematical Logic.

University of St. Andrews (Popularity: )

Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.

Compulog Net (Popularity: )

Europe's Network of Excellence in Computational Logic. Events, educational resources, links.