Kleene Ödülü - Kleene Award
 | Bu makalenin konusu Wikipedia'nınkiyle buluşmayabilir genel şöhret kılavuzu. (Ağustos 2020) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
Kleene Ödülü [1]yıllık olarak verilir Bilgisayar Bilimlerinde Mantık üzerine IEEE Sempozyumu (LICS) en iyi öğrenci makalelerinin yazarlarına. Her yazar, gönderim tarihinde öğrenci ise, bir makale öğrenci ödevi niteliğindedir. Ayrıca, gönderilen makalenin öğrenci iken yapılan çalışmaya dayalı olması koşuluyla, yalnızca yakın zamanda mezun olan yazarlar da uygundur. Ödül kararı Program Komitesi tarafından verilir.
Ödülün adı Stephen Cole Kleene, bilgisayar bilimi ile ilgili olarak mantık alanında öncü çalışmalar yaptı.
Geçmiş alıcılar
Kleene ödülünün geçmişteki sahipleri aşağıda tablo halinde verilmiştir.[1]
| Yıl | Alıcı | Kağıt |
|---|---|---|
| 1995 | Alexei P. Kopylov | "Doğrusal Afin Mantığının Karar Verilebilirliği" |
| 1996 | Juha Nurmonen | "Sonlu Doğrusal Sıralı Ağaçlarda Modülo Niceleyicileri Sayma" |
| 1996 | Guy McCusker | "Oyunlar ve FPC için Tam Soyutlama" |
| 1997 | Julian Rathke | "Değer Aktaran Süreçler için Benzersiz Sabit Nokta İndüksiyonu" |
| 1998 | Jean-Marie Le Barlar | "0-1 Yasası Olmayan Varoluşsal İkinci Derece Mantığın Parçaları" |
| 2000 | Lars Birkedal | "Genel Bir Gerçekleştirilebilirlik Kavramı" |
| 2001 | Kazushige Terui | "Hafif Afin Lambda Hesabı ve Polytime Güçlü Normalleştirme" |
| 2001 | Frédéric Blanqui | "İnşaatlar Hesaplamasında Yeniden Yazma Yoluyla Tanımlar" |
| 2002 | Albert Atserias | "Tatmin Edilemez Rastgele Formüllerin Onaylanması Zor" |
| 2003 | Benjamin Rossman | "Sonlu Halef-Değişmezliği" |
| 2004 | Felix Klaedtke | "Presburger Aritmetiği için Otomata Boyutunda" |
| 2005 | Benjamin Rossman | "Varoluşsal Pozitif Tipler ve Homomorfizmalar Altında Koruma" |
| 2006 | Ugo Dal Lago | "Bağlam Semantiği, Doğrusal Mantık ve Hesaplamalı Karmaşıklık" |
| 2007 | Nikos Tzevelekos | "Nominal genel referanslar için tam özet" |
| 2008 | David Duris | "Hipergraf Çevrimsizliği ve Uzatma Koruma Teoremleri" |
| 2009 | Oliver Friedmann | "Bildiğimiz Gibi Eşlik Oyunu Stratejisi İyileştirme Algoritması için Üstel Alt Sınır" |
| 2010 | Anthony Widjaja To | "Gramerlerin Parikh Görüntüleri: Karmaşıklık ve Uygulamalar" |
| 2011 | Willem Heijltjes | "Birimlerle Katmanlı Doğrusal Mantık için İspat Ağları" |
| 2012 | Christoph Berkholz | "Varoluşsal Çakıl Oyunları için Alt Sınırlar ve k-Tutarlılık Testleri" |
| 2013 | Ori Lahav | "Modal Mantıkta Çerçeve Özelliklerinden Hipersequent Kurallarına" |
| 2014 | Yaron Velner | "Sağlam, çok boyutlu ortalama getiri hedefleri için sonlu bellek strateji sentezi" |
| 2014 | Flavien Breuvart | "H modellerinin karakterizasyonu hakkında" |
| 2015 | Fabian Reiter | "Dağıtılmış Grafik Otomatı" |
| 2016 | Steen Vester | "Eşlik Oyunlarında Kazanma Çekirdekleri" |
| 2017 | Amina Doumane | "Doğrusal-zaman mu-hesabı için yapıcı tamlık" |
| 2018 | Étienne Miquey | "Klasik aritmetik için bağımlı türlere sahip ardışık bir hesap" |
| 2019 | Renaud Vilmart | "Saf Qubit Kuantum Mekaniği için ZX-Kalkülüsün Neredeyse Minimal Aksiyomizasyonu" |
| 2020 | Julien Grange | "Sınırlı Derece Sınıfları Üzerine Ardıl-Değişmez Birinci Derece Mantık" |
Ayrıca bakınız
Notlar
- ^ a b "LICS - Arşiv". lics.siglog.org.