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

Jawaban:

85

UMUM :

CC: KOMPLEKSITAS

CG: GEOMETRI KOMPUTASI

CR: CRYPTOGRAPHY DAN KEAMANAN

DB: TEORI DATABASE

DC: KOMPUTING DISTRIBUSI, PARALEL, DAN CLUSTER

DM: MATEMATIKA DAN KOMBINATORIK DISKRIT

DS: STRUKTUR DATA DAN ALGORITMA

FL: TEORI OTOMATA DAN BAHASA FORMAL

GT: TEORI PERMAINAN ALGORITMA

LG: TEORI BELAJAR

LO: LOGIK DALAM ILMU KOMPUTER

PL: BAHASA PEMROGRAMAN

SC: KOMPUTASI SIMBOLIK

PENYEDIAAN TEORI

KUANTUM

RO: Robotika

BIOLOGI KOMPUTASI

LAIN

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