Science Central - All about Science

Wednesday, 19 June, 2013

search

for
Directories
 
 
 
 Recent Listings
  Journal Of Fundamental and Applied Sciences
  Computer Science and Mobile Computing (IJCSMC)
  Birmingham Private Detectives
  The Journal Of Research In Computer Applications and Robotics (IJRCAR)
  FarrWest Environmental Supply, Inc.
  Tactful Management Research Journal (TMRJ)
  e-Library Science Research Journal (LSRJ)
  Review Of Research Journal
  3rd World Congress On Cell Science & Stem Cell Research
  Academic Sports Scholars
 
Category:  Science » Math » Logic and Foundations » Institutions SUGGEST CATEGORY  |  SUBMIT A SITE

Institutions

Order by  Popularity  |  Alphabet

Sites

Records 1-20 of 44  |  Go to 1 2 3 Next >> page 
 



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.

 
Records 1-20 of 44  |  Go to 1 2 3 Next >> page 

© 2005-2010 Science Central. All Rights Reserved