Kleene Award - Kleene Award
 | Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. (Srpna 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The Kleene Award [1]se uděluje na výročním IEEE Symposium on Logic in Computer Science (LICS) autorům nejlepších studentských prací. Příspěvek se kvalifikuje jako studentský příspěvek, pokud je každý autor v době odeslání studentem. Způsobilí jsou také autoři, kteří promovali teprve nedávno, za předpokladu, že předložená práce vychází z práce provedené v době, kdy byl ještě studentem. O udělení ceny rozhoduje programový výbor.
Cena je pojmenována po Stephen Cole Kleene, kteří provedli průkopnickou práci v oblasti logiky související s informatikou.
Minulí příjemci
Minulí příjemci ceny Kleene jsou uvedeny v tabulce níže.[1]
| Rok | Příjemce | Papír |
|---|---|---|
| 1995 | Alexej P. Kopylov | „Rozhodnutelnost lineární afinní logiky“ |
| 1996 | Juha Nurmonen | "Počítání modulo kvantifikátorů na konečných lineárně seřazených stromech" |
| 1996 | Guy McCusker | „Hry a plná abstrakce pro FPC“ |
| 1997 | Julian Rathke | „Jedinečná indukce fixního bodu pro procesy předávání hodnoty“ |
| 1998 | Jean-Marie Le Bars | „Fragmenty existující logiky druhého řádu bez zákonů 0-1“ |
| 2000 | Lars Birkedal | „Obecná představa o realizovatelnosti“ |
| 2001 | Kazushige Terui | „Light Affine Lambda Calculus and Polytime Strong Normisation“ |
| 2001 | Frédéric Blanqui | „Definice přepisováním v počtu konstrukcí“ |
| 2002 | Albert Atserias | „Neuspokojivé náhodné vzorce se těžko certifikují“ |
| 2003 | Benjamin Rossman | „Konečný nástupce-invariance“ |
| 2004 | Felix Klaedtke | „O velikosti automatů pro Presburgerovu aritmetiku“ |
| 2005 | Benjamin Rossman | „Existenciálně pozitivní typy a ochrana pod homomorphisimy“ |
| 2006 | Ugo Dal Lago | „Kontextová sémantika, lineární logika a výpočetní složitost“ |
| 2007 | Nikos Tzevelekos | „Úplná abstrakce pro nominální obecné reference“ |
| 2008 | David Duris | „Věty o hypercyklocykličnosti a prodloužení“ |
| 2009 | Oliver Friedmann | „Exponenciální dolní mez pro algoritmus vylepšení strategie paritní hry, jak jej známe“ |
| 2010 | Anthony Widjaja To | „Parikh Images of Grammars: Complexity and Applications“ |
| 2011 | Willem Heijltjes | „Důkazní sítě pro aditivní lineární logiku s jednotkami“ |
| 2012 | Christoph Berkholz | „Nižší hranice pro existenční hry Pebble a testy k-konzistence“ |
| 2013 | Ori Lahav | „Od vlastností rámce k hypersquentním pravidlům v modálních logikách“ |
| 2014 | Yaron Velner | „Syntéza strategie konečné paměti pro robustní multidimenzionální cíle střední výplaty“ |
| 2014 | Flavien Breuvart | „K charakterizaci modelů H“ |
| 2015 | Fabian Reiter | "Distribuované automaty grafů" |
| 2016 | Steen Vester | „Vítězná jádra v paritních hrách“ |
| 2017 | Amina Doumane | „Konstruktivní úplnost pro mu-počet v lineárním čase“ |
| 2018 | Étienne Miquey | "Sekvenční počet se závislými typy pro klasickou aritmetiku" |
| 2019 | Renaud Vilmart | „Téměř minimální axiomatizace ZX-kalkulu pro kvantovou mechaniku Pure Qubit“ |
| 2020 | Julien Grange | „Nástupnická neměnná logika prvního řádu ve třídách omezeného stupně“ |
Viz také
Poznámky
- ^ A b „LICS - archiv“. lics.siglog.org.