Home > Computers > Computer Science > Theoretical > Conferences
The conferences of Theoretical Computer Science.
http://facweb.cs.depaul.edu/jrogers/complexity/
Annual conference that deals with computational complexity broadly defined.
http://gandalf.dia.unisa.it/
A conference on games, automata, logics and formal verification.
http://facweb.cs.depaul.edu/jrogers/MTD/
Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings.
http://www.sigact.org/stoc.html
ACM Symposium on Theory of Computing.
http://ai.stanford.edu/~suresh/theory/conf/conf-home.html
Conference calls for papers, conference and workshop programs, journal calls for papers.
Home > Computers > Computer Science > Theoretical > Conferences
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us