Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization foste...
Information on the "Computability in Europe" network of mathematicians, computer scientists, philos...
Supports research in Mathematical Logic and the Foundations of the exact sciences in Germany; organ...
European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedi...