Computabilidad en Europa

La Asociación Computacional en Europa (ACiE) es una organización internacional de matemáticos, lógicos, informáticos, filósofos, físicos teóricos y otros profesionales interesados ​​en los avances en computabilidad y su relevancia para el mundo real. ACiE busca ampliar la comprensión y la valoración de la importancia de los conceptos y las técnicas de la teoría de la computabilidad , y apoyar el desarrollo de una comunidad multidisciplinaria de investigadores centrada en temas relacionados con la computabilidad. ACiE se posiciona en la intersección entre la investigación aplicada y la fundamental, priorizando los enfoques matemáticos para superar las barreras computacionales.

ACiE se originó como una red de investigación llamada Computability in Europe (CiE) en 2003, se convirtió en una serie de conferencias en 2005 y ACiE se formó en 2008. ^{[ 1 ]}

ACiE se fundó en Atenas , Grecia, en 2008. Su presidente fundador (2008-2015) fue S. Barry Cooper ; su actual presidenta es Elvira Mayordomo y su actual secretario general es Giuseppe Primiero . ^{[ 2 ]} La asociación promueve el desarrollo, particularmente en Europa, de la ciencia relacionada con la computabilidad, abarcando matemáticas, informática y aplicaciones en diversas ciencias naturales e ingenierías 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 computación en relación con cuestiones de computabilidad. ACiE es miembro internacional de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología de la Unión Internacional de Historia y Filosofía de la Ciencia (DLMPST/IUHPST).

La asociación surgió de la importante serie de conferencias internacionales Computability in Europe (CiE); la primera conferencia CiE se celebró en Ámsterdam en junio de 2005. CiE es una serie de conferencias anuales interdisciplinarias que promueve el desarrollo de la ciencia relacionada con la computabilidad, abarcando matemáticas, informática y aplicaciones en diversas ciencias naturales e ingenierías, como la física y la biología. El ámbito de la conferencia también incluye el estudio de la filosofía y la historia de la computación en relación con cuestiones de computabilidad. ^{[ 8 ]}

• CiE 2005: Nuevos paradigmas computacionales , Ámsterdam , 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: Cómo se calcula en el mundo , Cambridge , Inglaterra
• CiE 2013: La naturaleza de la computación: lógica, algoritmos, aplicaciones , Milán , Italia
• CiE 2014: Lenguaje, vida, límites , Budapest , Hungría
• CiE 2015: Evolución de la Computabilidad , Bucarest , Rumania
• CiE 2016: En busca de lo universal , París , Francia
• CiE 2017: Desvelando 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: Más allá del horizonte de la computabilidad , Salerno , Italia (celebrada como una conferencia totalmente en línea).
• CiE 2021: Conectando con la Computabilidad , Gante , Bélgica (en línea).
• CiE 2022: Revoluciones y revelaciones en la computabilidad , Swansea , Gales .
• CiE 2023: Unidad de Lógica y Computación , Batumi , Georgia .

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).

ACiE tiene responsabilidad editorial sobre la serie de libros de Springer Theory and Applications of Computability ^{[ 9 ]} y la revista Computability publicada por IOS Press . ^{[ 10 ]}