You can find information & resources of science, biotechnology, chemistry, ecology, technology, science resources, mechanical engineering, earth sciences, astrophysics, nuclear & molecular at PortalScience.com
Browse 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 > Mathematics > Logic and Foundations > Institutions


 
Listing(s):


(Austria) Vienna University of Technology
Group in Applications of Formal Logic.
http://www.logic.at/

(Netherlands) Amsterdam
Institute for Logic, Language and Computation.
http://www.illc.uva.nl/

(Netherlands) Amsterdam
Dutch Research School in Logic (OZSL).
http://www.ozsl.uva.nl/

Linear Naming and Computation
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/

SRI International
Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
http://www.csl.sri.com/

Home • Submit Site • About Us • Link to Us • Contact Us• Disclaimer • Privacy Policy • Blog
Information contained herein is deemed accurate and correct, but no warranty is implied or given.
© Copyright PortalScience.com Inc., 2006. All rights reserved.
At this site you may find geography, alternative-science, amateur-science, physics and astronomy, alternative science, medical physics, mathematics, physics, space, environment, forensics, energy, engineering and more.