Prix Kleene - Kleene Award
(Redirigé du prix Kleene )
Le prix Kleene est décerné lors du symposium annuel de l' IEEE sur la logique en informatique (LICS) aux auteurs du ou des meilleurs articles d'étudiants. Un article est considéré comme un article d'étudiant si chaque auteur est un étudiant à la date de soumission. Sont également éligibles les auteurs qui n'ont obtenu leur diplôme que récemment, à condition que l'article soumis soit basé sur des travaux réalisés alors qu'ils étaient encore étudiants. La décision d'attribution est prise par le comité du programme.
Le prix porte le nom de Stephen Cole Kleene , qui a fait un travail de pionnier dans le domaine de la logique liée à l'informatique.
Anciens destinataires
Les anciens récipiendaires du prix Kleene sont présentés ci-dessous.
| Année | Bénéficiaire | Papier |
|---|---|---|
| 1995 | Alexei P. Kopylov | "Décidabilité de la logique affine linéaire" |
| 1996 | Juha Nurmonen | "Comptage de quantificateurs modulo sur des arbres finis ordonnés linéairement" |
| 1996 | Guy McCusker | "Jeux et abstraction complète pour FPC" |
| 1997 | Julian Rathke | "Induction de point de fixation unique pour les processus de transmission de valeur" |
| 1998 | Jean-Marie Le Bars | "Fragments de logique existentielle du second ordre sans lois 0-1" |
| 2000 | Lars Birkedal | "Une notion générale de réalisabilité" |
| 2001 | Kazushige Terui | "Calcul Lambda Affine Léger et Normalisation Forte Polytime" |
| 2001 | Frédéric Blanqui | "Définitions par réécriture dans le calcul des constructions" |
| 2002 | Albert Atserias | "Les formules aléatoires insatisfaisantes sont difficiles à certifier" |
| 2003 | Benjamin Rossman | "Successeur-Invariance dans le fini" |
| 2004 | Felix Klaedtke | "Sur la taille des automates pour l'arithmétique de Presburger" |
| 2005 | Benjamin Rossman | "Types positifs existentiels et préservation sous homomorphisims" |
| 2006 | Ugo Dal Lago | "Sémantique de contexte, logique linéaire et complexité de calcul" |
| 2007 | Nikos Tzevelekos | "Abstraction complète pour les références générales nominales" |
| 2008 | David Duris | "Hypergraph Acyclicité et Théorèmes de Préservation d'Extension" |
| 2009 | Oliver Friedmann | "Une limite inférieure exponentielle pour l'algorithme d'amélioration de la stratégie de jeu de parité tel que nous le connaissons" |
| 2010 | Anthony Widjaja à | "Images Parikh des Grammaires: Complexité et Applications" |
| 2011 | Willem Heijltjes | "Filets de preuve pour la logique linéaire additive avec unités" |
| 2012 | Christoph Berkholz | "Limites inférieures pour les jeux de galets existentiels et les tests de cohérence k" |
| 2013 | Ori Lahav | "Des propriétés de trame aux règles hypersequent dans les logiques modales" |
| 2014 | Yaron Velner | "Synthèse de stratégies à mémoire finie pour des objectifs de rendement moyen multidimensionnels robustes" |
| 2014 | Flavien Breuvart | "Sur la caractérisation des modèles de H" |
| 2015 | Fabian Reiter | "Automates de graphes distribués" |
| 2016 | Steen Vester | "Gagner des cœurs aux jeux de parité" |
| 2017 | Amina Doumane | "Complétude constructive pour le mu-calcul en temps linéaire" |
| 2018 | Étienne Miquey | "Un calcul séquentiel avec des types dépendants pour l'arithmétique classique" |
| 2019 | Renaud Vilmart | «Une axiomatisation quasi-minimale du ZX-Calcul pour la mécanique quantique pure Qubit» |
| 2020 | Julien Grange | "Logique du premier ordre successeur invariant sur les classes de degré borné" |
Voir également
Remarques
- ^ un b "LICS - Archive" . lics.siglog.org .