International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Indexed in CORE Rankings with rank B (ICORE2026).
Prestige Metrics & Badges
Submission Deadlines & Live Countdown
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods • Brasília Brazil(26 – 29 Sep, 2017)
No active deadlines currently announced for the upcoming edition
Please check the official conference portal or DBLP for the latest Call for Papers announcements.
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Year 2026 | Theory of computation | Good conference (Top 35%–40% globally) |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | B | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.