2020 한국 소프트웨어공학 학술대회(KCSE 2020)

“AI를 완성하는 소프트웨어공학 기술”

http://www.sigsoft.or.kr/KCSE2020/

 

▣ 일시: 2020년 2월 3일(월) – 2월 5일(수)

▣ 장소: 강원도 평창 한화리조트 (휘닉스파크점)

▣ 주최: 한국정보과학회, 한국정보처리학회

▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회

 

▣ 모시는 글

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2020 한국 소프트웨어공학 학술대회 (KCSE 2020)”가 2020년 2월 3일부터 2월 5일까지 강원도 평창 한화리조트 (휘닉스파크점)에서 개최됩니다. 특히 이번 행사에서는 “AI를 완성하는 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 여러분의 많은 참여를 부탁드립니다.

 

▣ 주요 일정

패널/워크샵/튜토리얼 제안서 접수: 2019년 11월 29일 (금) – 결과 일주일 내 통보
논문접수 마감: 2019년 12월 27일 (금) 2020년 1월 3일 (금) 2020년 1월 7일 (화)
심사결과 통보: 2020년 1월 15일 (수) 2020년 1월 16일 (목)
최종원고 제출: 2020년 1월 22일 (수)

 

▣ 프로그램

 

▣ 기조연설

– 김강태 상무 (삼성전자) : “Smart S/W Development : AI for Software Engineering”

– 이중원 교수 (한국철학회 차기회장) : “인공지능과 인간의 공존, 그리고 포스트 휴머니즘”

– 최창남 본부장 (한국 오라클) : “Build AI-Powered Applications through Data driven Innovation”

 

▣ 튜토리얼

–   T1: 이문근 교수 (전북대학교) : “ADOxx Meta-Modeling Platform”

–   T2: 김윤호 박사 (KAIST) : “Concolic 유닛 테스팅”

–   T3: 차성덕 교수 (고려대학교) : “전산학 논문 작성법 (Technical Writing in English)”

–   T4: 지은경 교수 (KAIST) : SW 안전 확보를 위한 기법: 도메인 적용 방안 및 사례”

–   T5: 김순태 교수 (전북대학교) : “블록체인의 핵심 개념, 산업별 응용 사례 그리고 소프트웨어공학 연구 이슈 소개”

–   T6: 이주용 교수 (UNIST) : “의미 기반 프로그램 수정 (Semantics-based Program Repair)”

 

▣ 국제학회/학술대회 초청논문 발표

–  “Precise Learn-to-Rank Fault Localization using Dynamic and Static Features of Target Programs” ACM Transactions on Software Engineering and Methodology (TOSEM), Vol.28, No.4, 2019

–  “Automatic Detection and Update Suggestion for Outdated API Names in Documentation” IEEE Transactions on Software Engineering (TSE), 2019

–  “Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry” The 41th ACM/IEEE International Conference on Software Engineering (ICSE 2019)

–  “Model checking embedded control software using OS-in-the-loop CEGAR” The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)

–  “Effect-driven Dynamic Selection of Physical Media for Visual IoT Services using Reinforcement Learning” the 24th IEEE International Conference on Web Services (ICWS 2019)

 

▣ Fresh Ph.D 초청 발표

–  권정현 박사 (KAIST) : “Prioritizing test environments for cost-effective software test in continuous integration”

–  김진대 박사 (홍콩과기대) : “Automatic Patch Generation with Context-based Change Application”

–  정세훈 박사 (고려대학교) : “Learning Heuristics for Fast and Precise Java Points-to Analysis”

 

▣ 참가등록

–  참가비(사전/현장) : 학생 (180,000/200,000원) , 일반 (240,000/260,000원)

–  사전등록기간: 2020년 1월 24일(금) 24:00까지

–  한국정보과학회 회원/비회원 참가비 동일

–  사전등록 사이트: http://kiise.or.kr/conference/conf/071/

–  문의처

–  등록문의 : 한국정보과학회 최희수 대리 (Email: hschoi@kiise.or.kr, Tel. 02-588-9246)

     청구서, 납입증명서, 참가확인서(행사종료 후) 요청 가능

–  기타문의 : 가톨릭관동대학교 김정아 교수 (Email: clara@cku.ac.kr, Tel. 033-649-7801)

–  식사 쿠폰 현장구매 가능

–  휘닉스파크 스키리프트, 장비, 사우나, 블루캐니언(수영장) 40%~60% 할인 – KCSE 2020 명찰 제시

 

▣ 발표안내

–  발표시간: 초청논문(30분), 산업체/일반논문(20분), 학부/단편논문(15분)

–  발표와 질의응답을 포함한 시간입니다.

–  참가자 등록을 하지 않거나, 미발표 논문은, 최종 논문집에서 제외됩니다.

 

▣ 학술대회 조직 구성

–  대 회 장: 이병정 교수 (서울시립대학교), 김정아 교수 (가톨릭관동대학교)

–  조직위원장: 김정아 교수 (가톨릭관동대학교)

–  학술위원장: 유준범 교수 (건국대학교)