

Science Math Logic and Foundations Organizations Science Math Logic and Foundations Organizations sites Organizations.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Organizations Science Math Logic and Foundations Organizations sites Organizations.LogicandFoundations.Math.sciencesites.work 

ASL Association for Symbolic Logic. www.aslonline.org/ 

British Logic Colloquium Meetings , publications , reports and resources. www.cs.bham.ac.uk/~exr/blc/ 

COMPULOG Americas American Logic Programming Organization. www.cs.nmsu.edu/~complog/ 

Computability in Europe Homepage Information on the "Computability in Europe" network of mathematicians , computer scientists , philosophers and scientists with research interests in computability issues www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html 

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 biannual conference. [Partly in German] www.dvmlg.de/ 

EACSL European Association for Computer Science Logic. Newsletter , meetings , index to conference proceedings , membership list. www.eacsl.org/ 

IGPL Interest Group in Pure and Applied Logics: part of FoLLI. www.di.ufpe.br/~igpl/ 

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 Conferen www.kr.org/ 

MVLTC IEEE Technical Committee on Multiple Valued Logic. cs3.el.gunmau.ac.jp/MVL/ 
