ندوة حول أسس علوم الحاسوب

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة

يُعدّ المؤتمر السنوي لمؤسسة مهندسي الكهرباء والإلكترونيات (IEEE) حول أسس علوم الحاسوب ( FOCS ) مؤتمراً أكاديمياً في مجال علوم الحاسوب النظرية . ويرعاه فرع الحاسوب التابع لمؤسسة مهندسي الكهرباء والإلكترونيات .

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

الجوائز

تُمنح جائزة كنوت للإسهامات المتميزة في علوم الحاسوب النظرية بالتناوب في مؤتمري FOCS و STOC . وتُمنح جائزة أفضل ورقة بحثية للأبحاث المتميزة التي تُقدم في المؤتمر. [ 3 ] إضافةً إلى ذلك، تُمنح جائزة ماختي لأفضل ورقة بحثية من تأليف طالب في مؤتمر FOCS.

تاريخ

في الفترة من 1960 إلى 1965، عُرف مؤتمر FOCS باسم " ندوة نظرية دوائر التبديل والتصميم المنطقي" ، وفي الفترة من 1966 إلى 1974 عُرف باسم " ندوة نظرية التبديل والأتمتة" . ويُستخدم الاسم الحالي منذ عام 1975. [ 4 ] ويستخدم الناشر الاختصار SFCS على مواقع الويب الخاصة به للمؤتمرات التي عُقدت في الفترة من 1975 إلى 1987. [ 5 ]

تتضمن صفحات غلاف المؤتمر عملاً فنياً بعنوان "التشابك العصبي " للفنان ألفي راي سميث ؛ وقد تبرع سميث بالعمل الفني الأصلي لمعهد سيمونز في عام 2023. [ 6 ]

موقع

تُعقد مؤتمرات FOCS بشكل حصري تقريبًا في أمريكا الشمالية، وخاصة في الولايات المتحدة، مع استثناءات قليلة. [ 7 ]

سنةرؤساء اللجان المحلية ورؤساء اللجان المحليةموقعاللجنة التوجيهيةلجنة جائزة اختبار الزمن
1975دانيال روزنكرانتز (رئيس اللجنة التنفيذية)، يوجين لولر (الرئيس المحلي)بيركلي
1976مايكل فيشر (رئيس اللجنة التنفيذية)، ميرا بلاتنر (رئيسة اللجنة المحلية)هيوستن
1977بول يونغ (رئيس اللجنة المحلية)، جون سافاج (رئيس اللجنة المحلية)بروفيدنس
1978نانسي لينش (رئيسة لجنة التخطيط)، ويليام راوندز (رئيس اللجنة المحلية)آن أربور
1979راو كوساراجو (رئيس مجلس الكمبيوتر)، رولاندو بينادو (الرئيس المحلي)سان خوان، بورتوريكو
1980سيراكيوز
1981أرنولد روزنبرغ (رئيس اللجنة التنفيذية)، باتريك فيشر (الرئيس المحلي)ناشفيل
1982شيكاغو
1983لورانس سنايدر (رئيس اللجنة السياسية)، بيتر داوني (الرئيس المحلي)توسون
1984جزيرة سينجر
1985روبرت تارجان (رئيس اللجنة التنفيذية)، يوجين لوكس (الرئيس المحلي)بورتلاند
1986جون هوبكروفت (رئيس اللجنة التنفيذية)، تشارلز راكوف (الرئيس المحلي)تورنتوأشوك تشاندرا (رئيس مجلس إدارة TCMF)
1987توم لايتون (رئيس اللجنة السياسية)، سيمور جينسبيرغ (الرئيس المحلي)، مينغ-ديه هوانغ (الرئيس المحلي)لوس أنجلوس"
1988وايت بلينز
1989تسفي جليل (رئيس اللجنة التنفيذية)، جون ريف (الرئيس المحلي)منتزه مثلث الأبحاثكريستوس باباديميتريو (رئيس TCMF)
1990ميهاليس ياناكاكيس (رئيس الكمبيوتر)، جوناثان تورنر (الرئيس المحلي)سانت لويس"
1991مايك سيبسر (رئيس اللجنة التنفيذية)، توم لايتون (الرئيس المحلي)، ألوك أغاروال (الرئيس المحلي)سان خوان، بورتوريكو"
1992مايكل لوبي (رئيس اللجنة السياسية)، غاري ميلر (الرئيس المحلي)بيتسبرغ
1993ليونيداس ج. غيباس (رئيس اللجنة التنفيذية)، أندريه برودر (الرئيس المحلي)بالو ألتو
1994شافي جولدفاسر (رئيس اللجنة)، سورين إسترايل (الرئيس المحلي)سانتا فيه
1995برابهاكار راغافان (رئيس اللجنة)، أديتي داغات (الرئيسة المحلية)، رينيه بيرالتا (الرئيس المحلي)ميلووكي
1996مارتن تومبا (رئيس اللجنة التنفيذية)، كارل سميث (الرئيس المحلي)برلنغتون
1997آنا كارلين (رئيسة اللجنة التنفيذية)، فيكتور ميلينكوفيتش (الرئيس المحلي)شاطئ ميامي
1998راجيف موتاني ، مايكل ميتزنماخر (الرئيس المحلي)بالو ألتو
1999بول بيم (رئيس اللجنة التنفيذية)، بيوتر بيرمان (الرئيس المحلي)نيويورك
2000أفريم بلوم (رئيس اللجنة التنفيذية)، ماريك خروباك (رئيس اللجنة المحلية)، تاو جيانغ (رئيس اللجنة المحلية)شاطئ ريدوندو
2001موني ناور (رئيس اللجنة التنفيذية)، لورانس لارمور (الرئيس المحلي)، وولفغانغ بينلاس فيغاس
2002برنارد شازيل (رئيس اللجنة التنفيذية) أرفيند غوبتا (رئيس اللجنة المحلية)فانكوفر، كندا
2003مادو سودان (رئيس اللجنة التنفيذية)، مايكل ميتزنماخر (الرئيس المحلي)كامبريدج
2004إيلي أوبفال (رئيس اللجنة التنفيذية)، جوزيبي إف. إيتاليانو (الرئيس المحلي)روما، إيطاليا
2005إيفا تاردوس (رئيسة اللجنة التنفيذية)، أفريم بلوم (رئيس اللجنة المحلية)، أنوبام غوبتا (رئيس اللجنة المحلية)بيتسبرغ
2006سانجيف أرورا ، ساتيش راو (الرئيس المحلي)بيركلي
2007أليستير سنكلير (رئيس اللجنة التنفيذية)، فيليب كلاين (الرئيس المحلي)، آنا ليسيانسكايا (الرئيسة المحلية)، كلير ماثيو (الرئيسة المحلية)بروفيدنس
2008آر. رافي (رئيس اللجنة)، سوديبتو جوها (الرئيس المحلي)، سانجيف خانا (الرئيس المحلي)، سامباث كانان (الرئيس المحلي)فيلادلفيابول بيم (رئيس مجلس إدارة TCMF)
2009دان سبيلمان (رئيس مجلس الكمبيوتر)، ديفيد شمويز (الرئيس المشارك العام)، ميلينا ميهايل (الرئيس المحلي)، براساد تيتالي (الرئيس المحلي)أتلانتا"
2010لوكا تريفيسان (رئيس اللجنة التنفيذية)، لاري لارمور (رئيس اللجنة المحلية)لاس فيغاس"
2011رافائيل أوستروفسكي (رئيس اللجنة التنفيذية)، ماريك خروباك (الرئيس المحلي)، نيل يونغ (الرئيس المحلي)،بالم سبرينغز"
2012تيم رافغاردن (رئيس اللجنة التنفيذية)، ريبيكا رايت (الرئيسة المحلية)، ليزا تشانغ (الرئيسة المحلية)، بوعز باراك (رئيس ورشة العمل)، أفريم بلوم (رئيس ورشة العمل)نيو برونزويكديفيد شمويز (رئيس مجلس إدارة TCMF)
2013عمر رينغولد (رئيس اللجنة التنفيذية)، كريستوس باباديميتريو (الرئيس المحلي)، أوميش فازيراني (الرئيس المحلي)، موسى شاريكار (رئيس ورشة العمل)، كريس أومانس (رئيس ورشة العمل)بيركلي"
2014بواز باراك (رئيس اللجنة التنفيذية)، ريبيكا رايت (الرئيسة المحلية)، ليزا تشانغ (الرئيسة المحلية)، سانجيف خانا (رئيس ورشة العمل)، كونال تالوار (رئيس ورشة العمل)فيلادلفيا"
2015فينكاتيسان جوروسوامي (رئيس الكمبيوتر)، كريستين كين (الرئيس المحلي)، براساد راغافيندرا ، لوكا تريفيسانبيركليرافائيل أوستروفسكي (رئيس مجلس إدارة TCMF)
2016إيريت دينور (رئيسة اللجنة التنفيذية)، ريبيكا رايت (الرئيسة المحلية)، ليزا تشانغ (الرئيسة المحلية)، ألكسندر أندوني (رئيس ورشة العمل)، ألكسندر مادري (رئيس ورشة العمل)نيو برونزويك"
2017كريس أومانس (رئيس اللجنة التنفيذية)، أندرو جان (الرئيس المحلي)، براساد راغافيندرا (الرئيس المحلي)، ألكسندر مادري (رئيس ورشة العمل)، جيمس ر. لي (رئيس ورشة العمل)بيركلي"
2018ميكيل ثورب (رئيس اللجنة التنفيذية)، آدي روزين (الرئيس المحلي)، صوفي لابلانت (الرئيسة المحلية المشاركة)، أليساندرو لونغو (الرئيس المحلي المشارك)، روبرت كلاينبيرغ (رئيس ورشة العمل)، جيمس ر. لي (رئيس ورشة العمل)باريس، فرنساYuval Rabani (TCMF Chair), Shang-Hua Teng (TCMF Vice Chair), Avrim Blum, Shafi Goldwasser, Rafail Ostrovsky, Toniann Pitassi
2019David Zuckerman (PC Chair), Michael Dinitz (Local Chair), Maria-Florina Balcan (Workshop Chair), Robert Kleinberg (Workshop Chair)Baltimore"Paul Beame, Allan Borodin, Uriel Feige, Monika Henzinger, Johan Håstad (chair), Mihalis Yannakakis (inaugural award)
2020Sandy Irani (PC Chair), Debmalya Panigrahi (Local Chair), Kamesh Munagala (Local Chair), Maria-Florina Balcan (Workshop Chair), Alexander Sherstov (Workshop Chair)Virtual (planned for Raleigh/Durham)"Paul Beame (chair), Uriel Feige, Anna Karlin, Yishay Mansour, Claire Mathieu, Luca Trevisan
2021Nisheeth Vishnoi (PC Chair), Alexandra Kolla (Local/Finance Chair), Vincent Cohen-Addad (Workshop Chair), Alexander Sherstov (Workshop Chair)Virtual (planned for Denver)"Russell Impagliazzo, Yael Tauman Kalai, Anna Karlin, Yishay Mansour, Michael Saks, Luca Trevisan (chair)
2022Jelani Nelson (PC chair), Alexandra Kolla (Local Chair), Rong Ge (Finance Chair), Vincent Cohen-Addad (Workshop Chair), Henry Yuen (Workshop Chair)DenverShang-Hua Teng (TCMF Chair), Venkatesan Guruswami (TCMF Vice Chair), Avrim Blum, Shafi Goldwasser, Rafail Ostrovsky, Toniann Pitassi, Yuval RabaniRussell Impagliazzo, Yael Tauman Kalai, Michael Saks (chair), Alistair Sinclair, Éva Tardos, David Zuckerman
2023Amit Sahai (PC Chair), Shubhangi Saraf (PC Co-chair), Thomas Vidick (PC Co-chair), Alexandra Kolla (General Chair), Pravesh Kothari (Workshop Chair), Henry Yuen (Workshop Chair)Santa Cruz"جين-يي كاي ، فيث إيلين ، ليونارد شولمان ، أليستير سنكلير ، إيفا تاردوس ، ديفيد زوكرمان (رئيس)
2024سانتوش فيمبالا (رئيس اللجنة)، أرافيندان فيجاياراجافان (الرئيس العام)، ليف رايزين (الرئيس العام)، محسن غفاري (رئيس ورشة العمل)، برافيش كوثاري (رئيس ورشة العمل)شيكاغوران كانيتي (رئيس مجلس إدارة TCMF)، روكو سيرفيديو (نائب رئيس مجلس إدارة TCMF)جين يي كاي (الرئيس)، جوليا تشوزوي ، كونستانتينوس داسكالاكيس ، فيث إلين ، شافي جولدفاسر ، ليونارد شولمان
2025ران راز (رئيس اللجنة التنفيذية)، روتيم أوشمان (الرئيس المشارك للجنة التنفيذية)، كليمنت كانون (الرئيس العام)، تروي لي (رئيس الشؤون المالية)، محسن غفاري (رئيس ورشة العمل)، داكشيتا خورانا (رئيسة ورشة العمل)سيدني، أسترالياران كانيتي (رئيس مجلس إدارة TCMF)، روكو سيرفيديو (نائب رئيس مجلس إدارة TCMF)شافي جولدفاسر (الرئيس)، جوليا تشوزوي ، كونستانتينوس داسكالاكيس ، إيريت دينور ، بيوتر إنديك ، ريان أودونيل

انظر أيضاً

مراجع

  1. ↑ فيش، فيث (1996)، "قضايا البنية التحتية المتعلقة بنظرية أبحاث الحوسبة"، مجلة ACM Computing Surveys ، 28 (4es): 217–es، doi : 10.1145/242224.242502 ، S2CID 195706843 
  2. ↑ جونسون، د.س. (1984)، "أصول علم الحاسوب النظري: تقرير أولي"، أخبار ACM SIGACT ، 16 (2): 36-49 ، doi : 10.1145/1008959.1008960 ، S2CID 26789249 
  3. ↑ "أفضل الجوائز الورقية في AAAI، ACL، CHI، CIKM، CVPR، FOCS، FSE، ICCV، ICML، ICSE، IJCAI، INFOCOM، KDD، MOBICOM، NEURIPS، NSDI، OSDI، PLDI، PODS، S&P، SIGCOMM، SIGIR، SIGMETRICS، SIGMOD، SODA، SOSP، STOC، UIST، فلدب، WWW" .
  4. ↑ هارتمانيس، جوريس (1981)، "ملاحظات حول تطور علم الحاسوب النظري"، حوليات IEEE لتاريخ الحوسبة ، 3 (1): 42-51 ، doi : 10.1109/MAHC.1981.10005 ، hdl : 1813/6244 ، ISSN 1058-6180 
  5. ↑ ١٩٧٥ ، ...، ١٩٨٧ موقع IEEE الإلكتروني
  6. ↑ غولدواسير، شافي (فبراير 2023). "رسالة من المدير" . معهد سيمونز . تم الاطلاع عليه بتاريخ 22-12-2025 .
  7. ↑ ندوة IEEE حول أسس علوم الحاسوب (FOCS)