컴퓨터 과학 회의 목록

List of computer science conferences

이것은 컴퓨터 과학의 학술 회의 목록이다. 별도의 기사가 실린 컨퍼런스만 포함되며, 각 분야별로 짧은 이름으로 컨퍼런스를 알파벳 순으로 나열한다.

일반

알고리즘과 이론

ESA 2009
주요 기사: 이론 컴퓨터 과학 § 컨퍼런스

알고리즘, 데이터 구조, 계산 가능성, 계산 복잡성, 자동화된 이론 및 공식 언어를 포함한 이론 컴퓨터 과학으로부터 광범위한 주제를 수용하는 컨퍼런스:

알고리즘

알고리즘과 데이터 구조가 광범위하게 고려되지만 계산 복잡성 이론과 같은 이론적 컴퓨터 과학의 다른 영역은 포함하지 않는 컨퍼런스:

기하 알고리즘

컴퓨터 기하학, 그래프 그리기 및 기타 기하학 컴퓨팅 응용 분야에 대한 컨퍼런스:

논리학

참고 항목: § 공식 방법 및 § 자동 추론

기타 전문 하위 항목

언어 및 소프트웨어

프로그래밍 언어

프로그래밍 언어, 프로그래밍 언어 이론 및 컴파일러에 대한 회의:

소프트웨어 엔지니어링

소프트웨어 엔지니어링 관련 컨퍼런스:

형식 방법

참고 항목: § 로직 및 § 자동 추론

소프트웨어 엔지니어링에서 공식 사양, 공식 검증 및 정적 코드 분석을 포함한 공식 방법에 대한 회의:

동시, 분산 및 병렬 컴퓨팅

주요 기사: 분산 컴퓨팅 컨퍼런스 목록
참고 항목: § 컴퓨터 네트워킹

동시, 분산 및 병렬 컴퓨팅, 내결함성 시스템 및 신뢰할 수 있는 시스템에 대한 컨퍼런스:

고성능 컴퓨팅

고성능 컴퓨팅, 클러스터 컴퓨팅 및 그리드 컴퓨팅에 대한 컨퍼런스:

운영 체제

참고 항목: § 컴퓨터 네트워킹 및 § 고성능 컴퓨팅

운영 체제, 스토리지 시스템 및 미들웨어 관련 컨퍼런스:

컴퓨터 건축

컴퓨터 아키텍처에 관한 회의:

컴퓨터 하드웨어

컴퓨터 하드웨어 관련 컨퍼런스:

컴퓨터 지원 설계

컴퓨터 지원 설계 및 전자 설계 자동화에 관한 회의:

컴퓨터 네트워킹

참고 항목: § 동시, 분산 및 병렬 컴퓨팅

컴퓨터 네트워킹에 대한 컨퍼런스:

무선 네트워크 및 모바일 컴퓨팅

유비쿼터스 및 퍼베이시브 컴퓨팅, 무선 애드혹 네트워크 및 무선 센서 네트워크를 포함한 무선 네트워크 및 모바일 컴퓨팅:

보안 및 개인 정보 보호

컴퓨터 보안 및 개인 정보 보호에 관한 회의:

암호학

주요 기사: 암호학 회의 목록

암호화 컨퍼런스:

데이터 관리

데이터베이스, 정보 시스템, 정보 검색, 데이터 마이닝 및 월드 와이드 웹에 대한 컨퍼런스:

인공지능

인공지능 및 머신러닝 관련 회의:

진화 연산

진화 계산에 관한 회의.

자동 추론

참고 항목: § 로직 및 § 공식 방법 참조

자동화된 추론에 대한 컨퍼런스:

컴퓨터 비전

참고 항목: § 컴퓨터 그래픽

컴퓨터 비전(이미지 분석 포함) 및 패턴 인식 관련 회의:

자연어 처리

컴퓨터 언어학 및 자연 언어 처리에 관한 회의:

컴퓨터 그래픽스

참고 항목: § 컴퓨터 비전

컴퓨터 그래픽, 지오메트리 프로세싱, 이미지 프로세싱 및 멀티미디어 관련 컨퍼런스:

시각화

과학적 시각화 및 정보 시각화에 대한 컨퍼런스:

인간과 컴퓨터의 상호작용

휴먼-컴퓨터 상호작용 및 사용자 인터페이스에 관한 회의:

생물정보학 및 계산생물학

생물정보학 및 컴퓨터 생물학 관련 회의:

교육

컴퓨터 과학 교육 및 전자 학습에 관한 회의:

참고 항목

외부 링크