Journal of the IGPL
An Electronic Journal on Pure and Applied Logic
ISSN 0945-9103
Current Topics and Announcements
The TPTP Library
in Australia
or
in Germany
FAPR:
International Conference on Practical Reasoning
CADE-13:
Thirteenth International Conference on Automated Deduction
IPPS '96
10th International Parallel Processing Symposium
TARK-VI
Theoretical Aspects of Rationality and Knowledge
ECAI-96
European Conference on Aritficial Intelligence.
Automated Reasoning Book Series
of
Kulwer Academic Publishers
If you want me to insert further links, mail to
ohlbach@mpi-sb.mpg.de.