|
Sponsored Links:
Manchester Metropolitan University (Popularity:  )
http://www.doc.mmu.ac.uk/RESEARCH/logicgrp/
Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
|
|
|
(Colombia) Bogotá (Popularity: )
http://www.matematicas.unal.edu.co/villaveces/logica.html
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
|
|
Pennsylvania, University of (Popularity: )
http://www.cis.upenn.edu/~lc/
Logic and Computation Group.
|
|
(Israel) Ben Gurion University of the Negev (Popularity: )
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Mathematical and Computational Logic Research Group.
|
|
(Australia) Canberra (Popularity: )
http://cslab.anu.edu.au/ar/
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
|
|
Berkeley, University of California (Popularity: )
http://www.math.berkeley.edu/logic/
Group in Logic and the Methodology of Science.
|
|
(Japan) Kobe (Popularity: )
http://kurt.cla.kobe-u.ac.jp/
Foundations of Mathematics and Computer Science.
|
|
(Israel) Haifa (Popularity: )
http://www.cs.technion.ac.il/~admlogic/lcoll.html
Logic Seminar.
|
|
(Belgium) University of Mons-Hainault (Popularity: )
http://www.umh.ac.be/math/logic/
Mathematical Logic.
|
|
Las Cruces, New Mexico (Popularity: )
http://www.cs.nmsu.edu/lldap/
Laboratory for Logic,Databases and Advanced Programming.
|
|
Logic at Leeds Homepage (Popularity: )
http://www.amsta.leeds.ac.uk/pure/logic/
Information on the Leeds University Logic Group
|
|
|
Carnegie Mellon University (Popularity: )
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/pal/www/pal.html
Pure and Applied Logic.
|
|
(Italy) Istituto di Elaborazione della Informazione (Popularity: )
http://www.isti.cnr.it/
Information and news on research activities.
|
|
University of Manchester (Popularity: )
http://www.cs.man.ac.uk/mfg/
Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture notes.
|
|
(Austria) University of Vienna (Popularity: )
http://www.logic.univie.ac.at/
Department of Formal Logic.
|
|
|
(Sweden) Uppsala (Popularity: )
http://www.math.uu.se/logik/
Mathematical Logic.
|
|
Bonn (Popularity: )
http://www.uni-bonn.de/logic/logic.html
Mathematical Logic Group.
|
|
University of St. Andrews (Popularity: )
http://www.dcs.st-and.ac.uk/~rd/logic.html
Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
|
|
University of Leeds (Popularity: )
http://www.amsta.leeds.ac.uk/Pure/logic/
Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.
|
|
Florida, University of (Popularity: )
http://www.math.ufl.edu/~jal/lst.html
Logic and Set Theory.
|
