Beräkningsbarhet i Europa
 Association CiE logotyp
| |
| Förkortning | ACiE |
|---|---|
| Bildning | 2008 |
| Typ | INGO |
President |
Elvira Mayordomo |
| Hemsida | Association Computability in Europes webbplats |
Association Computability in Europe ( ACiE ) är en internationell organisation av matematiker, logiker, datavetare, filosofer, teoretiska fysiker och andra som är intresserade av nya utvecklingar inom beräkningsbarhet och i deras underliggande betydelse för den verkliga världen. CiE syftar till att bredda förståelsen och uppskattningen av vikten av begreppen och teknikerna inom beräkningsteorin , och att stödja utvecklingen av en levande multidisciplinär gemenskap av forskare fokuserad på beräkningsbarhetsrelaterade ämnen. ACiE placerar sig i gränssnittet mellan tillämpad och grundläggande forskning, och prioriterar matematiska metoder för beräkningsbarriärer.
Association Computability in Europe uppstod som ett forskningsnätverk kallat Computability in Europe (CiE) 2003, blev en konferensserie 2005 och ACiE bildades 2008.
Förening
Association Computability in Europe grundades i Aten , Grekland 2008. Dess grundande ordförande (2008 till 2015) var professor S. Barry Cooper ; dess nuvarande president är Elvira Mayordomo och dess nuvarande generalsekreterare är Giuseppe Primiero. Föreningen främjar utvecklingen, särskilt i Europa, av beräkningsrelaterad vetenskap, som sträcker sig över matematik, datavetenskap och tillämpningar inom olika natur- och ingenjörsvetenskaper som fysik och biologi. Detta inkluderar också främjandet av studiet av filosofi och datorhistoria när det gäller frågor om beräkningsbarhet. ACiE är en internationell medlem av avdelningen för logik, metodik och vetenskaps- och teknikfilosofi i International Union of History and Philosophy of Science ( DLMPST/IUHPST).
Tidigare och nuvarande presidenter
| namn | Mandattid | |
|---|---|---|
| 1:e presidenten | S. Barry Cooper | 2008–2015 |
| 2:e presidenten | Dag Normann | 2015–2016 |
| 3:e presidenten | Paola Bonizzoni | 2016–2020 |
| 4:e presidenten | Elvira Mayordomo | 2020–2022 |
Nuvarande medlemmar av associeringsrådet
Den nuvarande medlemmen av föreningens råd är Marcella Anselmo, Arnold Beckmann, Paola Bonizzoni (tidigare ordförande), 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 (ordförande för konferensseriens styrkommitté), Barnaby Martin (Member-at-Large Executive Committee), Elvira Mayordomo (president), Dag Normann (kassör och tidigare) President), Arno Pauly, Alison Pease, Giuseppe Primiero (generalsekreterare), Mariya Soskova (Member-at-Large Executive Committee) och Martin Ziegler.
Specialintressegrupper
Föreningen har tre specialintressegrupper (SIG): Women in Computability (WiC), Transfinite Computations (TraC) och History and Philosophy of Computing (HaPoC). SIGWiC har organiserat workshopen Women in Computability på CiE-konferenserna sedan 2007; HaPoC organiserar också två separata konferensserier: History and Philosophy of Computing och History and Philosophy of Programming .
S. Barry Cooper-priset
Till minne av den grundande presidentens visionära engagemang instiftade föreningen S. Barry Cooper-priset för att hedra en forskare som har bidragit till en bred förståelse och en grundläggande studie av beräkningsbarhet genom enastående resultat, genom framträdande och varaktig teoriuppbyggnad, genom exceptionell service till de inblandade forskarsamhällena, eller genom en kombination av dessa. Det första S. Barry Cooper-priset delades ut 2020 till Bruno Courcelle .
Konferensserie
Föreningen växte fram ur den stora internationella konferensserien Computability in Europe (CiE); den första CiE-konferensen hölls i Amsterdam i juni 2005. CiE är en tvärvetenskaplig årlig konferensserie som främjar utvecklingen av beräkningsrelaterad vetenskap, som sträcker sig över matematik, datavetenskap och tillämpningar inom olika natur- och ingenjörsvetenskaper som fysik och biologi. Konferensen omfattar också studiet av filosofi och datorhistoria när det relaterar till frågor om beräkningsbarhet.
- CiE 2005: New Computational Paradigms , Amsterdam , Nederländerna
- CiE 2006: Logiska tillvägagångssätt för beräkningsbarriärer , Swansea , Wales
- CiE 2007: Computation and Logic in the Real World , Siena , Italien
- CiE 2008: Logic and Theory of Algorithms , Aten , Grekland
- CiE 2009: Mathematical Theory and Computational Practice , Heidelberg , Tyskland
- CiE 2010: Programs, Proofs, Processes , Ponta Delgada ( Azorerna ), Portugal
- CiE 2011: Models of Computation in Context , Sofia , Bulgarien
- CiE 2012: How the World Computes , Cambridge , England
- CiE 2013: The Nature of Computation: Logic, Algoritms, Applications , Milano , Italien
- CiE 2014: Language, Life, Limits , Budapest , Ungern
- CiE 2015: Evolving Computability , Bukarest , Rumänien
- CiE 2016: Pursuit of the Universal , Paris , Frankrike
- CiE 2017: Unveiling Dynamics and Complexity , Åbo , Finland
- CiE 2018: Sailing Routes in the World of Computation , Kiel , Tyskland
- CiE 2019: Computing with Foresight and Industry , Durham , England .
- CiE 2020: Beyond the Horizon of Computability , Salerno , Italien (hålls som en helt onlinekonferens).
- CiE 2021: Connecting with Computability , Gent , Belgien (online).
Den nuvarande ordföranden för konferensseriens styrkommitté är Florin Manea; hans föregångare var Benedikt Löwe (2005–2013) och Arnold Beckmann (2013–2016).
Bokserie och tidskrift
ACiE har redaktionellt ansvar för Springer -bokserien Theory and Applications of Computability och tidskriften Computability publicerad av IOS Press .