The Association for Symbolic Logic

MetaPRL

CalTech

Nuprl (PRL Project)

Department of Mathematical Logic and Theory of Algorithms

Laboratory for Logical Problems of Computer Science (LPCS)

Conferences:

International Computer Science Symposium CSR 2006

Advances in Modal Logic (AiML)   2004
Conference on Automated Deduction (CADE) 2003
International Joint Conference on Automated Reasoning (IJCAR) 2004
Computer Science Logic (CSL) 2004
European Summer School in Logic, Language and Information (ESSLLI) 2004
LOGIC IN COMPUTER SCIENCE (LICS) 2004

Association for Symbolic Logic (ASL) 2004

International Symposium on Mathematical Foundations of Computer Science (MFCS) 2004
International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2004 2005
Workshop on Logic, Language, Information and Computation (WoLLIC) 2004
Idaho Middle Level Annual Conference (IMLA) 2005