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
1
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 →
#101EURO
CORE C

European Conference on Operations Research

TheoryAI
H5-Index
—
Edition
2026
32nd International European Conference on Parallel and Distributed Computing
Pisa, Italy • Aug 24–28, 2026
No upcoming deadlineDetails
#102EUROCG
CORE C

European Workshop on Computational Geometry

Theory
H5-Index
—
Edition
2018
European Workshop on Computational Geometry
Berlin, Germany • Mar 21–23, 2018
No upcoming deadlineDetails
#103EUROCOMB
CORE C

EuroConference on Combinatorics, Graph Theory and Applications

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#104EUROS&P
TOPCORE ACCF C

IEEE European Symposium on Security and Privacy

TheorySoftware EngineeringSEC+2
H5-Index
—
Edition
2027
EUROS&P 2027
Madrid, Spain • Jul 5–9, 2027
No upcoming deadlineDetails
#105EUSFLAT
CORE C

Conference of the European Society for Fuzzy Logic and Technologies

TheoryAI
H5-Index
—
Edition
2015
SS on Data Mining and Knowledge Discovery (30 June-3 July, Gijón, Spain)
Gijón (Spain) • Jun 30 – Jul 3, 2015
No upcoming deadlineDetails
#106EVOCOP
CORE BCCF N

European Conference on Evolutionary Computation in Combinatorial Optimisation

TheoryAICV
H5-Index
—
Edition
2027
EVOCOP 2027
Mainz, Germany (hybrid) • Mar 31 – Apr 2, 2027
10 days left
Details
#107FATES
CORE C

A Satellite workshop on Formal Approaches to Testing of Software

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#108FAW
CORE NATIONAL

International Frontiers of Algorithmics Workshop

Theory
H5-Index
—
Edition
2019
The Thirteenth International Frontiers of Algorithmics Workshop
Sanya, China • Apr 29 – May 3, 2019
No upcoming deadlineDetails
#109FCT
CORE B

International Symposium on Fundamentals of Computation Theory

Theory
H5-Index
—
Edition
2025
25th International Symposium on Fundamentals of Computation Theory
Wrocław, Poland • Sep 15–17, 2025
No upcoming deadlineDetails
#110FLOPS
CORE NATIONAL

International Symposium on Functional and Logic Programming

Theory
H5-Index
—
Edition
2026
18th International Symposium on Functional and Logic Programming
Akita, Japan • May 26–28, 2026
No upcoming deadlineDetails
#111FM
TOPCORE ACCF A

International Symposium on Formal Methods

TheorySoftware EngineeringSE
H5-Index
—
Edition
2027
FM 2027
Athens, Greece • Oct 18–22, 2027
No upcoming deadlineDetails
#112FMCAD
CORE BCCF B

Formal Methods in Computer-Aided Design

TheorySoftware EngineeringCT
H5-Index
—
Edition
2026
FMCAD 2026
Graz, Austria • Sep 14–14, 2018
No upcoming deadlineDetails
#113FMICS
CORE C

Int. Workshop on Formal Methods for Industrial Critical Systems

Software EngineeringTheory
H5-Index
—
Edition
2024
29th International Conference on Formal Methods for Industrial Critical Systems
Milano • Sep 9–11, 2024
No upcoming deadlineDetails
#114FMP
CORE C

Formal Methods Pacific

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

IEEE Symposium on Foundations of Computer Science (FOCS)

CSTheoryCT
H5-Index
—
Edition
2026
FOCS 2026
New York City, NY, USA • Nov 8–11, 2026
No upcoming deadlineDetails
#117FOIS
CORE C

International Conference on Formal Ontology in Information Systems

Information SystemsTheoryAI
H5-Index
—
Edition
2026
16th International Conference on Formal Ontology in Information Systems
Vitória, ES, Brazil • Sep 21–25, 2026
No upcoming deadlineDetails
#118FOSSACS
CORE B

Foundations of Software Science and Computational Structures

Software EngineeringTheory
H5-Index
—
Edition
2024
27th International Conference on Foundations of Software Science and Computation Structures
Luxembourg City • Apr 6–11, 2024
No upcoming deadlineDetails
#119FPSAC
CORE B

Formal Power Series and Algebraic Combinatorics

Theory
H5-Index
—
Edition
—
Edition info TBA
No upcoming deadlineDetails
#120FRUCT
CORE REGIONAL

IEEE Conference of the Open Innovations Association FRUCT

TheoryDistributed SystemsOS
H5-Index
—
Edition
2026
The 40th IEEE FRUCT Conference
Online and Helsinki, Finland • Nov 4–6, 2026
No upcoming deadlineDetails
Page 6 of 15
PreviousNext