Obliczalność w Europie - Computability in Europe

Obliczalność asocjacyjna w Europie
Obliczalność w Europie logo.jpg
Logo Stowarzyszenia CiE
Skrót ACiE
Tworzenie 2008 ; 13 lat temu ( 2008 )
Rodzaj INGO
Prezydent
Elvira Mayordomo
Strona internetowa Strona internetowa Association Computability in Europe

Stowarzyszenie Obliczalność w Europie ( Acie ) to międzynarodowa organizacja matematyków, logików, informatyków, filozofów, fizyków teoretycznych i innych osób zainteresowanych w nowych rozwiązań w obliczalności i ich znaczenia dla podstawowej realnym świecie. Celem CiE jest poszerzenie zrozumienia i docenienie znaczenia pojęć i technik teorii obliczalności oraz wspieranie rozwoju dynamicznej multidyscyplinarnej społeczności badaczy skupionych na zagadnieniach związanych z obliczalnością. ACiE pozycjonuje się na styku badań stosowanych i badań podstawowych, nadając priorytet matematycznym podejściom do barier obliczeniowych.

Stowarzyszenie Obliczalność w Europie pochodzi jako sieci badawczej zwanej Obliczalność w Europie (CIE) w 2003 roku, stał się cykl konferencji w 2005 roku, a Acie został założony w 2008 roku.

Stowarzyszenie

Stowarzyszenie Obliczalność w Europie powstała w Atenach , w Grecji w 2008 roku jego prezesem założycielskiego (2008 do 2015) był profesorem S. Barry Cooper ; jej obecnym prezydentem jest Elvira Mayordomo, a obecnym sekretarzem generalnym jest Giuseppe Primiero . Stowarzyszenie promuje rozwój, zwłaszcza w Europie, nauk związanych z obliczalnością, obejmujących matematykę, informatykę oraz zastosowania w różnych naukach przyrodniczych i inżynieryjnych, takich jak fizyka i biologia. Obejmuje to również promowanie studiów nad filozofią i historią informatyki w odniesieniu do kwestii obliczalności. ACiE jest międzynarodowym członkiem Wydziału Logiki, Metodologii i Filozofii Nauki i Technologii Międzynarodowej Unii Historii i Filozofii Nauki (DLMPST/IUHPST).

Byli i obecni prezydenci

Nazwa Kadencja
I Prezydent S. Barry Cooper 2008-2015
2. prezydent Dag Normann 2015–2016
3. Prezydent Paola Bonizzoni 2016-2020
4. Prezydent Elvira Mayordomo 2020-2022

Obecni Członkowie Rady Stowarzyszenia

Obecnym członkiem Rady Stowarzyszenia są Marcella Anselmo , Arnold Beckmann , Paola Bonizzoni (Były Prezes), Olivier Bournez , Merlin Carl , Liesbeth De Mol (Członek Główny ), Gianluca Della Vedova , Johanna Franklin , Lorenzo Galeotti , Daniel Graça , Jarkko Kari , Benedikt Löwe , Johann Makowsky , Florin Manea (Przewodniczący Komitetu Sterującego Serii Konferencji), Barnaby Martin (Członek Dużego Komitetu Wykonawczego), Elvira Mayordomo (Prezes), Dag Normann (Skarbnik i Przeszłość przewodniczący), Arno Pauly , Alison Pease , Giuseppe Primiero (sekretarz generalny), Mariya Soskova (członek dużego komitetu wykonawczego) i Martin Ziegler .

Grupy o specjalnych zainteresowaniach

Stowarzyszenie ma trzy Grupy Specjalnych Zainteresowań (SIG): Women in Computability (WiC), Transfinite Computations (TraC) oraz History and Philosophy of Computing (HaPoC). SIGWiC od 2007 roku organizuje warsztaty Women in Computability na konferencjach CiE; HaPoC organizuje również dwie odrębne serie konferencji: Historia i filozofia informatyki oraz Historia i filozofia programowania .

Nagroda im. S. Barry'ego Coopera

Na pamiątkę wizjonerskiego zaangażowania swojego założyciela, stowarzyszenie ustanowiło Nagrodę im. S. Barry'ego Coopera, honorującą badacza, który przyczynił się do szerokiego zrozumienia i fundamentalnych badań obliczalności dzięki wybitnym wynikom, przełomowemu i trwałemu budowaniu teorii, dzięki wyjątkowej służbie dla zaangażowanych społeczności naukowych lub przez ich kombinację. Inauguracyjną Nagrodę im. S. Barry'ego Coopera w 2020 roku otrzymał Bruno Courcelle .

Seria konferencji

Stowarzyszenie wyrosło z głównych międzynarodowych konferencji z cyklu Computability in Europe (CiE); pierwsza konferencja CiE odbyła się w Amsterdamie w czerwcu 2005 r. CiE to interdyscyplinarna doroczna seria konferencji promujących rozwój nauk związanych z obliczalnością, obejmujących matematykę, informatykę oraz zastosowania w różnych naukach przyrodniczych i inżynieryjnych, takich jak fizyka i biologia. Zakres konferencji obejmuje również studium filozofii i historii informatyki w odniesieniu do zagadnień obliczalności.

Obecnym przewodniczącym Komitetu Sterującego serii konferencji jest Florin Manea ; jego poprzednikami byli Benedikt Löwe (2005–2013) i Arnold Beckmann (2013–2016).

Seria książek i czasopismo

ACiE odpowiada za redakcję serii książek Springera Theory and Applications of Computability oraz czasopisma Computability wydawanego przez IOS Press .

Bibliografia