ALP «
http://www.cwi.nl/projects/alp/ | | Association for logic programming. membership information , newsletter , journals , meetings. |
ASL «
http://www.aslonline.org/ | | Association for symbolic logic. |
British Logic Colloquium «
http://www.cs.bham.ac.uk/~exr/blc/ | | Meetings , publications , reports and resources. |
COMPULOG Americas «
http://www.cs.nmsu.edu/~complog/ | | American logic programming organization. |
Computability in Europe Homepage «
http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html | | Information on the " computability in europe" network of mathematicians , computer scientists , philosophers and scientists with research interests in computability issues |
CSHPM «
http://faculty.umf.maine.edu/~molinsky/cshpm/ | | Canadian society for history and philosophy of mathematics. |
DVMLG «
http://www.math.fu-berlin.de/~dvmlg/ | | Deutsche vereinigung für mathematische logik und für grundlagen der exakten wissenschaften (site partly in german) |
EACSL «
http://www.dimi.uniud.it/~eacsl/ | | European association for computer science logic. newsletter , meetings , index to conference proceedings , membership list. |
FoLLI «
http://folli.loria.fr/ | | European association for logic , language and information. meetings and publications. |
IGPL «
http://www.di.ufpe.br/~igpl/ | | Interest group in pure and applied logics: part of folli. |
KR, Inc. «
http://www.kr.org/ | | 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 conferenc |
Kurt Gödel Society «
http://www.logic.at/kgs/ | | 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. |
UP Eulogica. Asia's First Student Logic Society «
http://upeulogica.topcities.com/ | | Up eulogica is academic and social in nature. this is a co-educational , college-based student organization , which is university wide in membership. it accepts honorary members composed of up students , professors , instructors and administrators. |
