Transactions on Computational Logic - This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
SIGACT News Online - The electronic version of the print newsletter SIGACT News. Full access restricted to current members with an ACM WWW account. Unrestricted access to recent tables of contents and Theory calendar.