Chuyên ngành Phân loại: THEORY

Hội nghị Khoa học Máy tính — THEORY

Các hội nghị khoa học chuyên ngành THEORY được bình duyệt quốc tế, phân hạng theo CORE và CCF.

Tổng số hội nghị

299

Hạng CORE A*

Đếm ngược tự động theo giờ AoE

Khám phá các chuyên ngành khác:Xem tất cả hạn nộp bài →

AI & ML Computer Vision NLP & Speech Security & Crypto Software Eng.Databases & Mining Systems & Arch.Networks HCI Theory & Algo Robotics

Hạn nộp bài sắp tới — Chuyên ngành THEORY

IEEE ADPRLCORE C

CLOSING SOON

IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning

IEEE--2026 10th International Conference on Power and Energy Engineering (ICPEE 2026)Chengdu, China

Hạn nộp bài:Nov 10, 2026 (AoE)

04Ngày

01Giờ

42Phút

12Giây

Chi tiết hội nghị Website

EVOCOPCORE BCCF N

OPEN

European Conference on Evolutionary Computation in Combinatorial Optimisation

EVOCOP 2027Mainz, Germany (hybrid)

Hạn nộp bài:Nov 17, 2026 (AoE)

10Ngày

13Giờ

42Phút

12Giây

Thông báo kết quả:Jan 10, 2027

Ghi chú:Full papers

Chi tiết hội nghị Website

S&PCORE A*CCF A

OPEN

48th IEEE Symposium on Security and Privacy

S&P 2027MONTREAL, CANADA

Hạn nộp bài:Nov 18, 2026 (AoE)

11Ngày

13Giờ

42Phút

12Giây

Hạn tóm tắt:Nov 11 (AoE)

Thông báo kết quả:Mar 5, 2027

Ghi chú:Second Paper submission deadline

Chi tiết hội nghị Website

Bảng xếp hạng Hội nghị — THEORY(20 / 299)

Mở trong bảng xếp hạng đầy đủ →

#101EURO

CORE C

European Conference on Operations Research

TheoryAI

H5-Index

—

Kỳ gần nhất

2026

32nd International European Conference on Parallel and Distributed Computing

Pisa, Italy • Aug 24–28, 2026

Chưa mở nộp bàiChi tiết

#102EUROCG

CORE C

European Workshop on Computational Geometry

Theory

H5-Index

—

Kỳ gần nhất

2018

European Workshop on Computational Geometry

Berlin, Germany • Mar 21–23, 2018

Chưa mở nộp bàiChi tiết

#103EUROCOMB

CORE C

EuroConference on Combinatorics, Graph Theory and Applications

Theory

H5-Index

—

Kỳ gần nhất

—

Kỳ tổ chức chưa công bố

Chưa mở nộp bàiChi tiết

#104EUROS&P

TOPCORE ACCF C

IEEE European Symposium on Security and Privacy

TheorySoftware EngineeringSEC+2

H5-Index

—

Kỳ gần nhất

2027

EUROS&P 2027

Madrid, Spain • Jul 5–9, 2027

Chưa mở nộp bàiChi tiết

#105EUSFLAT

CORE C

Conference of the European Society for Fuzzy Logic and Technologies

TheoryAI

H5-Index

—

Kỳ gần nhất

2015

SS on Data Mining and Knowledge Discovery (30 June-3 July, Gijón, Spain)

Gijón (Spain) • Jun 30 – Jul 3, 2015

Chưa mở nộp bàiChi tiết

#106EVOCOP

CORE BCCF N

European Conference on Evolutionary Computation in Combinatorial Optimisation

TheoryAICV

H5-Index

—

Kỳ gần nhất

2027

EVOCOP 2027

Mainz, Germany (hybrid) • Mar 31 – Apr 2, 2027

10 ngày

Chi tiết

#107FATES

CORE C

A Satellite workshop on Formal Approaches to Testing of Software

Theory

H5-Index

—

Kỳ gần nhất

—

Kỳ tổ chức chưa công bố

Chưa mở nộp bàiChi tiết

#108FAW

CORE NATIONAL

International Frontiers of Algorithmics Workshop

Theory

H5-Index

—

Kỳ gần nhất

2019

The Thirteenth International Frontiers of Algorithmics Workshop

Sanya, China • Apr 29 – May 3, 2019

Chưa mở nộp bàiChi tiết

#109FCT

CORE B

International Symposium on Fundamentals of Computation Theory

Theory

H5-Index

—

Kỳ gần nhất

2025

25th International Symposium on Fundamentals of Computation Theory

Wrocław, Poland • Sep 15–17, 2025

Chưa mở nộp bàiChi tiết

#110FLOPS

CORE NATIONAL

International Symposium on Functional and Logic Programming

Theory

H5-Index

—

Kỳ gần nhất

2026

18th International Symposium on Functional and Logic Programming

Akita, Japan • May 26–28, 2026

Chưa mở nộp bàiChi tiết

#111FM

TOPCORE ACCF A

International Symposium on Formal Methods

TheorySoftware EngineeringSE

H5-Index

—

Kỳ gần nhất

2027

FM 2027

Athens, Greece • Oct 18–22, 2027

Chưa mở nộp bàiChi tiết

#112FMCAD

CORE BCCF B

Formal Methods in Computer-Aided Design

TheorySoftware EngineeringCT

H5-Index

—

Kỳ gần nhất

2026

FMCAD 2026

Graz, Austria • Sep 14–14, 2018

Chưa mở nộp bàiChi tiết

#113FMICS

CORE C

Int. Workshop on Formal Methods for Industrial Critical Systems

Software EngineeringTheory

H5-Index

—

Kỳ gần nhất

2024

29th International Conference on Formal Methods for Industrial Critical Systems

Milano • Sep 9–11, 2024

Chưa mở nộp bàiChi tiết

#114FMP

CORE C

Formal Methods Pacific

Theory

H5-Index

—

Kỳ gần nhất

—

Kỳ tổ chức chưa công bố

Chưa mở nộp bàiChi tiết

#115FMPPTA

CORE C

International Workshop on Formal Methods for Parallel Programming: Theory and Applications

Theory

H5-Index

—

Kỳ gần nhất

—

Kỳ tổ chức chưa công bố

Chưa mở nộp bàiChi tiết

#116FOCS

TOPCORE A*CCF A

IEEE Symposium on Foundations of Computer Science (FOCS)

CSTheoryCT

H5-Index

—

Kỳ gần nhất

2026

FOCS 2026

New York City, NY, USA • Nov 8–11, 2026

Chưa mở nộp bàiChi tiết

#117FOIS

CORE C

International Conference on Formal Ontology in Information Systems

Information SystemsTheoryAI

H5-Index

—

Kỳ gần nhất

2026

16th International Conference on Formal Ontology in Information Systems

Vitória, ES, Brazil • Sep 21–25, 2026

Chưa mở nộp bàiChi tiết

#118FOSSACS

CORE B

Foundations of Software Science and Computational Structures

Software EngineeringTheory

H5-Index

—

Kỳ gần nhất

2024

27th International Conference on Foundations of Software Science and Computation Structures

Luxembourg City • Apr 6–11, 2024

Chưa mở nộp bàiChi tiết

#119FPSAC

CORE B

Formal Power Series and Algebraic Combinatorics

Theory

H5-Index

—

Kỳ gần nhất

—

Kỳ tổ chức chưa công bố

Chưa mở nộp bàiChi tiết

#120FRUCT

CORE REGIONAL

IEEE Conference of the Open Innovations Association FRUCT

TheoryDistributed SystemsOS

H5-Index

—

Kỳ gần nhất

2026

The 40th IEEE FRUCT Conference

Online and Helsinki, Finland • Nov 4–6, 2026

Chưa mở nộp bàiChi tiết

Trang 6 / 15

Trước Sau