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.
2.
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.
3.
SIGACT News Theory Calendar
-
Calendar of upcoming theoretical computer science events and a list of recently released books in the field.