← All venues
B

CSL

Annual Conference on Computer Science Logic
Quick take: Established international conference with solid peer-review standards.
Theory of ComputationDBLP ↗ICORE ↗

Papers per year

OpenAlex-indexed subset — may undercount

Rank history (CORE → ICORE)

A* Flagship · A Premier · B Established · C Recognized

What this venue publishes

Topic mix over all indexed years — OpenAlex

Topic trend (last 5 years)

Share of indexed papers per year — OpenAlex

Top publishing institutions

By indexed paper count — OpenAlex (multi-affiliation counts once per inst.)
  1. 1Chinese Academy of Sciences13 papers
  2. 2Institute of Software13 papers
  3. 3University of Iowa12 papers
  4. 4Imperial College London10 papers
  5. 5University of Oxford8 papers
  6. 6University of Birmingham8 papers
  7. 7Centre National de la Recherche Scientifique4 papers
  8. 8Carnegie Mellon University4 papers
  9. 9University of Edinburgh4 papers
  10. 10TU Wien3 papers