IEEE Symposium on Logic in Computer Science: The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
Midwest Theory Day: Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings.
SIGACT News Theory Calendar: Calendar of upcoming theoretical computer science events and a list of recently released books in the field.