Obliczalność w Europie - Computability in Europe
Skrót | ACiE |
---|---|
Tworzenie | 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.
- CiE 2005: Nowe paradygmaty obliczeniowe , Amsterdam , Holandia
- CiE 2006: Logiczne podejścia do barier obliczeniowych , Swansea , Walia
- CiE 2007: Obliczenia i logika w świecie rzeczywistym , Siena , Włochy
- CiE 2008: Logika i teoria algorytmów , Ateny , Grecja
- CiE 2009: Teoria matematyczna i praktyka obliczeniowa , Heidelberg , Niemcy
- CiE 2010: Programy, dowody, procesy , Ponta Delgada ( Azory ), Portugalia
- CiE 2011: Modele obliczeń w kontekście , Sofia , Bułgaria
- CiE 2012: How the World Computes , Cambridge , Anglia
- CiE 2013: Natura obliczeń: logika, algorytmy, aplikacje , Mediolan , Włochy
- CiE 2014: Język, życie, granice , Budapeszt , Węgry
- CiE 2015: Ewolucja obliczalności , Bukareszt , Rumunia
- CiE 2016: Pursuit of the Universal , Paryż , Francja
- CiE 2017: Odsłonięcie dynamiki i złożoności , Turku , Finlandia
- CiE 2018: Szlaki żeglarskie w świecie obliczeń , Kilonia , Niemcy
- CiE 2019: Computing with Foresight and Industry , Durham , Anglia .
- CiE 2020: Beyond the Horizon of Computability , Salerno , Włochy (odbywa się jako konferencja w pełni online).
- CiE 2021: Łączenie z Computability , Gent , Belgia (online).
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 .