Search:
Go
English
Deutsch
Français
Japanese
Chinese Simplified
Chinese Traditional
Korean
Russian
Arabic
Česky
Greek
Italiano
Afrikaans
Aragonés
Armenian
Asturianu
Azerbaijani
Bahasa Indonesia
Bahasa Melayu
Bangla
Bashkir
Belarusian
Bosanski
Brezhoneg
Bulgarian
Català
Cymraeg
Dansk
Eesti
Español
Esperanto
Euskara
Frysk
Furlan
Føroyskt
Gaeilge
Gàidhlig
Galego
Gujarati
Hebrew
Hindi
Hrvatski
Interlingua
Íslenska
Kannada
Kaszëbsczi
Kazakh
Kiswahili
Kurdî
Kyrgyz
Latviski
Lëtzebuergesch
Lietuvių
Lingua Latina
Magyar
Makedonski
Marathi
Nederlands
Nordfriisk
Norsk
O'zbekcha
Occitan
Ossetian
Persian
Polski
Português
Punjabi Gurmukhi
Română
Rumantsch
Sardu
Seeltersk
Shqip
Sicilianu
Sinhala
Slovensko
Slovensky
Srpski
Suomi
Svenska
Tagalog
Taiwanese
Tamil
Tatarça
Telugu
Thai
Tiếng Việt
Türkçe
Türkmençe
Ukrainian
Urdu
Uyghurche
DMOZ Internet Directory
Presented by
DMOZLive.com
Home
About
Submit Site
Tweet
Home
Science
Math
Logic and Foundations
Organizations
9 Sites
Professional organizations for people working in the field of mathematical logic.
Sites
[ Submit ]
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.
IGPL
- Interest Group in Pure and Applied Logics: part of FoLLI.
ASL
- Association for Symbolic Logic.
British Logic Colloquium
- Meetings, publications, reports and resources.
COMPULOG Americas
- American Logic Programming Organization.
Computability in Europe Homepage
- Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
MVL-TC
- IEEE Technical Committee on Multiple Valued Logic.
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)
- Supports research in Mathematical Logic and the Foundations of the exact sciences in Germany; organizes a bi-annual conference. [Partly in German]
EACSL
- European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
Click
[ Submit ]
above to Add a New Site, Update a Site, or Remove a Site from this Category.
See Also
Organizations
Science : Math
89 Sites
This directory is made available through a Creative Commons Attribution license from the
DMOZ Organization.