Bilgisayar Teorisi Sempozyumu - Symposium on Theory of Computing

Hesaplama Teorisi üzerine Yıllık ACM Sempozyumu (STOC) bir akademik konferans nın alanında teorik bilgisayar bilimi. STOC, 1969'dan beri, tipik olarak Mayıs veya Haziran aylarında her yıl düzenlenmektedir; konferansın sponsoru Bilgi İşlem Makineleri Derneği Özel ilgi grubu SIGACT. 1970-2012 yılları arasında ortalama alınan STOC kabul oranı 2012'de% 29 ile% 31'dir.[1]

Gibi Fich (1996) yazıyor, STOC ve yıllık IEEE muadili FOCS ( Bilgisayar Biliminin Temelleri Sempozyumu ) teorik bilgisayar biliminde en iyi iki konferans olarak kabul edilir,[2] geniş olarak düşünüldüğünde: "bilgi işlem teorisi boyunca en iyi çalışmalardan bazıları için, bilgi işlem araştırmacılarının teorisi arasında genişliği teşvik eden ve topluluğu bir arada tutmaya yardımcı olan forumlardır." Johnson (1984) teorik bilgisayar bilimcilerinin tanımlayıcı özelliklerinden biri olarak STOC ve FOCS'a düzenli katılımı içerir.

Ödüller

Gödel Ödülü teorik bilgisayar bilimindeki seçkin makaleler için dönüşümlü olarak STOC'da ve Otomata, Diller ve Programlama Uluslararası Kolokyumu (ICALP); Knuth Ödülü Bilgisayar biliminin temellerine yapılan olağanüstü katkılar için dönüşümlü olarak STOC'da ve FOCS.

2003'ten beri STOC, bir veya daha fazla En İyi Bildiri Ödülünü verdi[3] Konferansta en yüksek kalitede kağıtları tanımak. Ek olarak, Danny Lewin En İyi Öğrenci Bildiri Ödülü, STOC'taki en iyi öğrenci tarafından yazılmış makalenin yazarına verilir.[4] Ödül onuruna Daniel M. Lewin, İnternet şirketini kuran Amerikalı-İsrailli bir matematikçi ve girişimci Akamai Teknolojileri ve ilk kurbanlardan biriydi 11 Eylül saldırıları.[5]

Tarih

STOC ilk olarak 5–7 Mayıs 1969'da Marina del Rey, Kaliforniya, Amerika Birleşik Devletleri. Konferans başkanı Patrick C. Fischer ve program komitesi şunlardan oluşuyordu: Michael A. Harrison, Robert W. Floyd, Juris Hartmanis, Richard M. Karp, Albert R. Meyer, ve Jeffrey D. Ullman.[6]

STOC'daki erken dönem makaleleri şunları içerir: Aşçı (1971) kavramını ortaya çıkaran NP-tamlık (Ayrıca bakınız Cook-Levin teoremi ).

yer

STOC, Kanada 1992, 1994, 2002 ve 2008'de ve Yunanistan 2001'de; 1969–2009'daki diğer tüm toplantılar Amerika Birleşik Devletleri. STOC, Federated Computing Research Conference (FCRC) 1993, 1996, 1999, 2003, 2007 ve 2011'de.

Davetli konuşmacılar

2004
Éva Tardos (2004), "Ağ oyunları", Bilişim Teorisi üzerine otuz altıncı yıllık ACM sempozyumunun bildirileri - STOC '04, sayfa 341–342, doi:10.1145/1007352.1007356, ISBN  978-1581138528
Avi Wigderson (2004), "Derinlik, ya da neden diğer alanlardaki görüşmelere katılmalıyız?", Bilgisayar Teorisi üzerine otuz altıncı yıllık ACM sempozyumu bildirileri - STOC '04, s. 579, doi:10.1145/1007352.1007359, ISBN  978-1581138528
2005
Lance Fortnow (2005), "NP'nin Ötesinde: Larry Stockmeyer'in eseri ve mirası", Hesaplama Teorisi üzerine otuz yedinci yıllık ACM sempozyum bildirileri - STOC '05, s. 120, doi:10.1145/1060590.1060609, ISBN  978-1581139600
2006
Prabhakar Raghavan (2006), "Web aramasının değişen yüzü: algoritmalar, açık artırmalar ve reklamcılık", Bilişim Teorisi üzerine otuz sekizinci yıllık ACM sempozyumunun bildirileri - STOC '06, s. 129, doi:10.1145/1132516.1132535, ISBN  978-1595931344
Russell Impagliazzo (2006), "Her randomize algoritma derandomize edilebilir mi?", Bilişim Teorisi üzerine otuz sekizinci yıllık ACM sempozyumu bildirileri - STOC '06, s. 373, doi:10.1145/1132516.1132571, ISBN  978-1595931344
2007
Nancy Lynch (2007), "Dağıtılmış hesaplama teorisi: algoritmalar, imkansızlık sonuçları, modeller ve kanıtlar", Bilişim Teorisi üzerine otuz dokuzuncu yıllık ACM sempozyumu bildirileri - STOC '07, s. 247, doi:10.1145/1250790.1250826, ISBN  9781595936318
2008
Jennifer Rexford (2008), "İnternet yönlendirmesini yeniden düşünme", Hesaplama Teorisi üzerine kırkıncı yıllık ACM sempozyumu bildirileri - STOC 08, s. 55, doi:10.1145/1374376.1374386, ISBN  9781605580470
David Haussler (2008), "Nasıl insan olduğumuzu hesaplamak", Hesaplama Teorisi üzerine kırkıncı yıllık ACM sempozyumu bildirileri - STOC 08, s. 639, doi:10.1145/1374376.1374468, ISBN  9781605580470
Ryan O'Donnell (2008), "Boole fonksiyonlarının analizinde bazı konular", Hesaplama Teorisi üzerine kırkıncı yıllık ACM sempozyumu bildirileri - STOC 08, s. 569, doi:10.1145/1374376.1374458, ISBN  9781605580470
2009
Shafi Goldwasser (2009), "Athena dersi: Programlara Erişimi Kontrol Etmek mi?", Hesaplama Teorisi Sempozyumu 41. Yıllık ACM Sempozyumu Bildirileri - STOC '09, s. 167–168, doi:10.1145/1536414.1536416, ISBN  9781605585062
2010
David S. Johnson (2010), "Teori ve Uygulamada Yaklaşım Algoritmaları" (Knuth Prize Lecture)
2011
Leslie G. Valiant (2011), "Doğanın Mekanistik Açıklamalarının Kapsamı ve Sınırlamaları" (2010 ACM Turing Ödül Konferansı)
Ravi Kannan (2011), "Algoritmalar: Son Önemli Noktalar ve Zorluklar" (2011 Knuth Ödülü Dersi)
David A. Ferruci (2011), "IBM'in Watson / DeepQA" (FCRC Genel Konuşması)
Luiz Andre Barroso (2011), "Depo Ölçeğinde Hesaplama: Genç On Yıla Girmek" (FCRC Genel Konuşması)
2013
Gary Miller (2013), Knuth Ödülü Dersi
Prabhakar Raghavan (2013), Genel konuşma
2014
Thomas Rothvoss (2014), "Eşleşen politop üstel uzantı karmaşıklığına sahiptir"
Shafi Goldwasser (2014), "Kriptografik Mercek" (Turing Ödülü Dersi) video
Silvio Micali (2014), "Silvio'ya göre kanıtlar" (Turing Ödülü Dersi) video
2015
Michael Stonebraker (2015), Turing Ödülü Dersi video
Andrew Yao (2015), FCRC Açılış Konuşması
László Babai (2015), Knuth Ödülü Dersi
Olivier Temam (2015), FCRC Açılış Konuşması
2016
Santosh Vempala (2016), "Yüksek Boyutta Örnekleme ve Optimizasyon Etkileşimi" (Davetli Konuşma)
Timothy Chan (2016), "Hesaplamalı Geometri, Alçaktan Yüksek Boyutlara" (Davetli Konuşma)
2017
Avi Wigderson (2017), "ToC'nin Doğası ve Geleceği Üzerine" (Açılış Konuşması)
Orna Kupferman (2017), "Klasik grafik teorisi problemlerinin resmi doğrulama yöntemleri açısından incelenmesi" (Keynote Talk)
Oded Goldreich (2017), Knuth Ödülü Dersi

Ayrıca bakınız

Notlar

  1. ^ "44. Bilgi İşlem Teorisi Sempozyumu Bildirileri". 2012. Alındı 2012-09-17.
  2. ^ "Konferans Sıralaması". Alındı 2016-08-30.
  3. ^ "STOC Konferansı En İyi Bildiri Ödülleri". Alındı 2012-04-07.
  4. ^ "Danny Lewin En İyi Öğrenci Bildirisi Ödülü". Arşivlenen orijinal 2008-06-20 tarihinde.
  5. ^ Leighton Tom (2002). "Tom Leighton tarafından, merhum Daniel Lewin onuruna STOC En İyi Öğrenci Bildiri Ödülü'nün adını anmak için yapılan açıklamalar".
  6. ^ Proc. STOC 1969.

Referanslar

Dış bağlantılar