Accueil🇫🇷Chercher

Computability in Europe

Computability in Europe est une association scientifique, et aussi le nom d'une série de conférences qu'elle organise.

Computability in Europe
Situation
Création 2008
Type Organisation non gouvernementale internationale
Domaine Informatique et philosophie
Organisation
Effectifs 1366 membres (janvier 2020)
President Elvira Mayordomo

Site web https://www.acie.eu/

Objectifs

En tant qu’association, l'Association Computability in Europe (abrégée en ACiE) qui est une organisation internationale de mathématiciens, logiciens, informaticiens, philosophes, physiciens théoriciens et autres scientifiques intéressés par les nouveaux développements de la calculabilité et par leur signification sous-jacente pour le monde réel. L'association 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ée sur les sujets liés à la calculabilité. L'ACiE se positionne à l'interface entre la recherche appliquée et la recherche fondamentale[1].


Conférences

L'Association est issue d'une série conférences internationales annuelles intitulées Computability in Europe (CiE) dont la première s'est tenue à Amsterdam en juin 2005. Elles promeuvent 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, et également l'étude de la philosophie et de l'histoire de l'informatique quand elle concerne les questions de calculabilité[2]. Les conférences ont à chaque fois un thème principal.

Le président du comité de pilotage est Florin Manea ; il était précédé de Benedikt Löwe (2005-2013) et d'Arnold Beckmann (2013-2016). Les actes des conférences sont publiées dans la série des Lecture Notes in Computer Science de Springer.

L'association

L'Association Computability in Europe est née en 2003 d'un réseau de recherche appelé Computability in Europe (CiE) ; le mot Computability in Europe (CiE) est devenu le titre d'une série de conférences en 2005 et l'ACiE a été créée en 2008[4]. L'association a été fondée à Athènes en 2008. Son président fondateur (de 2008 à 2015) était S. Barry Cooper ; son président actuel (en 2020) est Paola Bonizzoni et son secrétaire général actuel est Giuseppe Primiero . L'Association encourage le développement, en particulier en Europe, des recherches liées à la calculabilité, qui couvrent les mathématiques, l'informatique et les applications dans diverses sciences telles que la physique et la biologie. Cela comprend é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 (DLMPST / IUHPST).

Organisation

L'association compte, début janvier 2020, 1366 membres[5]. Elle est dirigée par un président épaulé par unconseil composé d'une douzaine de personnes[6]. Les présidents successifs sont

  • S. Barry Cooper (2008-2015)
  • Dag Normann (2015-2016)
  • Paola Bonizzoni (2016-2020)
  • Elvira Mayordomo (2020-2022)

Groupes d'intérêts spéciaux

L'Association compte trois groupes d'intérêt spéciaux (special interest groups): Women in Computability (WiC), Transfinite Computations (TraC) et History and Philosophy of Computing (HaPoC)[7]. Le special interest group WiC organise depuis 2007 un atelier Women in Computability, séminaire satellite de conférences CiE ; 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 son prĂ©sident fondateur S. Barry Cooper, l'Association a crĂ©Ă© le Prix S. Barry Cooper qui est dĂ©cernĂ© Ă  un chercheur qui a contribuĂ© « Ă  une large comprĂ©hension et Ă  une Ă©tude fondamentale de la calculabilitĂ© par des rĂ©sultats exceptionnels, par l'Ă©laboration d'une thĂ©orie fondatrice et durable ou par un service exceptionnel aux communautĂ©s de recherche impliquĂ©es Â»[8]. En 2020, le premier laurĂ©at S. Barry Cooper Ă©tait Bruno Courcelle[9].

Publications

L'ACiE édite une collection de livres intitulée Theory and Applications of Computability[10] publiée par Springer (5 volumes parus en 2017), et la revue Computability publiée par IOS Press[11] et indexée par DBLP[12].

Notes et références

  1. Site de l'association.
  2. « Association CiE Website: CiE Conference Series » (consulté le ).
  3. Computbility in Europe 2020.
  4. Benedikt Löwe, « Barry Cooper (1943–2015): The engine of Computability in Europe », Computability, vol. 5, no 1,‎ , p. 3-11 (lire en ligne, consulté le ).
  5. Liste des membres de l'association.
  6. « Association CiE : Governance ».
  7. « Association CiE website: Special Interest Groups » (consulté le ).
  8. « Association CiE website: S. Barry Cooper Prize » (consulté le )
  9. « Association CiE website: 2020 S. Barry Cooper Prize awarded to Bruno Courcelle » (consulté le )
  10. « Theory and Applications of Computability », Springer Verlag (consulté le ).
  11. « Périodique Computability (site) » (consulté le ).
  12. « PĂ©riodique Computability Â» sur DBLP.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.