ImpaQ Ecosystem•Clarivate, Scopus & CORE Data
Clarivate WoS 2024 / 2025 Data
IMPAQ
Taxonomy Domain: THEORY

THEORY Computer Science Conferences

Peer-reviewed scientific conferences in the THEORY computer science subfield ranked by CORE and CCF.

Total Conferences
299
CORE A* Venues
0
Live AoE Deadlines
Real-time AoE countdowns
Explore other CS subfields:View all deadlines →
AI & MLComputer VisionNLP & SpeechSecurity & CryptoSoftware Eng.Databases & MiningSystems & Arch.NetworksHCITheory & AlgoRobotics

Upcoming Deadlines in THEORY

THEORY Conference Rankings(20 / 299)

Open full table view →
#141ICES
CORE C

International Conference on Computational Engineering Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#142ICFCA
CORE C

International Conference Formal Concept Analysis Conference

TheoryAICV
H5-Index
—
Edition
2023
17th International Conference on Formal Concept Analysis
Kassel, Germany • Jul 17–21, 2023
No upcoming deadlineDetails
#143ICGT
CORE B

International Conference on Graph Transformations

Data ScienceTheoryDB
H5-Index
—
Edition
2026
International Conference on Graph Transformation
Rennes • Jun 29 – Jul 3, 2026
No upcoming deadlineDetails
#144ICLP
CORE B

International Conference on Logic Programming

Software EngineeringTheory
H5-Index
—
Edition
2026
22nd Doctoral Consortium on Logic Programming
Lisbon • Jul 18–18, 2026
No upcoming deadlineDetails
#145ICM
CORE C

International Congress of Mathematicians

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#146ICO
CORE C

SIGOPT - International Conference on Optimization

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#147ICOTA
CORE C

International Conference on Optimization: Techniques And Applications

TheoryAI
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#148ICTAC
CORE C

International Colloquium on Theoretical Aspects of Computing

Theory
H5-Index
—
Edition
2026
International Colloquium on Theoretical Aspects of Computing
Bariloche, Argentina • Nov 11–13, 2026
No upcoming deadlineDetails
#149ICTCS
CORE C

Italian Conference on Theoretical Computer Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#150ICTL
TOPCORE A

International Conference on Temporal Logic

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#151IEEE ADPRL
CORE C

IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning

TheoryMachine LearningAI
H5-Index
—
Edition
2027
2027 IEEE Symposium Series on Computational Intelligence
Gold Coast, Queensland, Australia • Feb 14–17, 2027
4d 1h
Details
#152IEEE VAST
CORE C

IEEE Symposium on Visual Analytics Science and Technology

TheoryHCI
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#153IFIP TCS
CORE C

IFIP International Conference on Theoretical Computer Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#154IFM
CORE B

Integrated Formal Methods

Software EngineeringTheory
H5-Index
—
Edition
2025
20th International Conference on Integrated Formal Methods
Paris, France • Nov 19–21, 2025
No upcoming deadlineDetails
#155IJCAR
TOPCORE ACCF B

International Joint Conference on Automated Reasoning

TheorySoftware EngineeringAI+2
H5-Index
—
Edition
2026
IJCAR 2026
Lisbon, Portugal • Jul 26–29, 2026
No upcoming deadlineDetails
#156ILP
CORE B

Inductive Logic Programming

Theory
H5-Index
—
Edition
2018
28th International Conference on Inductive Logic Programming
Ferrara, Italy • Sep 2–4, 2018
No upcoming deadlineDetails
No upcoming deadlineDetails
#158INFORMATICS
CORE NATIONAL

IEEE International Scientific Conference on Informatics

Software EngineeringTheory
H5-Index
—
Edition
2026
The 19th International Conference on Brain Informatics (BI'26) December 3-6, 2026
Brisbane, Queensland, Australia • Dec 3–6, 2026
No upcoming deadlineDetails
#159INOC
CORE C

International Network Optimization Conference

TheoryDistributed SystemsOS
H5-Index
—
Edition
2013
International Network Optimization Conference
Tenerife, Spain • May 20–22, 2013
No upcoming deadlineDetails
#160IPCO
CORE B

Conference on Integer Programming and Combinatorial Optimization

Theory
H5-Index
—
Edition
2025
The 26th Conference on Integer Programming and Combinatorial Optimization
Baltimore • Jun 11–13, 2025
No upcoming deadlineDetails
Page 8 of 15
PreviousNext