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

Hội nghị Khoa học Máy tính — Khoa học Máy tính Lý thuyết

Các hội nghị danh giá về thuật toán, độ phức tạp tính toán, thông tin lượng tử và lý thuyết tự động.

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 Khoa học Máy tính Lý thuyết

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)

03Ngày

06Giờ

27Phút

20Giâ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)

09Ngày

18Giờ

27Phút

20Giâ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)

10Ngày

18Giờ

27Phút

20Giâ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ị — Khoa học Máy tính Lý thuyết(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

Software EngineeringTheorySEC+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

9 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

Software EngineeringTheorySE

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

Software EngineeringTheoryCT

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