유럽 이론 컴퓨터 과학 협회

European Association for Theoretical Computer Science
EATCS 로고

유럽 이론컴퓨터과학협회(EATCS[1])는 1972년 설립된 유럽 중심의 국제기구다.그것의 목적은 이론 컴퓨터 과학자들 간의 아이디어와 결과의 교환을 촉진하는 것은 물론 컴퓨터 과학에서 이론과 실제 공동체 사이의 협력을 촉진하는 것이다.null

EATCS의 주요 활동은 다음과 같다.

EATCS상

매년 EATCS상은[6] 이론 컴퓨터 과학 분야에서 뛰어난 경력을 인정받아 수여된다.첫 번째 상은 2000년에 Richard Karp에게 주어졌다. 수상자의 전체 목록은 다음과 같다.

연도 수여됨 장소
2021 토니안 피타시 ICALP(Glasgow)
2020 미할리스 얀나카키스 ICALP(Saarbruken)
2019 토머스 헨징어 ICALP(Patras)
2018 노암 니산 ICALP(Prague)
2017 에바 타도스 ICALP(와르사우)
2016 덱스터 코젠 ICALP(로미)
2015 크리스토스 파파디미트리우 ICALP(교토)
2014 고든 플롯킨 ICALP(코펜하겐)
2013 마틴 다이어 ICALP(리거)
2012 모셰 바르디 ICALP(워릭)
2011 보리스 트라크텐브로트 ICALP(주리치)
2010 쿠르트 멜혼 ICALP(보르도)
2009 제라르 흐에 ICALP(Rodes)
2008 레슬리 G. 발리안트 ICALP(레이캬비크)
2007 다나 S. 스콧 ICALP(Wroclaw)
2006 마이크 패터슨 ICALP(베니스)
2005 로빈 밀너 ICALP(리스보아)
2004 아르토 살로마 ICALP(터쿠)
2003 그르제고르츠 로젠베르크 ICALP(Eindhoven)
2002 모리스 니바트 ICALP (말라가)
2001 코라도 m ICALP(크레타)
2000 리처드 카프 ICALP(제네바)

프레스버거상

주요기사 : 프레스버거상

2010년부터 유럽 이론 컴퓨터 과학 협회(EATCS)는 매년 ICALP 프레스버거 상 컨퍼런스(ICALP the Presburger Award)에서 한 젊은 과학자(예외적으로 여러 젊은 과학자에게)가 발표한 논문이나 일련의 출판 논문으로 문서화된 이론 컴퓨터 과학에 탁월한 공헌을 한 것으로 발표한다.이 상은 1929년 학생으로서 가산론(오늘날 이것을 프레스버거 산술이라고 한다)의 결정성에 관한 그의 길흉화 작업을 이룩한 모제츠 프레스버거의 이름을 딴 것이다.수상자의[7] 전체 목록은 다음과 같다.

연도 수여됨 장소
2021 샤얀 오비스 가란 ICALP(Glasgow)
2020 드미트리 주크 ICALP(Saarbruken/온라인)
2019 카스페르 그린 라르센의 카를 브레잉만 ICALP(Patras)
2018 알렉산더 므드리 ICALP(Prague)
2017 알렉산드라 실바 ICALP(와르사우)
2016 마크 브레이버먼 ICALP(로미)
2015 시첸 ICALP(교토)
2014 데이비드 우드러프 ICALP(코펜하겐)
2013 에릭 데메인 ICALP(리거)
2012 벤카테산 구루스와미, 미하이 파트라스쿠 ICALP(워릭)
2011 패트리샤 부이어 데크리트레 ICALP(주리치)
2010 미코와이 보자지크 ICALP(보르도)

EATCS 펠로우즈

EATCS 펠로우 프로그램은[8] 이론 컴퓨터 과학 분야에서 뛰어난 EATCS 회원들의 과학적 업적을 인정하기 위해 협회에 의해 설립되었다.펠로우 지위는 EATCS 커뮤니티 내에서 지적 및 조직적 리더십에 대한 기록이 있는 사람에게 EATCS 동료 선정 위원회에 의해 수여된다.동료들은 TCS 공동체의 '모범 시민'이 되어, 공동체의 프런티어를 넘어 TCS의 입지가 발전하는 데 도움을 줄 것으로 기대된다.null

수여됨 인정년
아케토 루카 2021
지리아다멕 2018
수잔 앨버스 2014
라지프 알루르 2021
조르조 아우시엘로 2014
윌프리드 브라워 2014
아르투르 추마즈 2015
피에르파올로 데가노 2020
마리앙기올라 데자니치안카글리니 2015
요제프 디아즈 2017
허버트 에델스브루너 2014
졸탄 에식 2016
마이크 펠로스 2014
페도르 포민 2019
유리 구레비치 2014
모하마드 하지아헤이 2020
마그누스 M.할도르손 2020
데이비드 해럴 2016
모니카 헨징어 2014
토마스 A.헨징어 2015
주세페 F.이탈리아어 2016
사미르 훌러 2021
덱스터 코젠 2015
마르타 콰트코프스카 2017
스테파노 레오나르디 2018
쿠르트 멜혼 2016
로코 데 니콜라 2019
데이비드 펠레그 2021
장에릭 핀 2014
다나 론 2019
다비데상기 2021
사켓사우라브 2021
스콧 A.스몰카 2016
폴 스피라키스 2014
아라빈드 스리니바산 2017
볼프강 토머스 2014
모셰 바디 2015
모티영 2017

이론 컴퓨터 과학의 텍스트

EATCS 게시판

EATCS 게시판(EATCS Bulletin)은 EATCS의 소식지로, 매년 2월, 6월, 10월에 3회 온라인으로 발행된다.Bulletin은 다음과 같은 자료의 신속한 발행과 광범위한 배포를 위한 매체다.

  • EATCS는 중요하다.
  • 현재 ICALP에 대한 정보
  • 기술적 기여
  • 기둥;
  • 설문 조사 및 자습서
  • 회의에 대한 보고서
  • 이벤트 일정
  • 컴퓨터 과학 부서 및 연구소에 대한 보고서
  • 기술 보고서 및 간행물 목록
  • 서평.
  • 개방적인 문제 및 해결책
  • 박사학위 논문 요약
  • 다양한 기관의 방문자에 대한 정보
  • 컴퓨터 과학과 관련된 재미있는 기부와 그림들

2021년부터 편집장은 스테판 슈미드였다.null

EATCS 젊은 연구원 학교

2014년부터 유럽 이론 컴퓨터 과학 협회(EATCS)는 TCS 주제에 관한 일련의 젊은 연구원 학교를 설립했다.그 학교들의 간략한 역사는 아래와 같다.null

연도 유형 장소
2017 ProbProgSchool 2017 – 프로그래밍 및 소프트웨어 시스템 기반 제1학교확률론적 프로그래밍 포르투갈 브라가
2015 제2회 EATCS 젊은 연구학교 – 데이터 토폴로지를 통한 복잡성과 동시성 이해 이탈리아 카메리노
2014 제1회 EATCS 젊은 연구원 학교 – 오토마타, 로직 및 게임 체코 텔치

참고 항목

참조

  1. ^ EATCS는 무엇의 약자인가? 유럽 이론 컴퓨터 과학 협회, 약자 검색기.
  2. ^ a b 브라우어, 우트, 브라우어, 윌프리드:유럽 이론 컴퓨터 과학 협회 / 협회 정보 / EATCS 은 주빌리
  3. ^ 이론 컴퓨터 과학의 모노그래프. EATCS 시리즈, Springer-Verlag.
  4. ^ 이론 컴퓨터 과학의 모노그래프. EATCS 시리즈, DBLP.
  5. ^ 이론 컴퓨터 과학의 본문. EATCS 시리즈, Springer-Verlag.
  6. ^ EATCS상, 유럽 이론 컴퓨터 과학 협회상.
  7. ^ "Presburger Award". European Association for Theoretical Computer Science. Retrieved 2020-07-23.
  8. ^ EATCS 유럽 이론 컴퓨터 과학 협회 동료들

외부 링크