Document Archives

Gandalf 2010 Gandalf 2010- A conference on games, automata, logics and formal verification. STOC STOC- ACM Symposium on Theory of Computing. Theoretical Computer Science Conferences & Journals Theoretical Computer Science Conferences & Journals- Conference calls for papers, conference and workshop programs, journal calls for papers. Midwest Theory Day 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. Computational Complexity Conference Computational Complexity Conference- Annual conference that deals with computational complexity broadly defined.