| 1. | EACSL | | | European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
www.dimi.uniud.it |
| 2. | IGPL | | | Interest Group in Pure and Applied Logics: part of FoLLI.
www.di.ufpe.br |
| 3. | ASL | | | Association for Symbolic Logic.
www.aslonline.org |
| 4. | FoLLI | | | European Association for Logic, Language and Information. Meetings and publications.
www.folli.uva.nl |
| 6. | 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 Conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, and maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.
www.kr.org |
| 9. | CSHPM | | | Canadian Society for History and Philosophy of Mathematics.
www.cshpm.org |
| 10. | MVL-TC | | | IEEE Technical Committee on Multiple Valued Logic.
wwwj3.comp.eng.himeji-tech.ac.jp |
| | |