Calculabilité en Europe - Computability in Europe
 Logo de l'association CiE
| |
| Abréviation | ACIE |
|---|---|
| Formation | 2008 |
| Taper | OING |
Président |
Elvira Mayordomo |
| Site Internet | Site de l'association Calculabilité en Europe |
L' Association Calculabilité en Europe ( ACiE ) est une organisation internationale de mathématiciens, logiciens, informaticiens, philosophes, physiciens théoriciens et autres intéressés par les nouveaux développements de la calculabilité et par leur signification sous-jacente pour le monde réel. CiE vise à élargir la compréhension et l'appréciation de l'importance des concepts et des techniques de la théorie de la calculabilité , et à soutenir le développement d'une communauté multidisciplinaire dynamique de chercheurs axés sur des sujets liés à la calculabilité. L'ACiE se positionne à l'interface entre recherche appliquée et recherche fondamentale, privilégiant les approches mathématiques des barrières computationnelles.
L' Association Computability in Europe est à l'origine un réseau de recherche appelé Computability in Europe (CiE) en 2003, est devenu une série de conférences en 2005, et l'ACiE a été créée en 2008.
Association
L' Association Computability in Europe a été fondée à Athènes , en Grèce, en 2008. Son président fondateur (2008 à 2015) était le professeur S. Barry Cooper ; sa présidente actuelle est Elvira Mayordomo et son secrétaire général actuel est Giuseppe Primiero . L'Association promeut le développement, en particulier en Europe, des sciences liées à la calculabilité, allant des mathématiques, de l'informatique et des applications dans diverses sciences naturelles et de l'ingénierie telles que la physique et la biologie. Cela inclut également la promotion de l'étude de la philosophie et de l'histoire de l'informatique en ce qui concerne les questions de calculabilité. L'ACiE est membre international de la Division Logique, Méthodologie et Philosophie des Sciences et Technologies de l'Union Internationale d'Histoire et de Philosophie des Sciences (DLMPST/IUHPST).
Présidents passés et présents
| Nom | Mandat | |
|---|---|---|
| 1er président | S. Barry Cooper | 2008–2015 |
| 2e président | Dag Normann | 2015-2016 |
| 3e président | Paola Bonizzoni | 2016–2020 |
| 4e président | Elvira Mayordomo | 2020-2022 |
Membres actuels du Conseil d'association
Les membres actuels du Conseil de l'Association sont Marcella Anselmo , Arnold Beckmann , Paola Bonizzoni (Présidente sortante ), Olivier Bournez , Merlin Carl , Liesbeth De Mol (Member-at-Large Executive Committee), Gianluca Della Vedova , Johanna Franklin , Lorenzo Galeotti , Daniel Graça , Jarkko Kari , Benedikt Löwe , Johann Makowsky , Florin Manea (président du comité directeur de la série de conférences), Barnaby Martin (membre extraordinaire du comité exécutif), Elvira Mayordomo (présidente), Dag Normann (trésorier et ancien président), Arno Pauly , Alison Pease , Giuseppe Primiero (secrétaire général), Mariya Soskova (membre extraordinaire du comité exécutif) et Martin Ziegler .
Groupes d'Intérêt Spécial
L'Association a trois groupes d' intérêts spéciaux (Les SIGs): Les femmes dans la calculabilité (WIC), Transfinite Computations (TRAC) et Histoire et philosophie de l' informatique (HaPoC). SIGWiC organise l'atelier Women in Computability aux conférences CiE depuis 2007 ; HaPoC organise également deux séries de conférences distinctes : Histoire et philosophie de l'informatique et Histoire et philosophie de la programmation .
Prix S. Barry Cooper
En mémoire de l'engagement visionnaire de son président fondateur, l'association a créé le prix S. Barry Cooper honorant un chercheur qui a contribué à une large compréhension et à une étude fondamentale de la calculabilité par des résultats exceptionnels, par la construction d'une théorie séminale et durable, par un service exceptionnel à les communautés de recherche impliquées, ou par une combinaison de celles-ci. Le premier Prix S. Barry Cooper a été décerné en 2020 à Bruno Courcelle .
Série de conférences
L'Association est née de la grande série de conférences internationales Computabilité en Europe (CiE) ; la première conférence CiE a eu lieu à Amsterdam en juin 2005. CiE est une série de conférences annuelles interdisciplinaires promouvant le développement des sciences liées à la calculabilité, couvrant les mathématiques, l'informatique et les applications dans diverses sciences naturelles et de l'ingénierie telles que la physique et la biologie. La portée de la conférence comprend également l'étude de la philosophie et de l'histoire de l'informatique en ce qui concerne les questions de calculabilité.
- CiE 2005 : Nouveaux paradigmes de calcul , Amsterdam , Pays-Bas
- CiE 2006 : Approches logiques des barrières informatiques , Swansea , Pays de Galles
- CiE 2007 : Calcul et logique dans le monde réel , Sienne , Italie
- CiE 2008 : Logique et théorie des algorithmes , Athènes , Grèce
- CiE 2009 : Théorie mathématique et pratique informatique , Heidelberg , Allemagne
- CiE 2010 : Programmes, Preuves, Processus , Ponta Delgada ( Açores ), Portugal
- CiE 2011 : Modèles de calcul en contexte , Sofia , Bulgarie
- CiE 2012 : Comment le monde calcule , Cambridge , Angleterre
- CiE 2013 : La Nature du Calcul : Logique, Algorithmes, Applications , Milan , Italie
- CiE 2014 : Langue, Vie, Limites , Budapest , Hongrie
- CiE 2015 : Evolving Computability , Bucarest , Roumanie
- CiE 2016 : Poursuite de l'Universel , Paris , France
- CiE 2017 : Dévoiler la dynamique et la complexité , Turku , Finlande
- CiE 2018 : Voies de navigation dans le monde de l'informatique , Kiel , Allemagne
- CiE 2019 : Informatique avec la prospective et l'industrie , Durham , Angleterre .
- CiE 2020 : Beyond the Horizon of Computability , Salerne , Italie (sous forme de conférence entièrement en ligne).
- CiE 2021 : Connecting with Computability , Gand , Belgique (en ligne).
Le président actuel du comité de pilotage de la série de conférences est Florin Manea ; ses prédécesseurs étaient Benedikt Löwe (2005-2013) et Arnold Beckmann (2013-2016).
Série de livres et revue
L'ACiE a la responsabilité éditoriale de la série de livres Springer Theory and Applications of Computability et de la revue Computability publiée par IOS Press .