Esta lista de premios de informática es un índice de artículos sobre premios notables relacionados con la informática . Incluye listas de premios de la Asociación de Maquinaria de Computación , el Instituto de Ingenieros Eléctricos y Electrónicos , otros premios de ciencias de la computación y ciencias de la información , y una lista de concursos de ciencias de la computación.
El premio más importante de ciencias de la computación es el Premio ACM Turing , generalmente considerado como el equivalente al Premio Nobel de Ciencias de la Computación. [1] Otros premios de ciencias de la computación de gran prestigio incluyen la medalla IEEE John von Neumann otorgada por la junta directiva de IEEE y el premio Japón Kyoto para la ciencia de la información.
Asociación para Maquinaria de Computación
La Asociación de Maquinaria de Computación (ACM) otorga muchos premios de ciencias de la computación, a menudo administrados por uno de sus Grupos de Interés Especial.
Otorgar | SIG | Notas |
---|---|---|
Premio al Servicio Distinguido Alan D. Berenbaum | SIGARCH | Servicio importante para la comunidad de arquitectura informática [2] |
Academia CHI | SIGCHI | Avance del campo de la interacción hombre-ordenador [3] |
Premio Danny Lewin al Mejor Trabajo Estudiantil | SIGACT | Mejor artículo escrito por un estudiante en el Simposio de Teoría de la Computación [4] |
Sitio de Dhaka | ICPC | Concurso de programación universitaria [5] |
Premio Dijkstra | PODC | Co-patrocinador: Simposio Internacional de Computación Distribuida . Para artículos sobresalientes sobre los principios de la computación distribuida [6] |
Premio Tesis Doctoral | Mejores tesis doctorales en informática e ingeniería informática [7] | |
Premio Eckert – Mauchly | Co-patrocinador: IEEE Computer Society . Contribuciones a la arquitectura de sistemas informáticos y digitales [8] | |
Premio a las innovaciones Edgar F. Codd | SIGMOD | Contribuciones innovadoras y muy significativas de valor duradero para el desarrollo, la comprensión o el uso de sistemas de bases de datos y bases de datos [9] |
Premio Eugene L. Lawler | Contribución significativa al uso de la tecnología de la información con fines humanitarios [10] [11] | |
Premio Gerard Salton | SIGIR | Contribuciones significativas, sostenidas y continuas a la investigación en la recuperación de información [12] |
Premio Gödel | SIGACT | Copatrocinador: Asociación Europea de Ciencias de la Computación Teórica . Para trabajos sobresalientes en el área de la informática teórica |
Premio Gordon Bell | Logro sobresaliente en aplicaciones informáticas de alto rendimiento | |
Premio Grace Murray Hopper | Profesional de la informática que realiza una contribución técnica o de servicio única y significativa a los 35 años o antes. | |
Premio Ken Kennedy | Co-patrocinado por IEEE Computer Society . Por contribuciones sustanciales a la capacidad de programación y la productividad en informática y contribuciones sustanciales de servicio a la comunidad o tutoría | |
Premio Knuth | SIGACT | Co-patrocinado por IEEE Computer Society . Por contribuciones destacadas a los fundamentos de la informática |
Premio Mark Weiser | SIGOPS | Creatividad e innovación en la investigación de sistemas operativos |
Premio Maurice Wilkes | SIGARCH | Contribución destacada a la arquitectura informática |
Premio Paris Kanellakis | Logros teóricos específicos que han tenido un efecto significativo y demostrable en la práctica de la informática. | |
Premio Penny Crane por servicio distinguido | SIGUCCS | Contribuciones significativas al Grupo de Interés Especial y a la informática en la educación superior |
Premio en Computación | Contribuciones innovadoras en informática desde el inicio hasta la mitad de la carrera | |
Premio al software de lenguajes de programación | SIGPLAN | Software de lenguajes de programación |
Premio SIGCOMM | SIGCOMM | Contribución de por vida al campo de las redes de comunicación |
Premio Salón de la Fama SIGUCCS | SIGUCCS | Contribuciones que han tenido un impacto positivo en la organización ACM SIGUCCS |
Premio al sistema de software | Sistema de software que ha tenido una influencia duradera, reflejada en contribuciones a conceptos, en aceptación comercial o en ambos | |
Premio Turing | Contribuciones de gran importancia técnica y duradera al campo de la informática |
IEEE
Varios premios son otorgados por el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE), la Sociedad de Computación de IEEE o la Sociedad de Teoría de la Información de IEEE .
Otorgar | Patrocinador | Notas |
---|---|---|
Premio Claude E. Shannon | Sociedad de teoría de la información IEEE | Contribuciones consistentes y profundas al campo de la teoría de la información [13] |
Premio al pionero de la informática | Sociedad de Informática IEEE | Aquellos cuyos esfuerzos resultaron en la creación y vitalidad continua de la industria de la computación. |
Premio Harlan D. Mills | Sociedad de Informática IEEE | Contribuciones a la teoría y la práctica de las ciencias de la información, [centradas en] ingeniería de software |
Premio en memoria de Harry H. Goode | Sociedad de Informática IEEE | Logros en el campo del procesamiento de información que se consideran una contribución única de teoría, diseño o técnica de importancia destacada, o la acumulación de contribuciones importantes en la teoría o la práctica durante un período de tiempo prolongado. |
Premio de Internet | IEEE, Nokia | Contribuciones excepcionales al avance de la tecnología de Internet para arquitectura de red, movilidad y / o aplicaciones de uso final |
Medalla John von Neumann | IEEE | Logros destacados en ciencia y tecnología relacionadas con la informática |
Premio Kleene | Simposio IEEE sobre Lógica en Ciencias de la Computación | Mejor trabajo de estudiante |
Premio Machtey | Simposio IEEE sobre fundamentos de la informática | Mejor trabajo de estudiante |
Premio a los sistemas de almacenamiento de información Reynold B. Johnson | IEEE | Contribuciones destacadas a los sistemas de almacenamiento de información |
Medalla Richard W. Hamming | IEEE, Qualcomm | Logros destacados en ciencias de la información, sistemas de información y tecnología de la información |
Premio Seymour Cray de Ingeniería Informática | Sociedad de Informática IEEE | Contribuciones significativas e innovadoras en el campo de la informática de alto rendimiento |
Premio Sidney Fernbach | Sociedad de Informática IEEE | Contribuciones destacadas en la aplicación de computadoras de alto rendimiento utilizando enfoques innovadores |
Premio prueba de tiempo | Simposio IEEE sobre Lógica en Ciencias de la Computación | Artículos de LICS veinte años antes que resistieron la "prueba del tiempo" |
Premio W. Wallace McDowell | Sociedad de Informática IEEE | Destacadas contribuciones recientes teóricas, de diseño, educativas, prácticas u otras innovadoras similares que caen dentro del alcance del interés de Computer Society |
Premio William C. Carter | Comité Técnico de IEEE sobre Computación Tolerante a Fallas y Grupo de Trabajo de IFIP sobre Computación Confiable y Tolerancia a Fallas | Contribución significativa al campo de la informática confiable y segura a lo largo de su tesis doctoral |
Otros premios de informática
País | Otorgar | Patrocinador | Notas |
---|---|---|---|
Estados Unidos | Premio ACM-AAAI Allen Newell | Asociación para el Avance de la Inteligencia Artificial | Contribuciones profesionales que tienen amplitud dentro de las ciencias de la computación, o que unen las ciencias de la computación con otras disciplinas [14] |
Europa | Premio Ackermann | Asociación europea de lógica informática | Premio a la disertación destacada de lógica en informática [15] |
Internacional | Premio Azriel Rosenfeld | Congreso Internacional de Visión por Computador ( Instituto de Ingenieros Eléctricos y Electrónicos ) | Contribuciones significativas al campo de la visión por computadora a lo largo de carreras profesionales [16] |
Estados Unidos | Premio Barwise | Asociación Filosófica Estadounidense | Contribuciones significativas y sostenidas a áreas relacionadas con la filosofía y la informática [17] |
Reino Unido | Medalla BCS Lovelace | Sociedad Británica de Computación | Personas que han hecho contribuciones destacadas a la comprensión o al avance de la informática [18] |
Reino Unido | Charles Babbage Premium | Institución de ingenieros eléctricos | Autores de un artículo destacado sobre el diseño o uso de computadoras electrónicas [19] |
Europa | Premio Dahl – Nygaard | Conferencia europea sobre programación orientada a objetos | Investigador senior con destacadas contribuciones profesionales y un investigador más joven que ha demostrado un gran potencial [20] |
Reino Unido | Premio a la Preservación Digital | Coalición de Preservación Digital | Nuevas iniciativas en el desafiante campo de la preservación digital [21] |
Europa | Premio EATCS | Asociación Europea de Ciencias de la Computación Teórica | Distinguida carrera en informática teórica |
Internacional | Premio Edison | Premios Edison | Honrando la excelencia en innovación |
Europa | Premio ERCIM Cor Baayen | Consorcio Europeo de Investigación en Informática y Matemáticas | Investigador en informática y matemáticas aplicadas |
Estados Unidos | Premio Erdős – Rényi | Sociedad de ciencia en red | Destacado investigador de carrera temprana en el campo de la ciencia de redes |
Alemania | Premio de facturación Heinz | Fundación de facturación Heinz de la sociedad Max Planck | Aquellos que han dedicado tiempo y esfuerzo al desarrollo de hardware y software cruciales para los avances científicos. |
Estados Unidos | Premio Herbrand | Conferencia sobre Deducción Automatizada | Contribuciones importantes al campo de la deducción automática |
Reino Unido | Medalla IET Mountbatten | Institución de Ingeniería y Tecnología e Institución de Ingenieros Eléctricos | Contribución sobresaliente, o contribuciones durante un período, a la promoción de la electrónica o la tecnología de la información y su aplicación |
Internacional | Premio IJCAI a la excelencia en investigación | Conferencia conjunta internacional sobre inteligencia artificial | Investigador en inteligencia artificial como reconocimiento a la excelencia de su trayectoria |
Internacional | Premio IJCAI Computadoras y Pensamiento | Conferencia conjunta internacional sobre inteligencia artificial | Científicos jóvenes destacados en inteligencia artificial |
India | Premio Infosys | Fundación de Ciencias Infosys | Logros sobresalientes de investigadores y científicos contemporáneos en seis categorías, incluidas Ingeniería y Ciencias de la Computación |
Canadá | Medalla JW Graham | Facultad de Matemáticas de la Universidad de Waterloo | Liderazgo y muchas contribuciones innovadoras realizadas a la Universidad de Waterloo y a la industria informática canadiense |
Estados Unidos | Premio al servicio Jonathan B. Postel | Sociedad de Internet | honrar a una persona que ha hecho contribuciones sobresalientes al servicio de la comunidad de comunicaciones de datos |
Países Bajos | Premio Kalai | Sociedad de teoría de juegos | Artículos destacados en la interfaz de la teoría de juegos y la informática. |
Alemania | Medalla Konrad Zuse | Gesellschaft für Informatik | Primer científico informático alemán |
Reino Unido | Premio Loebner | Sociedad para el Estudio de la Inteligencia Artificial y la Simulación del Comportamiento | Programas informáticos considerados por los jueces como los más parecidos a los humanos |
Europa | Premio Microsoft | Royal Society , Academia Francesa de Ciencias | Científicos que trabajan en Europa y que han hecho una contribución importante al avance de la ciencia mediante el uso de métodos computacionales. |
Europa | Premio Milner | Investigación de Microsoft | (reemplaza el premio Microsoft) Logro destacado en informática de un investigador europeo |
Europa | Premio Nerode | Asociación Europea de Ciencias de la Computación Teórica , Simposio Europeo sobre Algoritmos | Investigación destacada en el área de la algorítmica multivariante |
Brasil | Premio Newton Faller | Sociedad Brasileña de Computación | Miembros que se han distinguido a lo largo de su vida por los servicios prestados a la Sociedad Brasileña de Informática [22] |
Internacional | Premio Nevanlinna | Congreso Internacional de Matemáticos | Contribuciones destacadas en aspectos matemáticos de las ciencias de la información |
Estados Unidos | Premio O'Reilly Open Source | O'Reilly Media | Personas reconocidas por su dedicación, innovación, liderazgo y destacada contribución al código abierto |
Italia | Premio internacional Pirelli | Pirelli | Las mejores presentaciones multimedia centradas en temas relacionados con la difusión de la ciencia y la tecnología. |
Europa | Premio Presburger | Asociación Europea de Ciencias de la Computación Teórica | Joven científico por sus destacadas contribuciones en informática teórica |
Europa | Premio a la Innovación en Computación Distribuida | Coloquio internacional sobre la complejidad de la información y la comunicación estructural | Contribución importante a la comprensión de las relaciones entre información y eficiencia en la computación descentralizada |
Reino Unido | Premio Roger Needham | Sociedad Británica de Computación | Contribución de investigación distinguida en ciencias de la computación por un investigador con sede en el Reino Unido |
Internacional | Premio RSA a la excelencia en matemáticas | Conferencia RSA | Logros sobresalientes en investigación criptográfica definidos de manera amplia |
Estados Unidos | Beca de investigación Sloan | Fundación Alfred P. Sloan | Brindar apoyo y reconocimiento a científicos y académicos que inician su carrera. |
Internacional | Premio Stevens | Foro de reingeniería | Contribuciones destacadas a la literatura o la práctica de métodos para el desarrollo de software y sistemas |
Reino Unido | Premio Tony Kent Strix | Sociedad Internacional para la Organización del Conocimiento del Reino Unido, Royal Society of Chemistry y British Computer Society | Contribución destacada al campo de la recuperación de información |
Japón | Premio Tsutomu Kanai | Hitachi | Contribuciones importantes a los sistemas informáticos distribuidos de última generación y sus aplicaciones |
Estados Unidos | Premio Tucker | Sociedad de optimización matemática | Tesis destacadas en el área de optimización |
Reino Unido | Premio Weizenbaum | Sociedad Internacional de Ética y Tecnología de la Información | Contribución significativa al campo de la información y la ética informática |
Estados Unidos | Premio camello blanco | Fundación Perl | Contribuyentes importantes a la comunidad del lenguaje de programación Perl |
Países Bajos | Premio Van Wijngaarden | Centrum Wiskunde e Informatica | Matemáticas e Informática |
Estados Unidos | Premio JH Wilkinson de software numérico | Sociedad de Matemáticas Industriales y Aplicadas | Contribuciones destacadas en el campo del software numérico |
Estados Unidos | Premio James H. Wilkinson en Análisis Numérico y Computación Científica | Sociedad de Matemáticas Industriales y Aplicadas | Investigación u otras contribuciones al análisis numérico y la computación científica |
Internacional | Premio Karen Spärck Jones | BCS , su Grupo de especialistas en recuperación de información (BCS IRSG) y Microsoft Research | Un premio para conmemorar los logros de Karen Spärck Jones y su impactante investigación en los campos de la recuperación de información y la PNL. [23] |
Premios a la ciencia de la información
País | Otorgar | Patrocinador | Notas |
---|---|---|---|
Hong Kong | Premios de las TIC de Hong Kong | Oficina de Innovación y Tecnología | Soluciones y empresas emergentes de tecnologías de la información y las comunicaciones [24] [25] [26] [27] |
Canadá | Medalla JW Graham | Facultad de Matemáticas de la Universidad de Waterloo | Liderazgo y muchas contribuciones innovadoras a la Universidad de Waterloo y a la industria canadiense de la informática [28] |
Japón | Premio Kioto de Tecnología Avanzada | Fundación Inamori | Electrónica / Biotecnología y tecnología médica / Ciencia e ingeniería de materiales / Ciencia de la información [29] [30] |
Chile | Premio Nacional de Ciencias Exactas | Ministerio de Educación | Por ejemplo, nanociencia y nanotecnología [31] |
Irlanda | Medalla O'Moore | Sociedad de Informática Sanitaria | Contribución importante a la informática sanitaria [32] |
Estados Unidos | Premio Patterson-Crane | sociedad Química Americana | Contribuciones a la información química [33] |
Estados Unidos | Premio Herman Skolnik | sociedad Química Americana | Contribuciones destacadas y logros en la teoría y la práctica de la ciencia de la información química [34] |
Internacional | Premio Weizenbaum | Sociedad Internacional de Ética y Tecnología de la Información | Persona que ha realizado contribuciones significativas en el campo de la información y la ética informática [35] |
Competiciones
País | Otorgar | Patrocinador | Notas |
---|---|---|---|
Australia | Premio Hutter | Marcus Hutter | Mejoras en la compresión de datos en un archivo de texto en inglés específico de 1 GB [36] |
Canadá | Desafío de IA | Club de Ciencias de la Computación de la Universidad de Waterloo | Programación de inteligencia artificial [37] |
Estados Unidos | Liga Americana de Ciencias de la Computación | ACSL | Programación [38] |
Estados Unidos | Desafío Arimaa | Arimaa / Omar Syed | Programación de inteligencia artificial (juego versus humanos) [39] |
Suecia | Competencia del sistema CADE ATP | Asociación para el razonamiento automatizado | Demostradores de teoremas totalmente automatizados para la lógica clásica [40] [41] [42] [43] |
Estados Unidos | Campeonato Mundial de Computadora-Bridge | Liga Americana de Bridge Contract | Puente de contrato utilizando software [44] |
Reino Unido | Centurión cibernético | Desafío de seguridad cibernética Reino Unido | Concurso de ciberseguridad para escolares, [45] [46] |
Estados Unidos | CyberPatriot | Asociación de la Fuerza Aérea | Concurso Nacional de Defensa Cibernética Juvenil para estudiantes de secundaria y secundaria [47] |
Estados Unidos | Desafío de la red DARPA | DARPA | Concurso de redes sociales e Internet |
Estados Unidos | Desafío de la trituradora DARPA 2011 | DARPA | Competencia por métodos para reconstruir documentos triturados mediante una variedad de técnicas de trituración de papel |
Polonia | Fecha límite24 | Tomasz Łakota y Mateusz Brzeszcz | Programación |
Estados Unidos | Concurso de programación Halite AI | Dos Sigma , Cornell Tech | Concurso de programación informática de código abierto |
Estados Unidos | Desafío de reconocimiento visual a gran escala de ImageNet | ImageNet | Los programas de software compiten para clasificar y detectar objetos y escenas |
Internacional | Olimpiada Internacional de Informática | UNESCO e IFIP | Competencia escolar |
Reino Unido | Premio Loebner | Sociedad para el Estudio de la Inteligencia Artificial y la Simulación del Comportamiento | Programas informáticos considerados por los jueces como los más parecidos a los humanos |
Estados Unidos | Concurso Nacional Colegiado de Defensa Cibernética | Universidad de Texas en San Antonio | Competencia de defensa cibernética a nivel universitario |
Estados Unidos | Premio Netflix | Netflix | El mejor algoritmo de filtrado colaborativo para predecir las calificaciones de los usuarios para las películas |
Estados Unidos | Alcance | Conservación de la libertad de software | Pasantías remuneradas de tres meses con proyectos de software gratuitos y de código abierto |
Estados Unidos | Concurso de hash de contraseña | Jean-Philippe Aumasson | Competencia para seleccionar una o más funciones hash de contraseña |
Reino Unido | Proyecto Euler | Colin Hughes | Problemas computacionales destinados a ser resueltos con programas informáticos. |
Estados Unidos | SemEval | Asociación de Lingüística Computacional SIGLEX | Evaluaciones de sistemas de análisis semántico computacional |
Estados Unidos | Conferencia de recuperación de texto | Instituto Nacional de Estándares y Tecnología , Actividad de Proyectos de Investigación Avanzada de Inteligencia | Áreas de investigación de recuperación de información |
Australia | Desafío UAV Outback | Centro Australiano de Investigación para la Automatización Aeroespacial | Concurso para el desarrollo de vehículos aéreos no tripulados |
Estados Unidos | Concurso de sistemas de votación universitaria | Fundación Nacional de Ciencias, etc. | Los estudiantes diseñan, implementan y demuestran sistemas electorales de código abierto. |
Ver también
- Programación competitiva
- Listas de premios
- Listas de premios de ciencia y tecnología
- Lista de premios relacionados con la informática
- Lista de premios de ingeniería
Referencias
- ^ "Premio Turing, Encyclopædia Britannica" .
- ^ ACM SIGARCH Alan D. Berenbaum Distinguished Service Award , ACM SIGARCH , consultado el 27 de enero de 2020
- ^ Premios SIGCHI , SIGCHI, archivado desde el original el 18 de enero de 2011 , consultado el 27 de enero de 2020
- ^ "Premio Danny Lewin al Mejor Trabajo de Estudiante" . Archivado desde el original el 20 de junio de 2008.
- ^ Posiciones para el Concurso Regional ACM-ICPC Asia Dhaka 2017 , ICPC , consultado el 27 de enero de 2020
- ^ Premio Edsger W. Dijkstra en Computación Distribuida , PODC , consultado el 27 de enero de 2020
- ^ "Sobre el Premio de Tesis Doctoral ACM" . awards.acm.org .
- ^ Premio Eckert-Mauchly , IEEE Computer Society , consultado el 27 de enero de 2020
- ^ SIGMOD Edgar F. Codd Innovations Award , ACM SIGMOD , consultado el 27 de enero de 2020
- ^ "Premio ACM Eugene Lawler" . ACM . Consultado el 1 de septiembre de 2013 .
- ^ "Centro Internacional de Investigaciones Científicas sobre el premio ACM Eugene Lawler" . Centro Internacional de Investigaciones Científicas . Consultado el 1 de septiembre de 2013 .
- ^ Premios Gerard Salton , SIGIR , consultado el 27 de enero de 2020
- ^ Premio Claude E. Shannon , IEEE Information Theory Society , consultado el 28 de enero de 2020
- ^ "Premio Allen Newell" . Asociación de Maquinaria Informática. Archivado desde el original el 16 de mayo de 2012 . Consultado el 26 de abril de 2012 .
- ^ Premio Ackermann , EACSL , consultado el 27 de noviembre de 2020
- ^ PAMI Azriel Rosenfeld Lifetime Achievement Award , IEEE , consultado el 28 de enero de 2020
- ^ Premio Barwise , American Philosophical Association, archivado desde el original el 12 de marzo de 2007 , consultado el 28 de enero de 2020
- ^ "Sobre la medalla Lovelace" .
- ^ "Charles Babbage Premium" . La Revista del Brit.IRE . Institución Británica de Ingenieros de Radio . 19 (1): 132, 134. 1959 . Consultado el 20 de abril de 2020 .
- ^ Premio AITO Dahl-Nygaard , Association Internationale pour les Technologies Objets , consultado el 28 de enero de 2020
- ^ The Digital Preservation Award , Digital Preservation Coalition, archivado desde el original el 21 de agosto de 2007 , consultado el 28 de enero de 2020
- ^ Newton Faller , Sociedade Brasileira de Computação , consultado el 20 de enero de 2020.
- ^ Premio KSJ , BCS IRSG , consultado el 9 de junio de 2020
- ^ "「 2017 香港 資訊 及 通訊 科技 獎 」(Premios de las TIC de Hong Kong) 頒獎 典禮 將於 四月 舉行" . Unwire.hk.
- ^ "2018 香港 資訊 及 通訊 科技 獎 現 接受 報名" . 東方 日報.
- ^ "港 青少年 創新 科技 成果" . PCM 電腦 廣場.
- ^ "2018 香港 資訊 及 通訊 科技 獎 智慧 生活 ‧ 創 科 先行" . U 週刊 ezone.
- ^ "Premio JW Graham" . Universidad de Waterloo . Consultado el 3 de abril de 2011 .
- ^ "El Premio de Kyoto honra los logros y el carácter" . EE.UU. Hoy en día. 11 de noviembre de 2006 . Consultado el 1 de enero de 2013 .
- ^ "John Cahn para recibir el premio Kyoto 2011 por contribuciones fundamentales a la ciencia de los materiales" . Instituto Nacional de Estándares y Tecnología . Consultado el 1 de enero de 2013 .
- ^ "Ley 19169: Establece normas sobre otorgamiento de Premios Nacionales" . Ministerio de Educación . 26 de septiembre de 1992 . Recuperado el 8 de diciembre de 2017 - vía Biblioteca del Congreso Nacional de Chile.
- ^ The O'Moore Medal , Health Informatics Society of Ireland (HISI) , consultado el 28 de enero de 2020
- ^ "El premio Patterson-Crane (copatrocinado con la Sección de Dayton)" . Sección Columbus de la American Chemical Society . Consultado el 13 de enero de 2015 .
- ^ "Premio Herman Skolnik" . División de Información Química de la ACS . Consultado el 21 de julio de 2016 .
- ^ Boletín INSEIT
- ^ "Premio 500'000 € a la compresión del conocimiento humano" . premio.hutter1.net . Consultado el 1 de agosto de 2020 .
- ^ Foros de desafío de IA , consultado el 28 de enero de 2020
- ^ "Liga Estadounidense de Ciencias de la Computación" . Liga Estadounidense de Ciencias de la Computación . Consultado el 13 de noviembre de 2014 .
- ^ "El Desafío Arimaa" .
- ^ Sutcliffe, Geoff (2011). "El 5º Concurso de Sistema de Prueba de Teorema Automatizado IJCAR - CASC-J5" . Comunicaciones AI . 24 (1): 75–89. doi : 10.3233 / AIC-2010-0483 .
- ^ Geoff Sutcliffe . "La Competencia del Sistema CADE ATP" . Archivado desde el original el 2 de marzo de 2009 . Consultado el 23 de octubre de 2008 .
- ^ Geoff Sutcliffe y Christian Suttner (2006). "El Estado de CASC" . Comunicaciones AI . 19 (1): 35–48.
- ^ Jeff Pelletier, Geoff Sutcliffe y Christian Suttner (2002). "El desarrollo de CASC" (PDF) . Comunicaciones AI . 15 (2-3): 79-90.
- ^ World Computer-Bridge Championship , American Contract Bridge League y World Bridge Federation , consultado el 28 de enero de 2020.
- ^ "Infografía Cyber Centurion" (PDF) . cybersecuritychallenge.org.uk .
- ^ "CyberCenturion - Cyber Security Challenge Reino Unido" . Cyber Security Challenge Reino Unido . Consultado el 23 de abril de 2017 .
- ^ ¿Qué es CyberPatriot? , Air Force Association , consultado el 28 de enero de 2020.