Surf these sites: AILA -- Associazione Italiana di Logica e sue Applicazioni ALP -- Association for Logic Programming ASL -- Association for Symbolic Logic BLC -- British Logic Colloquium 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 FoLLI -- European Association for Logic, Language and Information IGPL -- Interest Group in Pure and Applied Logics MVL-TC -- IEEE Technical Committee on Multiple Valued Logic Swiss Society for Logic and Philosophy of Sciences -- site partly in French and German, publishes newsletter "Logica Helvetica"
Help build the largest human-edited
directory on the web.