Organizations

Information on the &quot;Computability in Europe&quot; network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues

159 visits Mar 21, 2024 Details

CSHPM

cshpm.org

Canadian Society for History and Philosophy of Mathematics.

15 visits Jan 10, 2025 Details

DVMLG

math.fu-berlin.de

Deutsche Vereinigung fÃ¼r Mathematische Logik und fÃ¼r Grundlagen der Exakten Wissenschaften (site partly in German)

143 visits Nov 18, 2024 Details

EACSL

dimi.uniud.it

European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.

445 visits Jul 10, 2024 Details

FoLLI

folli.loria.fr

European Association for Logic, Language and Information. Meetings and publications.

241 visits Sep 1, 2024 Details

IGPL

di.ufpe.br

Interest Group in Pure and Applied Logics: part of FoLLI.

64 visits May 2, 2026 Details

International Federation for Computational Logic (IFCoLog)

ifcolog.org

A federation of societies and groups active in computational logic.

224 visits Jan 31, 2024 Details

KR, Inc.

kr.org

Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its p…

111 visits Apr 3, 2024 Details

Kurt GÃ¶del Society

logic.at

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.

290 visits Sep 2, 2024 Details

MVL-TC

j3.comp.eng.himeji-tech.ac.jp

IEEE Technical Committee on Multiple Valued Logic.

480 visits Nov 26, 2025 Details

UP Eulogica. Asia's First Student Logic Society

upeulogica.topcities.com

UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, which is university wide in membership. It accepts honorary members comp…

29 visits Nov 29, 2024 Details

Category Info