유럽의 연산성

Computability in Europe
유럽 연합 계산 가능성
Computability in Europe logo.jpg
협회 CiE 로고
약어ACIE
포메이션2008; 14년 전(2008)
유형INGO
대통령
엘비라 마요도모
웹사이트유럽 연합 웹 사이트 계산 가능성

유럽연산학협회(ACiE)는 수학자, 논리학자, 컴퓨터 과학자, 철학자, 이론물리학자, 그리고 계산가능성의 새로운 발전과 실제 세계에 대한 그들의 근본적인 중요성에 관심이 있는 다른 사람들로 구성된 국제 조직이다.CiE는 연산성 이론의 개념과 기법의 중요성에 대한 이해와 이해를 넓히고, 연산성 관련 주제에 초점을 맞춘 활발한 다학제 공동체의 개발을 지원하는 것을 목표로 한다.ACiE는 연산 장벽에 대한 수학 접근방식의 우선순위를 정하면서 응용 연구와 기초 연구 사이의 인터페이스에 자신을 배치한다.null

유럽에서의 연산성 협회는 2003년 유럽에서의 연산성(CiE)이라는 연구 네트워크로 출발하여 2005년 컨퍼런스 시리즈가 되었으며, 2008년 ACiE가 결성되었다.[1]null

협회

유럽의 계산가능성 협회는 2008년 그리스 아테네에서 설립되었다.설립 총장인 (2008년 ~ 2015년)은 S. 배리 쿠퍼 교수였으며, 현 총장은 엘비라 마요르도모, 현 사무총장은 주세페 프리미에로이다.[2]이 협회는 특히 유럽에서 수학, 컴퓨터 과학, 물리, 생물학과 같은 다양한 자연과학과 공학 분야의 응용 분야에 걸쳐 계산능력과 관련된 과학의 발전을 촉진하고 있다.이것은 또한 계산능력에 관한 문제와 관련되는 철학과 컴퓨터 역사의 연구의 촉진을 포함한다.ACIE는 국제역사철학연합(DLMPST/IUHPST)의 로직, 방법론 및 과학철학부(Division for Logic, Methodology and Lich of Science and Technology)의 국제 회원이다.

과거와 현재의 대통령

이름 임기
제1대 대통령 S. 배리 쿠퍼 2008–2015
제2대 대통령 다그 노만 2015–2016
제3대 대통령 파올라 보니조니 2016–2020
제4대 대통령 엘비라 마요도모 2020–2022

현 협회 평의회 회원

The current member of the Council of the Association are Marcella Anselmo, Arnold Beckmann, Paola Bonizzoni (Past President), 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 (Chair of the Conference Series Steering Committee), Barnaby Martin (Member-at-Large Executive Committee), Elvira Mayordomo (President), Dag Normann (Treasurer and Past President), Arno Pauly, Alison Pease, Giuseppe Primiero (Secretary General), Mariya Soskova (Member-at-Large Executive Committee), and Martin Ziegler.[3]null

특수 이익 그룹

이 협회에는 세 가지 특별 이익 단체(SIG: Women in Computability, WiC), Transfinite Computations(TraC), HaPoC(History and Bronics of Computing, HaPoC)가 있다.[4]SIGWiC는 2007년부터 CiE 컨퍼런스에서 Women in Computability 워크샵을 조직하고 있으며 HaPoC는 두 개의 별도 컨퍼런스 시리즈를 조직하고 있다.컴퓨팅의 역사와 철학, 프로그래밍의 역사와 철학.null

S. 배리 쿠퍼상

창립 총재의 선구적인 참여를 기념하여, 협회는 탁월한 성과, 정합성, 지속적인 이론 구축, 관련 연구 공동체에 대한 예외적인 봉사를 통해 계산성에 대한 폭넓은 이해와 기초 연구에 기여한 연구자에게 경의를 표하는 S. Barry Cooper Prize를 제정했다.또는 이것들의 조합에 의해.[5]제1회 S. 배리 쿠퍼 상은 2020년 브루노 쿠르셀에게 수여되었다.[6]null

콘퍼런스 시리즈

협회는 주요 국제 회의 시리즈인 CiE(Computability in European)에서 성장했다. 첫 번째 CiE 회의는 2005년 6월에 암스테르담에서 열렸다.CiE는 수학, 컴퓨터 과학, 물리, 생물학과 같은 다양한 자연과학과 공학 분야의 응용 분야에 걸쳐 계산능력과 관련된 과학의 발전을 촉진하는 학제간 연례 회의 시리즈다.또한 회의 범위는 계산가능성의 문제와 관련되는 계산의 철학과 역사에 대한 연구를 포함한다.[7]null

현재 콘퍼런스 시리즈의 운영위원회 위원장은 플로린 마네아(Florin Manea)이며, 그의 전임자는 베네딕트 뢰베(2005~2013년)와 아놀드 벡만(2013~2016년)이었다.null

북 시리즈 및 저널

ACiE는 스프링거북 시리즈 이론과 연산성의[8] 응용 그리고 IOS Press가 발행한 저널 연산성에 대한 편집 책임을 가지고 있다.[9]null

참조

  1. ^ "Benedikt Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe, Computability 5(1):3-11 (2016)". Retrieved 19 July 2019.
  2. ^ "@AssociationCiE Tweet: The @AssociationCiE AGM 2020 elects Elvira Mayordomo as the next President of the Association (2020-2022)". 2 July 2020. Retrieved 3 July 2020.
  3. ^ "Association CiE Website: Governance". Retrieved 19 July 2019. "Tweet by @AssociationCiE on the Council Elections 2019". Retrieved 19 July 2019. "Tweet by @AssociationCiE on the Council Elections 2020". 2 July 2020. Retrieved 3 July 2020.
  4. ^ "Association CiE website: Special Interest Groups". Retrieved 19 July 2019.
  5. ^ "Association CiE website: S. Barry Cooper Prize". Retrieved 19 July 2019.
  6. ^ "Association CiE website: 2020 S. Barry Cooper Prize awarded to Bruno Courcelle". Retrieved 8 June 2020.
  7. ^ "Association CiE Website: CiE Conference Series". Retrieved 19 July 2019.
  8. ^ "Springer Verlag Website of the book series". Retrieved 1 July 2016.
  9. ^ "Website of the journal Computability". Retrieved 1 July 2016.