KOSEN 한인과학기술자네트워크

닫기

더 많은 혜택을 위해
로그인 하세요.

동향

동향

학회보고서 작성안내

International Conference on Verification, Model Checking, and Abstract Interpretation

2019-01-06 org.kosen.entty.User@582aebb0 국경완(kugstone)
행사&학회소개
VMCAI(International Conference on Verification, Model Checking, and Abstract Interpretation) 2019 국제 컨퍼런스가 올해 20 번째로 포루투칼 Cascais Miragem 호텔에서 2019년 1월 13일부터 15일까지 열릴 예정이다. VMCAI는 검증, 모델 확인 및 추상 해석 커뮤니티의 연구원들을 위한 포럼을 제공하여 이러한 영역과 관련 영역을 결합하는 하이브리드 방법의 상호작용, 교차 인증 및 발전을 촉진한다. 이 심포지엄은 ACM SIGPLAN이 ACM SIGACT 및 ACM SIGLOG와 협력하여 후원한다. 이번 컨퍼런스에서는 제출된 50 여개의 논문 중 엄격하게 심사를 하여 Abstract Interpretation, Program Synthesis, Abstract Interpretation 등 9개 분야 27개의 논문이 발표될 예정이며, 동시에 2개의 컨퍼런스, 8개의 워크샵, 1개의 심포지엄이 동시에 열릴 뿐 만 아니라, 글로벌 IT업체인 AWS, Facebook, Microsoft, Oracle, UBER 등 13개 업체가 후원할 예정이며, 500 여명의 전문가, 학생, 업체인원 등이 참석할 예정이다.
보고서작성신청
VMCAI 2019를 후원하는 ACM은 컴퓨터 교육자, 연구자 및 전문가를 통합하여 대화를 촉진하고, 자원을 공유하고, 이 분야의 과제를 해결한다. 세계 최대의 컴퓨팅 사회인 ACM은 강력한 리더십, 최고 수준의 승진, 기술적 우수성 인정 등을 통해 전문직의 집단적 목소리를 강화하고 있을 뿐만 아니라, 평생 학습, 경력 개발, 전문 네트워킹을 위한 기회를 제공함으로써 회원들의 전문적인 성장을 지원하고 있다. 이번 심포지엄과 동시에 열릴 예정인 2개의 컨퍼런스 CPP, POPL, 그리고 BEAT, CoqPL, LAFI, OPCT, Off the Beaten Track, PEPM, PLMW, PriSC 의 8개의 워크샵, 그리고 또다른 심포지엄인 PADL이 열릴 예정이다. 컴퓨터 시대의 초기에 설립된 ACM은 10만 명에 가까운 회원 중 절반 이상이 미국 이외의 지역에 거주하면서 전 세계 모든 지역으로 뻗어 있다. 최근에는 유럽, 인도, 중국 등 유럽, 인도, 중국에서의 이사회로 이어져 국가 내 및 기술 공동체 간의 유대를 강화할 수 있는 네트워킹 기회를 창출하고 있어 Programming Languages 분야에서는 세계 최고의 심포지엄이라 생각되어 회원 간 정보공유를 하고자 학회 보고서를 신청합니다.
목록
목록