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
2
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 →
#181JELIA
CORE B

Logics in Artificial Intelligence, European Conference

TheoryAI
H5-Index
—
Edition
2025
19th European Conference on Logics in Artificial Intelligence
Kutaisi, Georgia • Sep 1–5, 2025
No upcoming deadlineDetails
No upcoming deadlineDetails
#183JGA
CORE C

French Journées de Géométrie Algorithmique

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#184JH
CORE C

Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#185KR
TOPCORE A*CCF B

International Conference on Principles of Knowledge Representation and Reasoning

TheoryAIKR+1
H5-Index
—
Edition
2027
KR 2027
Buenos Aires, Argentina • Sep 21–24, 2027
172 days left
Details
No upcoming deadlineDetails
#187L&L
CORE C

Workshop on Logic and Learning

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#188LAGOS
CORE C

Latin-American Algorithms, Graphs and Optimization Symposium

Theory
H5-Index
—
Edition
2023
Latin and American Algorithms, Graphs and Optimization Symposium
Huatulco, Mexico • Sep 18–22, 2023
No upcoming deadlineDetails
#189LARC
CORE C

NASA LaRC Formal Methods Workshop

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#190LATA
CORE C

International Conference on Language and Automata Theory and Applications

Theory
H5-Index
—
Edition
2020
14th International Conference on Language and Automata Theory and Applications
Milan • Mar 1–5, 2021
No upcoming deadlineDetails
#191LATIN
CORE B

International Symposium on Latin American Theoretical Informatics

Theory
H5-Index
—
Edition
2026
17th Latin American Theoretical Informatics Symposium
Florianópolis-Brazil • Apr 13–17, 2026
No upcoming deadlineDetails
#192LCCS
CORE C

International Workshop on Logic and Complexity in Computer Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#193LFCS
CORE NATIONAL

Logical Foundations of Computer Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#194LICS
TOPCORE A*CCF A

IEEE Symposium on Logic in Computer Science

TheoryCT
H5-Index
—
Edition
2027
LICS 2027
Montréal, Canada • Jun 21–24, 2027
No upcoming deadlineDetails
No upcoming deadlineDetails
#196LOPSTR
CORE C

International Symposium on Logic-based Program Synthesis and Transformation

Software EngineeringTheory
H5-Index
—
Edition
2025
Logic-based Program Synthesis and Transformation
Rende, Italy • Sep 9–10, 2025
No upcoming deadlineDetails
#197LPAR
CORE B

Logic Programming and Automated Reasoning

TheoryAI
H5-Index
—
Edition
2024
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Mauritius • May 26–31, 2024
No upcoming deadlineDetails
#198LPNMR
CORE B

International Conference on Logic Programming and Non-monotonic Reasoning

TheoryAI
H5-Index
—
Edition
2026
18th International Conference on Logic Programming and Non-monotonic Reasoning
Klagenfurt, Austria • Sep 7–11, 2026
No upcoming deadlineDetails
No upcoming deadlineDetails
#200MASSIVE
CORE C

Workshop on Massive Data Algorithmics

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
Page 10 of 15
PreviousNext