Daftar konferensi dan lokakarya TCS

90

Saya ingin meminta bantuan dalam menyusun daftar sebanyak mungkin konferensi dan lokakarya terkait TCS. Motivasi utama saya untuk melakukan ini adalah merencanakan kemungkinan peliputan blog dari lebih banyak tempat teori - menemukan koresponden yang menghadiri acara-acara ini yang bersedia menulis entri blog singkat atau mendalam tentang acara yang mereka hadiri. Di luar itu, saya berharap daftar seperti ini akan memberi semua orang perasaan yang lebih baik tentang letak teori tanah.

Saya akan menabur pertanyaan dengan jawaban yang berisi beberapa konferensi "jelas". Silakan mengedit jawaban saya dan / atau memposting jawaban tambahan Anda sendiri.

Singkatan standar konferensi, nama konferensi, pokok pembicaraan, semua catatan tambahan.

Dimaksudkan sebagai komunitas wiki.

soft-question big-list conferences

— Aaron Sterling
sumber

7

+1 - Saya sudah lama ingin menanyakan hal ini tetapi tidak karena alasan yang disebutkan Kaveh. Sekarang setelah Anda memilikinya, saya memberikan suara keras untuk mempertahankannya.

— Huck Bennett

5

Saya pikir itu bisa menjadi sumber yang bermanfaat. Satu-satunya masalah mungkin adalah jika orang mencoba untuk menentukan peringkat konferensi atau jika kita mendapatkan perdebatan apakah konferensi tertentu dalam lingkup atau tidak.

— Artem Kaznatcheev

3

Saran saya adalah bahwa ini harus disusun seperti posting P vs NPC. Dalam hal itu ada satu master "diterima" jawaban yang memelihara penyatuan semua jawaban lain yang diposting di komentar lain.

— Suresh Venkat

3

@Marcos: Satu kemungkinan adalah kita dapat membuat halaman di blog komunitas setelah daftar stabil di sini. Saya telah memulai utas utas untuk membahas halaman blog statis di sini: meta.cstheory.stackexchange.com/questions/1297/…

— Aaron Sterling

8

Microsoft Research benar-benar melakukan daftar ini konferensi di sini: academic.research.microsoft.com/... .

— Gopi

85

UMUM :

STOC, ACM Simposium tentang Teori Komputasi
FOCS, Simposium IEEE tentang Yayasan Ilmu Komputer
ICALP EATCS Kolokium Internasional tentang Automata, Bahasa dan Pemrograman
(A: algoritma, kompleksitas, B: logika, semantik, C: jaringan)
FOSSACS, Yayasan Sains Perangkat Lunak dan Struktur Komputasi
STACS, Simposium Aspek Teoritis Ilmu Komputer
MFCS, Yayasan Matematika Ilmu Komputer
FSTTCS, Yayasan Teknologi Perangkat Lunak dan Ilmu Komputer Teoretis
Konferensi COCOON, Computing dan Combinatorics
ITCS, Inovasi dalam Ilmu Komputer Teoritis
CSR, Ilmu Komputer di Rusia
ISAAC, Simposium Internasional tentang Algoritma dan Komputasi
TAMC, Teori dan Aplikasi Model Komputasi
COCOA, Konferensi tentang Optimalisasi dan Aplikasi Kombinatorial
FM, Metode Formal
FCT, Dasar-Dasar Teori Komputasi
LATIN, Simposium Amerika Latin tentang Informatika Teoritis
SOFSEM, Konferensi tentang Tren Saat Ini dalam Teori dan Praktek Ilmu Komputer
TASE, Aspek Teoritis dari rekayasa perangkat lunak

CC: KOMPLEKSITAS

CG: GEOMETRI KOMPUTASI

SOCG, Simposium tentang Geometri Komputasi
CCCG, Konferensi Kanada tentang Geometri Komputasi
EuroCG, Lokakarya Eropa tentang Geometri Komputasi

CR: CRYPTOGRAPHY DAN KEAMANAN

CRYPTO, Konferensi Kriptologi Internasional
EUROCRYPT, Konferensi tentang Teori dan Aplikasi Teknik Kriptografi
ASIACRYPT, Konferensi Teori dan Penerapan Kriptologi
LATINCRYPT, Konferensi Internasional tentang Kriptologi dan Keamanan Informasi di Amerika Latin
AFRICACRYPT, Konferensi Internasional tentang Kriptologi di Afrika
PQCRYPTO, Konferensi Internasional tentang Kriptografi Post-Quantum
TCC, Konferensi Teori Kriptografi
PKC, Konferensi Internasional tentang Praktik dan Teori dalam Kriptografi Kunci Publik
FSE, Konferensi Enkripsi Perangkat Lunak Cepat
CHES, Konferensi Perangkat Keras Kriptografi dan Sistem Tertanam
IEEE S&P, Simposium IEEE tentang Keamanan dan Privasi
CCS, Konferensi ACM tentang Keamanan Komputer dan Komunikasi
POST, Prinsip Keamanan dan Kepercayaan
CSF, Simposium Yayasan Keamanan Komputer

DB: TEORI DATABASE

SIGMOD / PODS, ACM Simposium tentang Prinsip-prinsip Sistem Database (keduanya menerima teori, tetapi SIGMOD memiliki cakupan yang lebih luas)
ICDT, Konferensi internasional tentang Teori Basis Data
VLDB, Pangkalan Data Sangat Besar
AMW, Alberto Mendelzon International Workshop tentang Yayasan Manajemen Data

DC: KOMPUTING DISTRIBUSI, PARALEL, DAN CLUSTER

DM: MATEMATIKA DAN KOMBINATORIK DISKRIT

DS: STRUKTUR DATA DAN ALGORITMA

SODA, ACM-SIAM Simposium tentang Algoritma Diskrit
ESA, Simposium Eropa tentang Algoritma (trek A adalah teoretis)
WADS, Algoritma dan Simposium Struktur Data
SAT, Teori dan Aplikasi Pengujian Kepuasan
SWAT, Simposium Skandinavia , dan Lokakarya tentang Teori Algoritma
ALENEX, Teknik Algoritma dan Eksperimen
SOSA, Simposium tentang Kesederhanaan dalam Algoritma
IPCO, Pemrograman Integer dan Optimalisasi Kombinatorial
APPROX / RANDOM, Lokakarya tentang Algoritma Perkiraan untuk Masalah Optimasi / Lokakarya tentang Pengacakan dan Komputasi
WAOA, Workshop tentang Perkiraan dan Algoritma Online
IPEC, Simposium Internasional tentang Parameterisasi dan Komputasi Tepat
IWOCA, Workshop Internasional tentang Algoritma Combinatorial
WAW, Workshop tentang Algoritma dan Model untuk Web-Graph
CPM, Pencocokan Pola Kombinatorial
CP, Prinsip dan Praktek Pemrograman Kendala

FL: TEORI OTOMATA DAN BAHASA FORMAL

GT: TEORI PERMAINAN ALGORITMA

LG: TEORI BELAJAR

COLT, Konferensi Teori Belajar
ALT, Teori Belajar Algoritma

LO: LOGIK DALAM ILMU KOMPUTER

PL: BAHASA PEMROGRAMAN

POPL, Prinsip-Prinsip Bahasa Pemrograman
ICFP, Konferensi Internasional tentang Pemrograman Fungsional
ETAPS, Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak (termasuk FOSSACS, ESOP dan POST, lihat entri terpisah)
ESOP, Simposium Eropa tentang Pemrograman
MSFP, Pemrograman Fungsional Terstruktur Secara Matematika
MFPS, Yayasan Matematika Pemrograman Semantik

SC: KOMPUTASI SIMBOLIK

PENYEDIAAN TEORI

CADE, Konferensi Internasional tentang Pengurangan Otomatis
ITP, Pembuktian Teorema Interaktif
CPP, Bukti dan Program Bersertifikat

KUANTUM

RO: Robotika

WAFR, Workshop tentang Yayasan Robotika Algoritma .

BIOLOGI KOMPUTASI

RECOMB: Penelitian dalam Biologi Molekuler Komputasi
ISMB: Sistem Cerdas untuk Biologi Molekuler
WABI: Workshop tentang Algoritma dalam Bioinformatika

LAIN

CAV, Verifikasi Bantuan Komputer
GD, Simposium Internasional tentang Gambar Grafik
MENYENANGKAN, Konferensi Internasional tentang Kesenangan dengan Algoritma
DNA, Komputasi DNA dan Pemrograman Molekuler (Komputasi DNA, Jalur A adalah teoretis, trek B adalah eksperimental)
DCM, Perkembangan dalam Model Komputasi
RTA, teknik dan aplikasi Penulisan Ulang
TLCA, Kalkulator dan aplikasi lambda yang diketik
UCNC, Komputasi Tidak Konvensional & Komputasi Alami

— András Salamon
sumber

4

Saya khawatir sekarang bahwa saya melihat ICML dan NIPS terdaftar di bawah teori belajar, karena mereka bahkan tidak mengaku sebagai konferensi teori. Membuat saya bertanya-tanya apakah sisa daftar memiliki masalah yang sama ...

— Lev Reyzin

7

Apakah konferensi RECOMB dan ISMB relevan untuk teori? Kesan saya adalah bahwa RECOMB lebih diarahkan pada alat dan aplikasi, sementara jenis ISMB mengharapkan hasil biologis. Secara umum, karya teoritis dalam biologi komputasi lebih mirip aplikasi daripada teori untuk orang teori.

— Jouni Sirén

4

@Lev: Dua sen saya: keluarkan konferensi jika Anda pikir itu jelas. Jika orang lain ingin mengeditnya kembali, orang itu dapat memberikan alasan bahwa mereka harus dimasukkan.

— Aaron Sterling

4

Bisakah editor tolong beri pembenaran untuk pengeditan mereka? Seseorang baru saja menghapus AfricaCrypt dari daftar, tanpa memberikan alasan. Apakah ini (a) bukan konferensi, atau (b) bukan konferensi TCS?

— Aaron Sterling

3

@ Kaveh: Tentu, saya ingin daftar semua konferensi TCS. Saya akan menikmatinya jika seseorang blog dari AfricaCrypt. Jangan mengubah ini menjadi argumen tentang pentingnya diperhatikan. Daftarnya hampir stabil.

— Aaron Sterling

15

Kalender konferensi oleh confsearch.org (hilang: AMW, MFPS, FPSAC, ITCS, QCRYPT, DCM).

— Jukka Suomela
sumber

4

Daftar konferensi disalin dari jawaban lain; setiap kali Anda menambahkan konferensi, harap edit URL juga.

— Jukka Suomela

4

Dan harap diingat bahwa confsearch.org adalah wiki; Anda dapat menambahkan informasi yang hilang di sana ...

— Jukka Suomela

confsearch.org juga memiliki kategori "Teori" di mana Anda dapat melihat semua konferensi Teori dan menambahkan konferensi yang hilang confsearch.org/confsearch/faces/pages/…

— Serge Gaspers

3

Ini daftar konferensi oleh Tom Friedetzky dan Daniel Paulusma adalah sumber daya bagus lain.

— Huck Bennett
sumber

3

Ini daftar acara cs yang akan datang sangat praktis, menurut pendapat saya.

— Michele Amoretti
sumber

0

Tautan ke Konferensi Kombinatorial

Konferensi Teori

— Manish Kumar
sumber