Danh sách hội nghị và hội thảo của TCS

Tôi muốn nhờ giúp đỡ trong việc biên soạn một danh sách càng nhiều hội nghị và hội thảo liên quan đến TCS càng tốt. Động lực chính của tôi để làm điều này là lên kế hoạch đưa tin về blog có thể có nhiều địa điểm lý thuyết hơn - tìm kiếm các phóng viên tham dự các sự kiện này, những người sẽ sẵn sàng viết các mục blog ngắn gọn hoặc chuyên sâu về các sự kiện họ đang tham dự. Ngoài ra, tôi hy vọng một danh sách như thế này sẽ cho mọi người cảm nhận rõ hơn về vị trí của vùng đất lý thuyết.

Tôi sẽ gieo câu hỏi bằng một câu trả lời có chứa một vài hội nghị "rõ ràng". Xin vui lòng chỉnh sửa câu trả lời của tôi và / hoặc đăng câu trả lời bổ sung của riêng bạn.

Viết tắt tiêu chuẩn của hội nghị, tên của hội nghị, chủ đề, bất kỳ ghi chú bổ sung.

Dự định là wiki cộng đồng.

CHUNG :

• STOC, Hội nghị chuyên đề ACM về lý thuyết tính toán
• FOCS, Hội thảo chuyên đề về nền tảng của khoa học máy tính
• ICALP EATCS International Colloquium về Automata, Ngôn ngữ và Lập trình
  (A: thuật toán, độ phức tạp, B: logic, ngữ nghĩa, C: mạng)
• FOSSACS, nền tảng của khoa học phần mềm và cấu trúc tính toán
• STACS, Hội thảo chuyên đề về các khía cạnh lý thuyết của khoa học máy tính
• MFCS, cơ sở toán học của khoa học máy tính
• FSTTCS, nền tảng của công nghệ phần mềm và khoa học máy tính lý thuyết
• COCOON, Hội nghị máy tính và kết hợp
• ITCS, Những đổi mới trong khoa học máy tính lý thuyết
• CSR, Khoa học máy tính ở Nga
• ISAAC, Hội thảo quốc tế về thuật toán và tính toán
• TAMC, Lý thuyết và ứng dụng của mô hình tính toán
• COCOA, Hội nghị về tối ưu hóa kết hợp và ứng dụng
• FM, Phương thức chính thức
• FCT, Nguyên tắc cơ bản của lý thuyết tính toán
• LATIN, Hội nghị chuyên đề Mỹ Latinh về tin học lý thuyết
• SOFSEM, Hội thảo về xu hướng hiện tại về lý thuyết và thực hành khoa học máy tính
• TASE, Các khía cạnh lý thuyết của công nghệ phần mềm

CC: THÀNH PHẦN

• CCC, Hội nghị của IEEE về Độ phức tạp tính toán
• SIROCCO, International Colloquium về cấu trúc thông tin và truyền thông phức tạp

CG: GEOMETRY MÁY TÍNH

• SOCG, Hội thảo chuyên đề về Hình học tính toán
• CCCG, Hội nghị Canada về Hình học tính toán
• EuroCG, Hội thảo châu Âu về hình học tính toán

CR: CRYPTOGRAPHY VÀ AN NINH

• CRYPTO, Hội nghị về tiền điện tử quốc tế
• EUROCRYPT, Hội thảo về lý thuyết và ứng dụng của kỹ thuật mã hóa
• ASIACRYPT, Hội thảo về lý thuyết và ứng dụng của tiền điện tử
• LATINCRYPT, Hội nghị quốc tế về tiền điện tử và bảo mật thông tin ở Mỹ Latinh
• AFRICACRYPT, Hội nghị quốc tế về tiền điện tử ở châu Phi
• PQCRYPTO, Hội nghị quốc tế về mật mã sau lượng tử
• TCC, Lý thuyết về Hội nghị Mật mã
• PKC, Hội thảo quốc tế về thực hành và lý thuyết về mật mã khóa công khai
• FSE, Hội nghị về mã hóa phần mềm nhanh
• CHES, Hội nghị về Phần cứng và Hệ thống nhúng Mật mã
• IEEE S & P, Hội nghị chuyên đề về bảo mật và quyền riêng tư của IEEE
• CCS, Hội nghị ACM về bảo mật máy tính và truyền thông
• POST, Nguyên tắc bảo mật và tin cậy
• CSF, Hội nghị chuyên đề bảo mật máy tính

DB: LÝ THUYẾT CƠ SỞ

• SIGMOD / PODS, Hội nghị chuyên đề ACM về các nguyên tắc của hệ thống cơ sở dữ liệu (cả hai đều chấp nhận lý thuyết, nhưng SIGMOD có phạm vi rộng hơn)
• ICDT, Hội thảo quốc tế về lý thuyết cơ sở dữ liệu
• VLDB, cơ sở dữ liệu rất lớn
• AMW, Alberto Mendelzon Hội thảo quốc tế về nền tảng của quản lý dữ liệu

DC: PHÂN PHỐI, PARALLEL, VÀ MÁY TÍNH CLUSTER

• PODC, Hội nghị chuyên đề ACM về các nguyên tắc tính toán phân tán
• DISC, Hội thảo quốc tế về tính toán phân tán
• Hội nghị chuyên đề về SPAA, ACM về tính song song trong thuật toán và kiến ​​trúc
• IPDPS, Hội nghị chuyên đề về xử lý phân tán và song song quốc tế của IEEE
• ICDCN, Hội nghị quốc tế về điện toán phân tán và mạng
• OPODIS, Hội nghị quốc tế về các nguyên tắc của hệ thống phân tán
• SSS, Hội thảo quốc tế về Ổn định, An toàn và Bảo mật của Hệ thống Phân tán
• Algosensors, Hội thảo quốc tế về thuật toán cho các hệ thống cảm biến, Mạng quảng cáo không dây và các thực thể di động tự trị

DM: TOÁN HỌC TOÁN VÀ KẾT HỢP

• WG, Hội thảo quốc tế về các khái niệm lý thuyết đồ thị trong khoa học máy tính
• LAGOS, Thuật toán Mỹ, Đồ thị và Hội nghị Tối ưu hóa

DS: CẤU TRÚC DỮ LIỆU VÀ GIỚI THIỆU

• Hội thảo chuyên đề SODA, ACM-SIAM trên các thuật toán rời rạc
• ESA, Hội nghị chuyên đề châu Âu về thuật toán (theo dõi A là lý thuyết)
• WADS, Hội thảo chuyên đề về thuật toán và cấu trúc dữ liệu
• SAT, Lý thuyết và Ứng dụng của Kiểm tra mức độ hài lòng
• SWAT, Hội nghị chuyên đề Scandinavia và Hội thảo về Lý thuyết thuật toán
• ALENEX, Kỹ thuật thuật toán và thử nghiệm
• SOSA, Hội nghị chuyên đề về tính đơn giản trong thuật toán
• IPCO, lập trình số nguyên và tối ưu hóa kết hợp
• APPROX / RANDOM, Hội thảo về các thuật toán gần đúng cho các vấn đề tối ưu hóa / Hội thảo về ngẫu nhiên và tính toán
• WAOA, Hội thảo về các thuật toán gần đúng và trực tuyến
• IPEC, Hội thảo quốc tế về tính toán tham số và chính xác
• IWOCA, Hội thảo quốc tế về thuật toán kết hợp
• WAW, Hội thảo về Thuật toán và Mô hình cho Đồ thị Web
• CPM, Kết hợp mẫu kết hợp
• CP, nguyên tắc và thực hành lập trình ràng buộc

FL: LÝ THUYẾT TỰ ĐỘNG VÀ NGÔN NGỮ FORMAL

• DLT, Hội thảo quốc tế về phát triển lý thuyết ngôn ngữ
• LATA, Ngôn ngữ và lý thuyết tự động và ứng dụng
• AFL, Automata và ngôn ngữ chính thức
• NCMA, Mô hình phi cổ điển của Automata và Ứng dụng
• CIAA, Hội nghị quốc tế về triển khai và ứng dụng Automata
• DFCS, Độ phức tạp mô tả của các hệ thống chính thức

GT: LÝ THUYẾT TRÒ CHƠI TUYỆT VỜI

• EC, Thương mại điện tử
• SAGT, Hội thảo quốc tế về lý thuyết trò chơi thuật toán
• RƯỢU, Hội thảo về Internet và Kinh tế mạng

LG: LÝ THUYẾT HỌC

• COLT, Hội thảo về lý thuyết học tập
• ALT, lý thuyết học thuật toán

LO: LOGIC TRONG KHOA HỌC MÁY TÍNH

• LICS, Hội thảo chuyên đề về logic trong khoa học máy tính
• CONCUR, Hội thảo quốc tế về lý thuyết đồng thời
• CSL, Khoa học máy tính Logic
• CiE, tính tương thích ở châu Âu
• LCC, Hội thảo quốc tế về logic và độ phức tạp tính toán
• WoLLIC, Hội thảo về Logic, Ngôn ngữ, Thông tin và Tính toán
• Điểm nổi bật của logic, trò chơi và automata

PL: LẬP TRÌNH NGÔN NGỮ

• POPL, Nguyên tắc của ngôn ngữ lập trình
• ICFP, Hội nghị quốc tế về lập trình chức năng
• ETAPS, Hội nghị chung châu Âu về lý thuyết và thực hành phần mềm (bao gồm FOSSACS, ESOP và POST, xem các mục riêng biệt)
• ESOP, Hội nghị chuyên đề châu Âu về lập trình
• MSFP, Lập trình chức năng cấu trúc toán học
• MFPS, Cơ sở toán học của ngữ nghĩa lập trình

SC: TÍNH TOÁN

• ISSAC: Hội thảo quốc tế về tính toán tượng trưng và đại số
• FPSAC: Chuỗi sức mạnh chính thức và Kết hợp đại số
• CASC: Đại số máy tính trong tính toán khoa học
• SNC: Tính toán số tượng trưng

Định lý

• CADE, Hội nghị quốc tế về khấu trừ tự động
• ITP, Định lý tương tác Chứng minh
• CPP, Chứng nhận và Chương trình

SỐ LƯỢNG

• QIP, Hội thảo về Xử lý thông tin lượng tử
• QCMC, Hội nghị quốc tế về truyền thông lượng tử, thông tin và máy tính
• TQC, Lý thuyết về tính toán lượng tử, truyền thông và mật mã
• AQIS, Hội nghị khoa học thông tin lượng tử châu Á
• QCRYPT, Hội nghị về Mật mã học lượng tử
• QEC, Hội nghị quốc tế về sửa lỗi lượng tử
• CEQIP, Hội thảo xử lý thông tin lượng tử Trung Âu

RO: Robotics

• WAFR, Hội thảo về Quỹ thuật toán Robotics .

SINH HOC TINH TOAN

• RECOMB: Nghiên cứu sinh học phân tử tính toán
• ISMB: Hệ thống thông minh cho sinh học phân tử
• WABI: Hội thảo về thuật toán trong tin sinh học

KHÁC

• CAV, Xác minh hỗ trợ máy tính
• GD, Hội thảo quốc tế về Vẽ đồ thị
• FUN, Hội nghị quốc tế về niềm vui với thuật toán
• DNA, Điện toán DNA và Lập trình phân tử (Điện toán DNA, Track A là lý thuyết, track B là thử nghiệm)
• DCM, Phát triển trong các mô hình tính toán
• RTA, Viết lại các kỹ thuật và ứng dụng
• TLCA, đánh máy lambda và các ứng dụng
• UCNC, tính toán độc đáo & tính toán tự nhiên

Lịch hội thảo của confsearch.org (thiếu: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).

Đây danh sách các hội nghị của Tom Friedetzky và Daniel Paulusma là một nguồn tốt đẹp.

Đây danh sách các sự kiện sắp tới? Cs là rất thực tế, theo ý kiến của tôi.

Liên kết đến Hội nghị kết hợp

Hội thảo lý thuyết