Berechenbarkeit in Europa - Computability in Europe
Abkürzung | ACiE |
---|---|
Formation | 2008 |
Typ | INGO |
Präsident |
Elvira Mayordomo |
Webseite | Webseite der Association Computability in Europe |
Die Association Computability in Europe ( ACiE ) ist eine internationale Organisation von Mathematikern, Logikern, Informatikern, Philosophen, theoretischen Physikern und anderen, die sich für neue Entwicklungen in der Berechenbarkeit und deren Bedeutung für die reale Welt interessieren. CiE zielt darauf ab, das Verständnis und die Wertschätzung der Bedeutung der Konzepte und Techniken der Berechenbarkeitstheorie zu erweitern und die Entwicklung einer dynamischen multidisziplinären Gemeinschaft von Forschern zu unterstützen, die sich auf berechenbare Themen konzentrieren. Das ACiE positioniert sich an der Schnittstelle zwischen angewandter und Grundlagenforschung und priorisiert mathematische Ansätze für Rechenbarrieren.
Die Association Computability in Europe entstand 2003 als Forschungsnetzwerk mit dem Namen Computability in Europe (CiE), wurde 2005 zu einer Konferenzreihe und 2008 wurde die ACiE gegründet.
Verband
Die Association Computability in Europe wurde 2008 in Athen , Griechenland, gegründet. Ihr Gründungspräsident (2008 bis 2015) war Professor S. Barry Cooper ; ihre derzeitige Präsidentin ist Elvira Mayordomo und ihr derzeitiger Generalsekretär ist Giuseppe Primiero . Der Verein fördert insbesondere in Europa die Entwicklung der berechenbaren Wissenschaften, die über Mathematik, Informatik und Anwendungen in verschiedenen Natur- und Ingenieurwissenschaften wie Physik und Biologie reichen. Dazu gehört auch die Förderung des Studiums der Philosophie und Geschichte der Informatik in Bezug auf Fragen der Berechenbarkeit. Das ACiE ist ein internationales Mitglied der Division for Logic, Methodology and Philosophy of Science and Technology der International Union of History and Philosophy of Science (DLMPST/IUHPST).
Ehemalige und gegenwärtige Präsidenten
Name | Amtszeit | |
---|---|---|
1. Präsident | S. Barry Cooper | 2008–2015 |
2. Präsident | Dag Normann | 2015–2016 |
3. Präsident | Paola Bonizzoni | 2016–2020 |
4. Präsident | Elvira Mayordomo | 2020–2022 |
Aktuelle Mitglieder des Assoziationsrates
Die derzeitigen Vorstandsmitglieder des Vereins sind Marcella Anselmo , Arnold Beckmann , Paola Bonizzoni (ehemalige Präsidentin), 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 (Vorsitzender des Lenkungsausschusses der Konferenzserie), Barnaby Martin (Member-at-Large Executive Committee), Elvira Mayordomo (Präsident), Dag Normann (Schatzmeister und Past Präsident), Arno Pauly , Alison Pease , Giuseppe Primiero (Generalsekretär), Mariya Soskova (Member-at-Large Executive Committee) und Martin Ziegler .
Spezielle Interessengruppen
Die Vereinigung hat drei Special Interest Groups (SIGs): Women in Computability (WiC), Transfinite Computations (TraC) und History and Philosophy of Computing (HaPoC). Seit 2007 organisiert SIGWiC den Workshop Women in Computability auf den CiE-Konferenzen; HaPoC organisiert auch zwei separate Konferenzreihen: History and Philosophy of Computing und History and Philosophy of Programming .
S. Barry Cooper-Preis
In Erinnerung an das visionäre Engagement seines Gründungspräsidenten hat der Verein den S. Barry Cooper Prize ins Leben gerufen, der einen Forscher ehrt, der durch herausragende Ergebnisse, durch bahnbrechende und dauerhafte Theoriebildung, durch herausragende Verdienste um die Berechenbarkeit zu einem breiten Verständnis und einer grundlegenden Erforschung der Berechenbarkeit beigetragen hat der beteiligten Forschungsgemeinschaften oder durch eine Kombination dieser. Der erste S.-Barry-Cooper-Preis wurde 2020 an Bruno Courcelle verliehen .
Konferenzreihe
Der Verband ist aus der großen internationalen Konferenzreihe Computability in Europe (CiE) hervorgegangen; die erste CiE-Konferenz fand im Juni 2005 in Amsterdam statt. CiE ist eine interdisziplinäre jährliche Konferenzreihe zur Förderung der Entwicklung von berechenbaren Wissenschaften, die Mathematik, Informatik und Anwendungen in verschiedenen Natur- und Ingenieurwissenschaften wie Physik und Biologie umfasst. Der Umfang der Konferenz umfasst auch das Studium der Philosophie und Geschichte der Informatik in Bezug auf Fragen der Berechenbarkeit.
- CiE 2005: New Computational Paradigms , Amsterdam , Niederlande
- CiE 2006: Logische Ansätze für Rechenbarrieren , Swansea , Wales
- CiE 2007: Computation and Logic in the Real World , Siena , Italien
- CiE 2008: Logik und Theorie der Algorithmen , Athen , Griechenland
- CiE 2009: Mathematische Theorie und Computerpraxis , Heidelberg , Deutschland
- CiE 2010: Programme, Nachweise, Prozesse , Ponta Delgada ( Azoren ), Portugal
- CiE 2011: Models of Computation in Context , Sofia , Bulgarien
- CiE 2012: Wie die Welt rechnet , Cambridge , England
- CiE 2013: The Nature of Computation: Logic, Algorithms, Applications , Mailand , Italien
- CiE 2014: Sprache, Leben, Grenzen , Budapest , Ungarn
- CiE 2015: Evolving Computability , Bukarest , Rumänien
- CiE 2016: Pursuit of the Universal , Paris , Frankreich
- CiE 2017: Enthüllung von Dynamik und Komplexität , Turku , Finnland
- CiE 2018: Segelrouten in der Welt der Computer , Kiel , Deutschland
- CiE 2019: Computing with Foresight and Industry , Durham , England .
- CiE 2020: Beyond the Horizon of Computability , Salerno , Italien (als vollwertige Online-Konferenz abgehalten).
- CiE 2021: Connecting with Computability , Gent , Belgien (online).
Der derzeitige Vorsitzende des Lenkungsausschusses der Konferenzreihe ist Florin Manea ; seine Vorgänger waren Benedikt Löwe (2005–2013) und Arnold Beckmann (2013–2016).
Buchreihe und Zeitschrift
Das ACiE trägt die redaktionelle Verantwortung für die Springer- Buchreihe Theory and Applications of Computability und die von IOS Press herausgegebene Zeitschrift Computability .