 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
International Federation for Computational Logic (IFCoLog)
A federation of societies and groups active in computational logic.
FoLLI
European Association for Logic, Language and Information. Meetings and publications.
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.
ALP
Association for Logic Programming. Membership information, newsletter, journals, meetings.
ASL
Association for Symbolic Logic.
British Logic Colloquium
Meetings, publications, reports and resources.
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.
CSHPM
Canadian Society for History and Philosophy of Mathematics.
|
|
||
 |
|||