Science6.com aims to guide user to resources about science, chemistry, biotechnology, ecology, laboratories, physics and astronomy, software, biochemistry, reliability engineering, morality, medical physics and useful information.
Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site
You are here: Science Directory > Mathematics > Logic and Foundations > Institutions
Group in Applications of Formal Logic.
http://www.logic.at/
Institute for Logic, Language and Computation.
http://www.illc.uva.nl/
Dutch Research School in Logic (OZSL).
http://www.ozsl.uva.nl/
A distributed research group associated with the Church Project working on the design and implementation of new forms of procedure calling protocols based on the notion of linear naming, together with relevant supporting formal tools and implementation technology.
http://www.linearity.org/
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
http://www.csl.sri.com/
Latest Featured Listings
MagicPlot
Linear Actuator
3D Laser Scanning | Digital Survey
PDMLynx PDM Software
Christian Business MBA Programs - Colorado Christian University
Directory Statistics
Active Links: 34601
Pending Links: 1
Todays Links: 0
Active Articles: 0
Pending Articles: 0
Todays Articles: 0
Total Categories: 25
Sub Categories: 3673
Top Categories
Agriculture
Alternative Science
Amateur Science
Biology
Chemistry
Cognitive Science
Complex Systems
Computer Science
Directories
Earth Sciences
Ecology
Education
Energy
Engineering
Environment
Forensics
Geography
Institutions
Mathematics
Physics
Resources
Shopping and Services
Social Sciences
Space
Technology
Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site | Famous Person
Copyright © 2009 Science6.com, Inc. All Rights Reserved.
This site helps user to find information and resources of science, chemistry, biotechnology, ecology, earth sciences, nuclear, software, mechanical engineering, materials, astrophysics, molecular and much more.