El premio Kleene [1] se otorga en el Simposio anual de IEEE sobre lógica en ciencias de la computación (LICS) al autor (es) de los mejores trabajos de los estudiantes. Un artículo califica como trabajo de estudiante si cada autor es un estudiante en la fecha de envío. También son elegibles los autores que se hayan graduado recientemente, siempre que el trabajo presentado se base en el trabajo realizado cuando aún era estudiante. La decisión de adjudicación la toma el Comité de Programa.
El premio lleva el nombre de Stephen Cole Kleene , quien realizó un trabajo pionero en el campo de la lógica relacionada con la informática.
Destinatarios anteriores
Los beneficiarios anteriores del premio Kleene se enumeran a continuación. [1]
Año | Recipiente | Papel |
---|---|---|
1995 | Alexei P. Kopylov | "Decidibilidad de la lógica afín lineal" |
1996 | Juha Nurmonen | "Contar cuantificadores de módulo en árboles ordenados linealmente finitos" |
1996 | Guy McCusker | "Juegos y abstracción total para FPC" |
1997 | Julian Rathke | "Inducción de puntos fijos únicos para procesos de transferencia de valor" |
1998 | Jean-Marie Le Bars | "Fragmentos de lógica existencial de segundo orden sin leyes 0-1" |
2000 | Lars Birkedal | "Una noción general de realizabilidad" |
2001 | Kazushige Terui | "Cálculo de lambda afín ligero y normalización fuerte de Polytime" |
2001 | Frédéric Blanqui | "Definiciones por reescritura en el cálculo de construcciones" |
2002 | Albert Atserias | "Las fórmulas aleatorias insatisfactorias son difíciles de certificar" |
2003 | Benjamin Rossman | "Sucesor-invariancia en lo finito" |
2004 | Felix Klaedtke | "Sobre el tamaño de los autómatas para la aritmética previa a la hamburguesa" |
2005 | Benjamin Rossman | "Tipos existenciales positivos y conservación bajo homomorfismos" |
2006 | Ugo Dal Lago | "Semántica de contexto, lógica lineal y complejidad computacional" |
2007 | Nikos Tzevelekos | "Abstracción completa para referencias generales nominales" |
2008 | David Duris | "Teoremas de preservación de extensión y aciclicidad hipergráfica" |
2009 | Oliver Friedmann | "Un límite inferior exponencial para el algoritmo de mejora de la estrategia del juego de paridad tal como lo conocemos" |
2010 | Anthony Widjaja Para | "Imágenes parikh de gramáticas: complejidad y aplicaciones" |
2011 | Willem Heijltjes | "Redes de prueba para lógica lineal aditiva con unidades" |
2012 | Christoph Berkholz | "Límites inferiores para juegos de guijarros existenciales y pruebas de coherencia k" |
2013 | Ori Lahav | "De las propiedades del marco a las reglas hipersecuentes en lógicas modales" |
2014 | Yaron Velner | "Síntesis de estrategias de memoria finita para objetivos sólidos de rentabilidad media multidimensional" |
2014 | Flavien Breuvart | "Sobre la caracterización de modelos de H" |
2015 | Fabián Reiter | "Autómatas de gráficos distribuidos" |
2016 | Steen Vester | "Ganar núcleos en juegos de paridad" |
2017 | Amina Doumane | "Completitud constructiva para el cálculo mu de tiempo lineal" |
2018 | Étienne Miquey | "Un cálculo secuencial con tipos dependientes para la aritmética clásica" |
2019 | Renaud Vilmart | "Una axiomatización casi mínima del cálculo ZX para la mecánica cuántica pura de Qubit" |
2020 | Julien Grange | "Lógica de primer orden sucesor invariante en clases de grado acotado" |
Ver también
Notas
- ^ a b "LICS - Archivo" . lics.siglog.org .