This page is obsolete and may contain some broken links. To be updated, one day...

	Associations  |  Journals  |  Institutions  |  Bibliographies  |  Conferences  |  Theorem provers  |  Other
home short vitae teaching graduate students research publications events and activities some links mail to V.Goranko   Back to my home page
	associations and organizations		journals
	Association for Symbolic Logic (ASL) Association for Automated Reasoning The Association for Computational Linguistics (ACL) American Mathematical Society (AMS) Mathematical Association of America (MAA) European Association for Computer Science Logic (EACSL) European Association for Logic, Language and Information (FOLLI) The Kurt Gödel Society		Annals of Pure and Applied Logic Artificial Intelligence The Bulletin of Symbolic Logic Bulletin of the EATCS Computational Linguistics Journal of Artificial Intelligence Research Journal of Automated Reasoning (Springer-site) Journal of Automated Reasoning (Argonne-site) Journal of Functional and Logic Programming (JFLP) Journal of Logic and Computation Journal of Logic, Language and Information (Springer-site) Journal of Logic, Language and Information (FoLLI-site) Journal of Logic Programming Journal of Philosophical Logic Journal of Semantics Journal of Symbolic Logic Logic Journal of the IGPL Quantum Magazine Home Page Theoretical Computer Science Studia Logica
	institutions		bibliographies                             top
	Automated Reasoning Group at the Cambridge Univ. Computer Laboratory Centrum voor Wiskunde en Informatica (CWI) Finite Model Theory Formal Design Techniques group at SICS Knowledge Representation and Reasoning Group (TU-Dresden) Institut fuer Logik, Komplexitaet und Deduktionssysteme (Karlsruhe) Max-Planck-Institut fuer Informatik The OMEGA Project Pure and Applied Logic at CMU QED Project Research Group Automated Reasoning (TU Munich) School of Information Science at JAIST SRI International's Artificial Intelligence Center (AIC) UNU-IIST home collection		The Hypertext Bibliography Project Bibliography on Logical Frameworks ORA Canada Bibliography of Automated Deduction
	conferences		theorem provers                         top
			3TAP Deep Thought The HOL theorem prover ileanTAP Isabelle LeanTAP LWB - The Logics Workbench 1.0 ModLeanTA Nuprl Otter Setheo SPASS - a first-order theorem prover and a CNF-translator The Stanford Temporal Prover TPS - Theorem Proving System
	other links		top
	Mathematics		Logic
	Mathematics Departments Web Servers Assorted Math Topics on the Web Mathematics Archives - Topics in Mathematics Mathematics Journals 4D problem (topoi in physics)		Belief Revision on the World Wide Web Logic Eprints LogicAL: Logic, Philosophy and Artificial Life Resources Mathematical Logic around the world Math Forum Internet Collection - logic (Outline)
	Theoretical Computer Science and Artificial Intelligence		Games and others
			thinks.com - brain games, puzzles and pastimes Games Domain - The Gamer's Voice
			top
Back to my home page			Last updated: July 2005