ندوة حول نظرية الحوسبة

يُعدّ المؤتمر السنوي لجمعية آلات الحوسبة حول نظرية الحوسبة ( STOC ) مؤتمرًا أكاديميًا في مجال علوم الحاسوب النظرية . يُعقد STOC سنويًا منذ عام 1969، عادةً في شهري مايو أو يونيو؛ ويرعاه فريق الاهتمام الخاص التابع لجمعية آلات الحوسبة (SIGACT) . بلغ متوسط ​​نسبة قبول الأبحاث في STOC، خلال الفترة من 1970 إلى 2012، 31%، بينما بلغت النسبة 29% في عام 2012. ^{[ 1 ]}

كما كتب فيش (1996) ، يُعتبر مؤتمر STOC ونظيره السنوي التابع لمعهد مهندسي الكهرباء والإلكترونيات FOCS ( ندوة أسس علوم الحاسوب ) من أهم مؤتمرين في علوم الحاسوب النظرية، ^{[ 2 ]} بمعناها الواسع: فهما "منبران لبعض أفضل الأعمال في مجال نظرية الحوسبة، مما يعزز التنوع بين باحثي نظرية الحوسبة ويساعد على الحفاظ على تماسك المجتمع". ويضيف جونسون (1984) أن الحضور المنتظم لمؤتمري STOC وFOCS هو أحد السمات المميزة لعلماء الحاسوب النظريين.

تُمنح جائزة غودل للأوراق المتميزة في علوم الحاسوب النظرية بالتناوب في مؤتمر STOC وفي الندوة الدولية حول الأتمتة واللغات والبرمجة (ICALP)؛ وتُمنح جائزة كنوت للمساهمات المتميزة في أسس علوم الحاسوب بالتناوب في مؤتمر STOC وفي مؤتمر FOCS .

منذ عام ٢٠٠٣، تُقدّم STOC جائزة أو أكثر لأفضل ورقة بحثية ^{[ ٣ ]} تقديرًا للأوراق البحثية المتميزة في المؤتمر. إضافةً إلى ذلك، تُمنح جائزة داني ليوين لأفضل ورقة بحثية طلابية لمؤلف (مؤلفي) أفضل ورقة بحثية من تأليف طالب واحد في STOC. ^{[ ٤ ]} سُمّيت الجائزة تكريمًا لدانيال م. ليوين ، عالم الرياضيات ورائد الأعمال الأمريكي الإسرائيلي، الذي شارك في تأسيس شركة أكاماي تكنولوجيز للإنترنت ، وكان من أوائل ضحايا هجمات ١١ سبتمبر . ^{[ ٥ ]}

عُقد مؤتمر STOC لأول مرة في الفترة من 5 إلى 7 مايو 1969، في مارينا ديل ري ، كاليفورنيا ، الولايات المتحدة الأمريكية . وكان رئيس المؤتمر باتريك سي. فيشر ، وتألفت لجنة البرنامج من مايكل أ. هاريسون ، وروبرت دبليو. فلويد ، وجوريس هارتمانيس ، وريتشارد إم. كارب ، وألبرت آر. ماير ، وجيفري دي. أولمان . ^{[ 6 ]}

تشمل الأوراق البحثية الرائدة المبكرة في STOC كوك (1971) ، الذي قدم مفهوم اكتمال NP (انظر أيضًا نظرية كوك-ليفين ).

عُقد مؤتمر STOC في كندا أعوام 1992، 1994، 2002، 2008، و2017، وفي اليونان عام 2001، وكمؤتمر افتراضي/عبر الإنترنت عامي 2020 و2021، وفي إيطاليا عام 2022؛ أما باقي الاجتماعات بين عامي 1969 و2023 فقد عُقدت في الولايات المتحدة . وكان STOC جزءًا من مؤتمر أبحاث الحوسبة الموحدة (FCRC) أعوام 1993، 1996، 1999، 2003، 2007، 2011، 2015، 2019، و2023.

2004

إيفا تاردوس (2004)، "ألعاب الشبكة"، وقائع الندوة السنوية السادسة والثلاثين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '04 ، الصفحات 341-342 ، doi : 10.1145/1007352.1007356 ، ISBN  978-1581138528، S2CID 18249534 

آفي ويغدرسون (2004)، "العمق من خلال الاتساع، أو لماذا ينبغي علينا حضور المحاضرات في مجالات أخرى؟"، وقائع الندوة السنوية السادسة والثلاثين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '04 ، ص  579، doi : 10.1145/1007352.1007359 ، ISBN 978-1581138528، S2CID 27563516 

2005

لانس فورتناو (2005)، "ما وراء NP: أعمال وإرث لاري ستوكمير"، وقائع الندوة السنوية السابعة والثلاثين لجمعية ACM حول نظرية الحوسبة - STOC '05 ، ص  120، doi : 10.1145/1060590.1060609 ، ISBN 978-1581139600، S2CID 16558679 

2006

برابهاكار راغافان (2006)، "الوجه المتغير للبحث على الويب: الخوارزميات والمزادات والإعلان"، وقائع الندوة السنوية الثامنة والثلاثين لجمعية ACM حول نظرية الحوسبة - STOC '06 ، ص  129، doi : 10.1145/1132516.1132535 ، ISBN 978-1595931344، S2CID 19222958 

راسل إمباغليازو (2006)، "هل يمكن إزالة عشوائية كل خوارزمية عشوائية؟"، وقائع الندوة السنوية الثامنة والثلاثين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '06 ، الصفحات 373-374 ، doi : 10.1145/1132516.1132571 ، ISBN  978-1595931344، S2CID 22433370 

2007

نانسي لينش (2007)، "نظرية الحوسبة الموزعة: الخوارزميات، ونتائج الاستحالة، والنماذج، والبراهين"، وقائع الندوة السنوية التاسعة والثلاثين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '07 ، ص  247، doi : 10.1145/1250790.1250826 ، ISBN 9781595936318، S2CID 22140755 

2008

جينيفر ريكسفورد (2008)، "إعادة التفكير في توجيه الإنترنت"، وقائع الندوة السنوية الأربعين لجمعية ACM حول نظرية الحوسبة - STOC 08 ، الصفحات 55-56 ، doi : 10.1145/1374376.1374386 ، ISBN  9781605580470، S2CID 10958242 

ديفيد هاوسلر (2008)، "حوسبة كيف أصبحنا بشرًا"، وقائع الندوة السنوية الأربعين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC 08 ، الصفحات 639-640 ، doi : 10.1145/1374376.1374468 ، ISBN  9781605580470، S2CID 30452365 

ريان أودونيل (2008)، "بعض المواضيع في تحليل الدوال البوليانية"، وقائع الندوة السنوية الأربعين لجمعية الحوسبة الآلية حول نظرية الحوسبة - STOC 08 ، الصفحات 569-578 ، doi : 10.1145/1374376.1374458 ، ISBN  9781605580470، S2CID 1241681 

2009

شافي غولدواسير (2009)، "محاضرة أثينا: التحكم في الوصول إلى البرامج؟"، وقائع الندوة السنوية الحادية والأربعين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '09 ، الصفحات 167-168 ، doi : 10.1145/1536414.1536416 ، ISBN  9781605585062

2010

ديفيد إس. جونسون (2010)، "خوارزميات التقريب في النظرية والتطبيق" (محاضرة جائزة كنوت)

2011

ليزلي جي. فاليانت (2011)، "مدى وحدود التفسيرات الآلية للطبيعة" (محاضرة جائزة تورينج لعام 2010 من جمعية آلات الحوسبة)

رافي كانان (2011)، "الخوارزميات: أبرز المستجدات والتحديات" (محاضرة جائزة كنوت 2011)

ديفيد أ. فيروتشي (2011)، "واتسون/ديب كيو إيه من آي بي إم" (حديث عام في مركز أبحاث الاتصالات المالية)

لويز أندريه باروسو (2011)، "الحوسبة على نطاق المستودعات: الدخول في عقد المراهقة" (حديث عام في مركز أبحاث الحوسبة الوظيفية)

2013

غاري ميلر (2013)، محاضرة جائزة كنوت

برابهاكار راغافان (2013)، محادثة عامة

2014

توماس روثفوس (2014)، "المضلع المطابق له تعقيد امتداد أسي"

شافي غولدواسير (2014)، "العدسة التشفيرية" (محاضرة جائزة تورينغ)فيديو

سيلفيو ميكالي (2014)، "البراهين وفقًا لسيلفيو" (محاضرة جائزة تورينج)فيديو

2015

محاضرة جائزة تورينج لمايكل ستونبريكر (2015).فيديو

أندرو ياو (2015)، المحاضرة الرئيسية في مركز أبحاث السرطان العائلية

لازلو باباي (2015)، محاضرة جائزة كنوث

أوليفييه تمام (2015)، محاضرة رئيسية لـ FCRC

2016

سانتوش فيمبالا (2016)، "التفاعل بين أخذ العينات والتحسين في الأبعاد العالية" (محاضرة مدعوة)

تيموثي تشان (2016)، "الهندسة الحسابية، من الأبعاد المنخفضة إلى الأبعاد العالية" (محاضرة مدعوة)

2017

آفي ويغدرسون (2017)، "حول طبيعة ومستقبل نظرية القيود" (محاضرة رئيسية)

أورنا كوبرمان (2017)، "دراسة مشاكل نظرية الرسم البياني الكلاسيكية من وجهة نظر أساليب التحقق الرسمي" (محاضرة رئيسية)

أوديد غولدريتش (2017)، محاضرة جائزة كنوت

• مؤتمرات في علوم الحاسوب النظرية.
• تتضمن قائمة مؤتمرات علوم الحاسوب مؤتمرات أكاديمية أخرى في مجال علوم الحاسوب.
• قائمة جوائز علوم الحاسوب

• كوك، ستيفن (1971)، "تعقيد إجراءات إثبات النظريات" (ملف PDF) ، وقائع مؤتمر STOC 1971 ، الصفحات 151-158 ، doi : 10.1145/800157.805047 ، S2CID 7573663  .
• فيش، فيث (1996)، "قضايا البنية التحتية المتعلقة بنظرية أبحاث الحوسبة"، مجلة ACM Computing Surveys ، 28 (4es): 217–es، doi : 10.1145/242224.242502 ، S2CID 195706843 .
• جونسون، د.س. (1984)، "أصول علم الحاسوب النظري: تقرير أولي"، أخبار ACM SIGACT ، 16 (2): 36-49 ، doi : 10.1145/1008959.1008960 ، S2CID 26789249 .

• الموقع الرسمي
• معلومات إجراءات STOC في DBLP .
• وقائع مؤتمر STOC في مكتبة ACM الرقمية .
• إحصائيات الاستشهاد لـ FOCS/STOC/SODA ، بيوتر إنديك وسوريش فينكاتاسوبرامانيان ، يوليو 2007.