For general theory conferences does the name tell you anything? I will consider FOCS, STOC, ICALP, TAMS, COCOON. (I am sure there are more general-theory conferences-- I invite you to comment on them and on if their name tells you anything.)
- FOCS- Foundations of Computer Science. Are there more papers on the Foundations of computer science here than at STOC or ICALP or TAMS or COCOON? Since people speak of STOC/FOCS papers the question is- are they different?
- STOC- Symposium on Theory of Computation. What is Theory? There are large parts of theory that are left out such as Semantics.
- ICALP- International Colloquium on Automata, Languages, and Programming. AH- its a Colloquim not a conference. ICALP does has a different flavor than FOCS and STOC; however, I don't think the name captures it. By the name it could be more of a PL conference, and its not. Also- I had thought they changed the A to mean Algorithms. Is that one of those items they debate in the business meeting? Should they change it to Algorithms?
- COCOON-Computing and Combinatorics Conference. Does this have more Combinatorics then STOC, FOCS, ICALP? Is this intended to be a general theory conference?
- TAMC Theory and Application of Models of Computation. I don't think the papers are more on models than the other conferences.