La Asociación de Computabilidad en Europa ( ACiE ) es una organización internacional de matemáticos, lógicos, informáticos, filósofos, físicos teóricos y otros interesados en los nuevos desarrollos en computabilidad y en su significado subyacente para el mundo real. CiE tiene como objetivo ampliar la comprensión y la apreciación de la importancia de los conceptos y técnicas de la teoría de la computabilidad, y apoyar el desarrollo de una vibrante comunidad multidisciplinaria de investigadores centrados en temas relacionados con la computabilidad. El ACiE se posiciona en la interfaz entre la investigación aplicada y fundamental, dando prioridad a los enfoques matemáticos a las barreras computacionales.
![]() Logotipo de la Asociación CiE | |
Abreviatura | ACiE |
---|---|
Formación | 2008 |
Tipo | INGO |
presidente | Elvira Mayordomo |
Sitio web | Sitio web de la Asociación de Computabilidad en Europa |
La Asociación de Computabilidad en Europa se originó como una red de investigación llamada Computabilidad en Europa (CiE) en 2003, se convirtió en una serie de conferencias en 2005 y la ACiE se formó en 2008. [1]
Asociación
La Asociación de Computabilidad en Europa se fundó en Atenas , Grecia en 2008. Su presidente fundador (2008 a 2015) fue el profesor S. Barry Cooper ; su actual presidenta es Elvira Mayordomo y su actual secretario general es Giuseppe Primiero . [2] La Asociación está promoviendo el desarrollo, particularmente en Europa, de las ciencias relacionadas con la computabilidad, que van más allá de las matemáticas, la informática y las aplicaciones en diversas ciencias naturales y de ingeniería como la física y la biología. Esto también incluye la promoción del estudio de la filosofía y la historia de la informática en lo que se refiere a cuestiones de computabilidad. La ACiE es miembro internacional de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología (DLMPST / IUHPST).
Presidentes pasados y presentes
Nombre | Termino de oficina | |
---|---|---|
1er presidente | S. Barry Cooper | 2008-2015 |
2do presidente | Dag Normann | 2015-2016 |
3er presidente | Paola Bonizzoni | 2016-2020 |
Cuarto presidente | Elvira Mayordomo | 2020-2022 |
Miembros actuales del Consejo de Asociación
Los miembros actuales del Consejo de la Asociación son Marcella Anselmo , Arnold Beckmann , Paola Bonizzoni (ex presidente), Olivier Bournez , Merlin Carl , Liesbeth De Mol (miembro general del Comité Ejecutivo), Gianluca Della Vedova , Johanna Franklin , Lorenzo Galeotti , Daniel Graça , Jarkko Kari , Benedikt Löwe , Johann Makowsky , Florin Manea (presidente del comité directivo de la serie de conferencias), Barnaby Martin (miembro general del comité ejecutivo), Elvira Mayordomo (presidente), Dag Normann (tesorero y ex Presidente), Arno Pauly , Alison Pease , Giuseppe Primiero (Secretario General), Mariya Soskova (Miembro en general del Comité Ejecutivo) y Martin Ziegler . [3]
Grupos de interés especial
La Asociación tiene tres Grupos de Interés Especial (SIG): Mujeres en Computabilidad (WiC), Computaciones Transfinitas (TraC) e Historia y Filosofía de la Computación (HaPoC). [4] SIGWiC ha estado organizando el taller Mujeres en Computabilidad en las conferencias CiE desde 2007; HaPoC también está organizando dos series de conferencias independientes: Historia y Filosofía de la Computación e Historia y Filosofía de la Programación .
Premio S. Barry Cooper
En memoria del compromiso visionario de su presidente fundador, la Asociación estableció el Premio S. Barry Cooper en honor a un investigador que ha contribuido a una amplia comprensión y al estudio fundamental de la computabilidad mediante resultados sobresalientes, mediante la construcción de teorías fundamentales y duraderas, mediante un servicio excepcional a las comunidades de investigación involucradas, o por una combinación de estas. [5] El premio inaugural S. Barry Cooper se otorgó en 2020 a Bruno Courcelle . [6]
Serie de conferencias
La Asociación surgió de la importante serie de conferencias internacionales Computabilidad en Europa (CiE); la primera conferencia CiE se celebró en Amsterdam en junio de 2005. CiE es una serie de conferencias anuales interdisciplinarias que promueven el desarrollo de las ciencias relacionadas con la computabilidad, que abarcan las matemáticas, la informática y aplicaciones en diversas ciencias naturales y de ingeniería como la física y la biología. El alcance de la conferencia también incluye el estudio de la filosofía y la historia de la informática en lo que se refiere a cuestiones de computabilidad. [7]
- CiE 2005: New Computational Paradigms , Amsterdam , Países Bajos
- CiE 2006: enfoques lógicos para las barreras computacionales , Swansea , Gales
- CiE 2007: Computación y lógica en el mundo real , Siena , Italia
- CiE 2008: Lógica y teoría de algoritmos , Atenas , Grecia
- CiE 2009: Teoría matemática y práctica computacional , Heidelberg , Alemania
- CiE 2010: Programas, Pruebas, Procesos , Ponta Delgada ( Azores ), Portugal
- CiE 2011: Modelos de computación en contexto , Sofía , Bulgaria
- CiE 2012: How the World Computes , Cambridge , Inglaterra
- CiE 2013: La naturaleza de la computación: lógica, algoritmos, aplicaciones , Milán , Italia
- CiE 2014: Language, Life, Limits , Budapest , Hungría
- CiE 2015: Evolución de la computabilidad , Bucarest , Rumanía
- CiE 2016: Persecución de lo Universal , París , Francia
- CiE 2017: Develando la dinámica y la complejidad , Turku , Finlandia
- CiE 2018: Rutas de navegación en el mundo de la computación , Kiel , Alemania
- CiE 2019: Computación con prospectiva e industria , Durham , Inglaterra .
- CiE 2020: Beyond the Horizon of Computability , Salerno , Italia (celebrada como una conferencia totalmente en línea).
- CiE 2021, Gante , Bélgica .
El actual presidente del Comité Directivo de la serie de conferencias es Florin Manea ; sus predecesores fueron Benedikt Löwe (2005-2013) y Arnold Beckmann (2013-2016).
Serie de libros y diario
La ACiE tiene la responsabilidad editorial de la serie de libros Springer Theory and Applications of Computability [8] y la revista Computability publicada por IOS Press . [9]
Referencias
- ^ "Benedikt Löwe, Barry Cooper (1943-2015): el motor de la computabilidad en Europa , computabilidad 5 (1): 3-11 (2016)" . Consultado el 19 de julio de 2019 .
- ^ "@AssociationCiE Tweet: La @AssociationCiE AGM 2020 elige a Elvira Mayordomo como próxima Presidenta de la Asociación (2020-2022)" . 2 de julio de 2020 . Consultado el 3 de julio de 2020 .
- ^ "Web de la Asociación CiE: Gobernanza" . Consultado el 19 de julio de 2019 ."Tweet de @AssociationCiE sobre las Elecciones del Consejo 2019" . Consultado el 19 de julio de 2019 ."Tweet de @AssociationCiE sobre las Elecciones del Consejo 2020" . 2 de julio de 2020 . Consultado el 3 de julio de 2020 .
- ^ "Web de la Asociación CiE: Grupos de Interés Especial" . Consultado el 19 de julio de 2019 .
- ^ "Sitio web de la Asociación CiE: Premio S. Barry Cooper" . Consultado el 19 de julio de 2019 .
- ^ "Sitio web de la Asociación CiE: Premio S. Barry Cooper 2020 otorgado a Bruno Courcelle" . Consultado el 8 de junio de 2020 .
- ^ "Sitio web de la Asociación CiE: CiE Conference Series" . Consultado el 19 de julio de 2019 .
- ^ "Springer Verlag Sitio web de la serie de libros" . Consultado el 1 de julio de 2016 .
- ^ "Sitio web de la revista Computability " . Consultado el 1 de julio de 2016 .