جائزة كلين
تُمنح جائزة كلين [ 1 ] في ندوة IEEE السنوية حول المنطق في علوم الحاسوب (LICS) لأفضل ورقة بحثية طلابية. تُعتبر الورقة البحثية بحثًا طلابيًا إذا كان كل مؤلف طالبًا في تاريخ تقديمها. كما يحق للمؤلفين الذين تخرجوا حديثًا الترشح، شريطة أن تكون الورقة البحثية المقدمة مبنية على عمل أُنجز أثناء دراستهم. وتتخذ اللجنة المنظمة قرار منح الجائزة.
سُميت الجائزة على اسم ستيفن كول كلين ، الذي قام بعمل رائد في مجال المنطق فيما يتعلق بعلوم الحاسوب.
المستفيدون السابقون
تم إدراج أسماء الحاصلين السابقين على جائزة كلين في الجدول أدناه. [ 1 ]
| سنة | متلقي | ورق |
|---|---|---|
| 1995 | أليكسي ب. كوبيلوف | "قابلية الحسم في المنطق الخطي الأفيني" |
| 1996 | جوها نورمونين | "حساب الكميات المعيارية على الأشجار المرتبة خطيًا المحدودة" |
| 1996 | جاي مكوسكر | "الألعاب والتجريد الكامل للحاسوب الشخصي" |
| 1997 | جوليان راثكي | "تقنية الاستقراء الفريدة ذات النقطة الثابتة لعمليات تمرير القيمة" |
| 1998 | جان ماري لو بار | "شذرات من منطق الرتبة الثانية الوجودي بدون قوانين 0-1" |
| 2000 | لارس بيركيدال | "مفهوم عام عن إمكانية التحقيق" |
| 2001 | كازوشيجي تيروي | "حساب التفاضل والتكامل الأفيني الخفيف والتطبيع القوي متعدد الأوقات" |
| 2001 | فريدريك بلانكي | "التعريفات عن طريق إعادة الكتابة في حساب الإنشاءات" |
| 2002 | ألبرت أتسيرياس | "من الصعب اعتماد الصيغ العشوائية غير القابلة للتنفيذ" |
| 2003 | بنيامين روسمان | "ثبات التابع في المحدود" |
| 2004 | فيليكس كليدتكه | "حول حجم الأوتوماتا لحسابات بريسبرغر" |
| 2005 | بنيامين روسمان | "الأنواع الإيجابية الوجودية والحفاظ عليها في ظل التماثلات" |
| 2006 | أوجو دال لاجو | "دلالات السياق، والمنطق الخطي، والتعقيد الحسابي" |
| 2007 | نيكوس تزيفليكوس | "تجريد كامل للمراجع العامة الاسمية" |
| 2008 | ديفيد دوريس | "نظريات عدم وجود دورات في الرسم البياني الفائق وحفظ الامتداد" |
| 2009 | أوليفر فريدمان | "حد أدنى أسي لخوارزمية تحسين استراتيجية لعبة التكافؤ كما نعرفها" |
| 2010 | أنتوني ويدجاجا تو | "صور باريك للقواعد النحوية: التعقيد والتطبيقات" |
| 2011 | ويليم هيلتجيس | "شبكات إثبات المنطق الخطي الجمعي مع الوحدات" |
| 2012 | كريستوف بيركهولز | "الحدود الدنيا لألعاب الحصى الوجودية واختبارات الاتساق من الرتبة k" |
| 2013 | أوري لاهاف | "من خصائص الإطار إلى قواعد التسلسل الفائق في المنطق الموجه" |
| 2014 | يارون فيلنر | "توليف استراتيجيات الذاكرة المحدودة لأهداف العائد المتوسط متعددة الأبعاد القوية" |
| 2014 | فلافيان بروفار | "حول توصيف نماذج H" |
| 2015 | فابيان رايتر | "أتمتة الرسوم البيانية الموزعة" |
| 2016 | ستين فيستر | "الفوز بالنقاط الأساسية في ألعاب التكافؤ" |
| 2017 | أمينة دوماني | "الاكتمال البنّاء لحساب التفاضل والتكامل الخطي في الزمن" |
| 2018 | إتيان ميكي | "حساب متتابع بأنواع تابعة للحساب الكلاسيكي" |
| 2019 | رينو فيلمارت | "صياغة بديهية شبه دنيا لحساب ZX لميكانيكا الكم الكيوبتية النقية" |
| 2020 | جوليان جرانج | "المنطق من الدرجة الأولى الثابت على فئات ذات درجة محدودة" |
| 2021 | موريتز ليختر وجيمي تاكر فولتز | |
| 2022 | إيلينا دي لافور ويواف مونتاكوت | |
| 2024 | سورين برينك كنودستورب | "العنصر S ذو الصلة غير قابل للتحديد" |
انظر أيضاً
ملحوظات
- 1 2 "LICS - Archive" . lics.siglog.org .
روابط خارجية
فئة :
- جوائز علوم الحاسوب