FoLLI
European Association for Logic, Language and Information. Meetings and publications.
UP Eulogica. Asia's First Student Logic Society
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 composed of UP students, professors, instructors and administrators.
Computability in Europe Homepage
Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
ASL
Association for Symbolic Logic.
British Logic Colloquium
Meetings, publications, reports and resources.
COMPULOG Americas
American Logic Programming Organization.
CSHPM
Canadian Society for History and Philosophy of Mathematics.
ALP
Association for Logic Programming. Membership information, newsletter, journals, meetings.
IGPL
Interest Group in Pure and Applied Logics: part of FoLLI.
EACSL
European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
International Federation for Computational Logic (IFCoLog)
A federation of societies and groups active in computational logic.
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.
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.
DVMLG
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
MVL-TC
IEEE Technical Committee on Multiple Valued Logic.
|