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 →
No upcoming deadlineDetails
#202MATLAB
CORE AUSTRALASIAN

Australian MATLAB Conference

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#203MCU
CORE C

Machines, Computations and Universality (was Universal Machines and Computations)

Theory
H5-Index
—
Edition
2024
Machines, Computations, and Universality
Nice, France • Jun 5–7, 2024
No upcoming deadlineDetails
#204MEGA
CORE B

Methods Effectives en Geometrie Algebrique

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#205MEMOCODE
CORE C

MEMOCODE 2023

TheorySoftware EngineeringSYS
H5-Index
—
Edition
2025
MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
Taipei, Taiwan • Oct 2–3, 2025
No upcoming deadlineDetails
#206MFCS
CORE B

International Symposium on Mathematical Foundations of Computer Science

Theory
H5-Index
—
Edition
2026
Mathematical Foundations of Computer Science
Paris, France • Aug 24–28, 2026
No upcoming deadlineDetails
#207MFPS
CORE B

International Conference on Mathematical Foundations of Programming Semantics

Theory
H5-Index
—
Edition
2017
Mathematical Foundations of Programming Semantics
Ljubljana University, Slovenia • Jun 12–15, 2017
No upcoming deadlineDetails
#208MIGHTY
CORE C

Mid-West Conference on Combinatorics, Cryptography, and Computing

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#209MMICS
CORE C

Mathematical Methods in Computer Science

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#210MOPTA
CORE NATIONAL

Modelling and Optimization: Theory and Applications

TheoryAI
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#211MPC
CORE B

Mathematics of Program Construction

Theory
H5-Index
—
Edition
2015
Mathematics of Program Construction
Königswinter, Germany • Jun 29 – Jul 1, 2015
No upcoming deadlineDetails
#212NESY
CORE C

International Conference on Neurosymbolic Learning and Reasoning

TheoryAIMachine Learning
H5-Index
—
Edition
2018
Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning
Prague • Aug 23–24, 2018
No upcoming deadlineDetails
#213NFM
CORE C

The Northern Formal Methods Workshops

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#214ODSA
CORE C

Optimal Discrete Structures and Algorithms

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#215OLA
CORE C

Workshop on On-Line Algorithms

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#216OP
CORE C

SIAM Conference on Optimization

TheoryAI
H5-Index
—
Edition
2026
53rd International Symposium on Operational Research
Kopaonik, Serbia • Sep 29 – Oct 2, 2026
No upcoming deadlineDetails
#217ORDAL
CORE C

Conference on Orders, Algorithms and Applications

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#218ORPA
CORE C

Conference on Operational Research Practice in Africa

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#219OTA
CORE C

Optimization: Techniques And Applications

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#220PADO
CORE C

Symposium on Programs as Data Objects

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