Search
The Directory
The Web
for
Home
>
Science
>
Math
>
Logic and Foundations
>
Professional_Associations
New!
Submit a site
whatUseek Collection Sites
(
submit a site
)
:
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
ALP
- Association for Logic Programming. Membership info, newsletter, journals, meetings.
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.
DVMLG
- Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
EACSL
- European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
FoLLI
- European Association for Logic, Language and Information. Meetings and publications.
IGPL
- Interest Group in Pure and Applied Logics: part of FoLLI.
International Federation for Computational Logic (IFCoLog)
- A federation of societies and groups active in computational logic.
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.
MVL-TC
- IEEE Technical Committee on Multiple Valued Logic.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
About
Help
Content Filter
Terms
Privacy Policy
© 2018
whatUseek