오토마타 구현 및 적용에 관한 회의
Conference on Implementation and Application of Automata |
| 오토마타 구현 및 적용에 관한 회의 | |
|---|---|
| 약어 | CIAA(구 WIA) |
| 규율 | 오토마타 이론 및 공식 언어 |
| 발행내역 | |
| 출판사 | 스프링거 LNCS |
| 역사 | 1996– |
| 빈도 | 연간(1996년 이후) |
CIAA, 오토마타 구현 및 적용에 관한 국제회의는 컴퓨터 과학 분야의 연례 학술 회의다.오토마타 및 관련 구조의 이론·실행·적용에 관심이 있는 학계·연구계·산업계 구성원들을 한데 모으는 것이 목적이다.거기서, 컨퍼런스는 이론적인 측면을 포함하여, 오토마타 및 관련 구조의 구현과 적용의 모든 측면에 관한 연구를 다룬다.2000년, 회의는 오토마타 구현에 관한 워크숍(WIA)에서 발전하였다.
대부분의 이론적인 컴퓨터 과학 회의와 마찬가지로 그 기여는 강하게 동료 검토되고 있다; 그 기사들은 컴퓨터 과학의 스프링거 강의 노트에서 출판된 절차들에 나타난다.매년 열리는 학술회의의 선정된 논문의 확대판은 학술지 이론 컴퓨터 사이언스와 국제 컴퓨터 사이언스지(International Journal of Computer Science of Computer Science)에 번갈아 게재된다.매년 최우수 논문상이 수여된다.
컨퍼런스 주제
컨퍼런스의 초점은 응용 이론에 초점이 맞춰져 있기 때문에, 기여는 대개 광범위한 응용 분야로부터 온다.컨퍼런스의 대표적인 주제로는 오토마타와 관련된 다음과 같은 것들이 있다.
- 바이오 영감을 받은 컴퓨팅
- 자동 데이터 운영의 복잡성, 상태 복잡성
- 컴파일러스
- 컴퓨터 지원 검증, 모델 확인
- 동시성
- 데이터 및 이미지 압축
- 오토마타 소프트웨어의 설계 및 아키텍처
- 문서공학
- 자연어 처리
- 패턴 매칭
- 오토마타 이론의 가르침
- 텍스트 처리
- 오토마타 그래픽 표시 기법
회의의 역사
CIAA 회의 시리즈는 Darrell Raymond와 Derick Wood에 의해 설립되었다.2013년부터 운영위원회는 카이 살로마가 위원장을 맡고 있다.
| 이벤트 | 위치 | PC 의자 | 절차 | 특별발행 |
|---|---|---|---|---|
| 제1회 WIA 1996 | 캐나다 온타리오 주 런던 | 대럴 R.레이먼드 데릭 우드 성유 | LNCS 1260 | |
| 제2차 WIA 1997 | 캐나다 온타리오 주 런던 | 데릭 우드 성유 | LNCS 1436 | 이론 컴퓨터 과학 231(1), 2000 |
| 제3회 WIA 1998 | 프랑스 루앙 | 장마르크 샹파르노우드 데니스 모렐 젤룰 지아디 | LNCS 1660 | 이론 컴퓨터 과학 267(1-2), 2001 |
| 제4회 WIA 1999 | 독일 포츠담 | 올리버 볼드 헬무트 위르겐센 | LNCS 2214 | |
| 제5차 CIAA 2000 | 캐나다 온타리오 주 런던 | 성유 안드레이 분 | LNCS 2088 | 컴퓨터 과학 국제학술지 제13호, 2002 |
| 2001년 제6차 CIAA | 남아프리카 공화국의 프레토리아 | 브루스 W.왓슨, 데릭 우드 | LNCS 2494 | 이론 컴퓨터 과학 313(1), 2004 |
| 제7회 CIAA 2002 | 프랑스 투어 | 장마르크 샹파르노우드 데니스 모렐 | LNCS 2608 | 컴퓨터 과학 국제학술지 제14권(6), 2003 |
| 제8회 CIAA 2003 | 미국 산타바바라 | 오스카 H. 이바라 저당 | LNCS 2759 | 이론 컴퓨터 과학 328(1-2), 2004 |
| 제9회 CIAA 2004 | 캐나다 온타리오 주 킹스턴 | 카이 살로마 성유 | LNCS 3317 | 2005년 컴퓨터 과학 국제학술지 제16권(3권 |
| 제10회 CIAA 2005 | 프랑스 소피아 안티폴리스 | 자크 파레 이고르 리토프스키 | LNCS 3845 | 이론 컴퓨터 과학 363(2), 2006 |
| 제11회 CIAA 2006 | 타이완의 타이베이 | 오스카 H. 이바라 슈춘옌 | LNCS 4094 | 컴퓨터 과학 국제학술지 제18권(4), 2007 |
| 2007년 제12차 CIAA | 체코 프라하 | 얀 홀럽 보시보이보이 멜리차르 | LNCS 4783 | 이론 컴퓨터 과학 410(37), 2009 |
| 2008년 제13차 CIAA | 미국 캘리포니아 주 샌프란시스코 | 오스카 H. 이바라 발라 라비쿠마르 | LNCS 5148 | 컴퓨터 과학 국제학술지 제20(4), |
| 2009년 제14차 CIAA | 오스트레일리아 시드니 | 세바스티안 마네스 | LNCS 5642 | 이론 컴퓨터 과학 411(38-39), 2010 |
| 제15회 CIAA 2010 | 캐나다 매니토바 주 위니펙 | 마이클 도마라츠키 카이 살로마 | LNCS 6482 | 컴퓨터 과학 국제학술지 2011년 |
| 제16회 CIAA 2011 | 프랑스 블루아 | 베아트리체 보우마르크호프 장마르크 샹파르노우드 데니스 모렐 | LNCS 6807 | 이론 컴퓨터 과학 450, 2012 |
| 2012년 제17차 CIAA | 포르투, 포르투갈 | 넬마 모레라 로제리오 리스 | LNCS 7381 | 컴퓨터 과학 국제학술지 2013년 |
| 제18회 CIAA 2013 | 캐나다 노바스코샤 핼리팩스 | 스타브로스 콘스탄티니디스 | LNCS 7982 | 이론 전산학 578, 2015 |
| 제19회 CIAA 2014 | 독일 기센 | 마르쿠스 홀저 마틴 쿠트리브 | LNCS 8587 | 국제컴퓨터학회 제26권, 2015년 |
| 제20회 CIAA 2015 | 스웨덴 우메우 | 프랭크 드루즈 | LNCS 9223 | 이론 컴퓨터 과학 679, 2017 |
| 제21회 CIAA 2016 | 대한민국 서울 | 한요섭 카이 살로마 | LNCS 9705 | 컴퓨터 과학 국제학술지 28(5), 2017 |
| 제22회 CIAA 2017 | 프랑스 파리 | 아르노 카라욜 시릴 니카우드 | LNCS 10329 | 이론 컴퓨터 과학 787, 2019 |
| 제23회 CIAA 2018 | 캐나다 프린스 에드워드 섬 샬럿원 | 체자르 pe페아누 | LNCS 10977 | 컴퓨터 과학 국제학술지 제31권(8), |
| 제24회 CIAA 2019 | 슬로바키아 코시체 | 갈리나 지라스코바 | LNCS 11601 | 이론 컴퓨터 과학, 등장할 것. |
| 제25회 CIAA 2020 | 영국 러프버러(취소) | 만프레드 쿠플라이트너 대니얼 리덴바흐 | 해당 없음 | 해당 없음 |
참고 항목
- 컴퓨터 과학 회의 목록에는 컴퓨터 과학에 관한 다른 학술 회의가 포함되어 있다.
참조
- Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai (2004), "Report on CIAA 2004" (PDF), Bulletin of the EATCS, 84: 231–234.
외부 링크
