| Directory > Science > Math > Logic and Foundations > Organizations MVL-TC
IEEE Technical Committee on Multiple Valued Logic.
http://wwwj3.comp.eng.himeji-tech.ac.jp/mvl/
Reviews Rating: Not yet Rated
Whois Check
CSHPM
Canadian Society for History and Philosophy of Mathematics.
http://www.cshpm.org/
Reviews Rating: Not yet Rated
Whois Check
COMPULOG Americas
American Logic Programming Organization.
http://www.cs.nmsu.edu/~complog/
Reviews Rating: Not yet Rated
Whois Check
British Logic Colloquium
Meetings, publications, reports and resources.
http://www.cs.bham.ac.uk/~exr/blc/
Reviews Rating: Not yet Rated
Whois Check
KR, Inc.
Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization
fostering research and communication on knowledge representation and reasoning. Its primary
activities include organizing a series of conferences, the Conferences on Principles of Knowledge
Representation and Reasoning, cooperating with workshops on related topics, and maintaining
informational materials on the World Wide Web, and maintaining KR-related mailing lists.
http://www.kr.org/
Reviews Rating: Not yet Rated
Whois Check
International Federation for Computational Logic (IFCoLog)
A federation of societies and groups active in computational logic.
http://www.ifcolog.org/
Reviews Rating: Not yet Rated
Whois Check
Kurt Gödel Society
An international organization for the promotion of research in the areas of Logic, Philosophy,
History of Mathematics, above all in connection with the biography of Kurt Gödel.
http://www.logic.at/kgs/
Reviews Rating: Not yet Rated
Whois Check
DVMLG
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften
(site partly in German)
http://www.math.fu-berlin.de/~dvmlg/
Reviews Rating: Not yet Rated
Whois Check
FoLLI
European Association for Logic, Language and Information. Meetings and publications.
http://www.folli.uva.nl/
Reviews Rating: Not yet Rated
Whois Check
ASL
Association for Symbolic Logic.
http://www.aslonline.org/
Reviews Rating: Not yet Rated
Whois Check
IGPL
Interest Group in Pure and Applied Logics: part of FoLLI.
http://www.di.ufpe.br/~igpl/
Reviews Rating: Not yet Rated
Whois Check
ALP
Association for Logic Programming. Membership information, newsletter, journals, meetings.
http://www.cwi.nl/projects/alp/
Reviews Rating: Not yet Rated
Whois Check
EACSL
European Association for Computer Science Logic. Newsletter, meetings, index to conference
proceedings, membership list.
http://www.dimi.uniud.it/~eacsl/
Reviews Rating: Not yet Rated
Whois Check
|
