The Association for Symbolic Logic
Nuprl (PRL Project)
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