EACSL

EACSL

1992년 7월 14일 설립된 유럽컴퓨터과학논리학회([1]EACSL)는 회원들의 이익을 대변하고 과학 연구와 교육 분야에서 컴퓨터과학논리를 촉진하는 국제 전문 비영리단체다.기초연구와 산업적 응용의 연계를 진전시키기 위한 기초연구와 응용지향연구 모두를 지원한다.현 총장은 교수다.토마스 슈웬틱(독일 도르트문트 공과대학)

EACSL은 매년 국제회의 컴퓨터 과학 논리(CSL)를 조직하고 관련 절차를 발표하며, 여러 워크숍과 하계 학교를 지원하고 컴퓨터 과학 분야의 논리에 대한 EACSL 우수 논문상인 Ackermann 상을 후원한다.회원들의 연례 총회는 매년 연례 국제 회의 CSL 동안 열린다.

참조

  1. ^ "[1]." EACSL 공식 웹사이트의 목표 설명.
  2. ^ [2] DBLP의 과거 CSL 회의 전체 목록, 컴퓨터 과학 참고 문헌 목록.
  3. ^ [3] CSL 2013 제휴 워크샵 및 서머 스쿨.

외부 링크