• vote2019_notice1s.PNG

    2019년도 차기회장 입후보자 공고

    2018/10/02

    상세보기 >>

    2019년도 차기회장 입후보자 공고

    2018/10/02

    상세보기 >>

  • 썸네일1.png

    [CFP] KSC2018 (12.19-21, 평창 휘닉스파크) 논문접수마감 10.22(월)

    2018/09/03

    [CFP]



    2018 한국소프트웨어종합학술대회(KSC2018)

    Korea Software Congress 2018



    2018년 12월 19일(수) ~ 21일(금), 평창 휘닉스파크



    논문접수 바로가기



    논문 모집
    · 논문내용 : 정보과학에 관한 학술논문 및 기술보고 등
    · 세부분야 : 고성능컴퓨팅, 국방소프트웨어, 데이터베이스, 모바일응용및시스템, 사물인터넷, 소프트웨어공학
                       스마트시티, 언어공학, 오픈소스소프트웨어, 인공지능, 전산교육시스템, 정보보안및고신뢰컴퓨팅,
                       정보통신, 컴퓨터그래픽스및상호작용, 컴퓨터시스템, 컴퓨터이론, 프로그래밍언어
    · 논문분량 : 2~3쪽 (제출양식)
    · 제출방법 : 홈페이지 온라인 접수
    · 논문 접수마감 : 10월 22일(월)                    
    · 논문 심사결과발표 : 11월 21일(수)
    · 최종논문 제출마감 : 11월 27일(화)
    · 논문발표 : 12월 19일(수)~21일(금), 평창 휘닉스파크
    ※ 우수논문은 정보과학회논문지 게재 추천

    ※ 문의 : 박보혜 사원(한국정보과학회) bhpark@kiise.or.kr


    튜토리얼 제안 모집
    · 모집내용 : 정보과학분야로 다수의 관심 대상 주제 강연
    · 제출내용 : 강의제안서 및 강사약력 (제출양식)
    · 모집마감 : 2018년 11월 2일(금)
    · 문의 및 제출 : 김인중 교수(한동대) ijkim@handong.edu
                                이경한 교수(UNIST) khlee@unist.ac.kr


    워크샵 제안 모집
    · 모집내용 : 센터, 사업단, 과제 등의 성과발표회 및 워크샵
    · 제출내용 : 워크샵 제안서 (제출양식)
    · 모집마감 : 2018년 11월 2일(금)
    · 문의 및 제출 : 김익순 박사(ETRI) ik-soon.kim@etri.re.kr


    후원 및 협찬사 모집
    · 모집내용 : 제품소개, 도서 및 기기 전시, 후원, 이벤트 등
    ※ 기념품 등의 협찬도 가능하며, 사전에 담당자와 협의 요함.
    · 제공내용 : 전시부스제공, 광고게재 등
    · 모집마감 : 2018년 11월 23일(금)
    · 문의 : 한영진 국장(한국정보과학회) yjhan@kiise.or.kr


    사전등록
    · 발표자 사전등록마감 : 11월 27일(화)
    · 일반참가자 1차사전등록마감 : 12월 5일(수)



    행사문의 : bhpark@kiise.or.kr 02-588-9247

    상세보기 >>

    [CFP] KSC2018 (12.19-21, 평창 휘닉스파크) 논문접수마감 10.22(월)

    2018/09/03

    [CFP]



    2018 한국소프트웨어종합학술대회(KSC2018)

    Korea Software Congress 2018



    2018년 12월 19일(수) ~ 21일(금), 평창 휘닉스파크



    논문접수 바로가기



    논문 모집
    · 논문내용 : 정보과학에 관한 학술논문 및 기술보고 등
    · 세부분야 : 고성능컴퓨팅, 국방소프트웨어, 데이터베이스, 모바일응용및시스템, 사물인터넷, 소프트웨어공학
                       스마트시티, 언어공학, 오픈소스소프트웨어, 인공지능, 전산교육시스템, 정보보안및고신뢰컴퓨팅,
                       정보통신, 컴퓨터그래픽스및상호작용, 컴퓨터시스템, 컴퓨터이론, 프로그래밍언어
    · 논문분량 : 2~3쪽 (제출양식)
    · 제출방법 : 홈페이지 온라인 접수
    · 논문 접수마감 : 10월 22일(월)                    
    · 논문 심사결과발표 : 11월 21일(수)
    · 최종논문 제출마감 : 11월 27일(화)
    · 논문발표 : 12월 19일(수)~21일(금), 평창 휘닉스파크
    ※ 우수논문은 정보과학회논문지 게재 추천

    ※ 문의 : 박보혜 사원(한국정보과학회) bhpark@kiise.or.kr


    튜토리얼 제안 모집
    · 모집내용 : 정보과학분야로 다수의 관심 대상 주제 강연
    · 제출내용 : 강의제안서 및 강사약력 (제출양식)
    · 모집마감 : 2018년 11월 2일(금)
    · 문의 및 제출 : 김인중 교수(한동대) ijkim@handong.edu
                                이경한 교수(UNIST) khlee@unist.ac.kr


    워크샵 제안 모집
    · 모집내용 : 센터, 사업단, 과제 등의 성과발표회 및 워크샵
    · 제출내용 : 워크샵 제안서 (제출양식)
    · 모집마감 : 2018년 11월 2일(금)
    · 문의 및 제출 : 김익순 박사(ETRI) ik-soon.kim@etri.re.kr


    후원 및 협찬사 모집
    · 모집내용 : 제품소개, 도서 및 기기 전시, 후원, 이벤트 등
    ※ 기념품 등의 협찬도 가능하며, 사전에 담당자와 협의 요함.
    · 제공내용 : 전시부스제공, 광고게재 등
    · 모집마감 : 2018년 11월 23일(금)
    · 문의 : 한영진 국장(한국정보과학회) yjhan@kiise.or.kr


    사전등록
    · 발표자 사전등록마감 : 11월 27일(화)
    · 일반참가자 1차사전등록마감 : 12월 5일(수)



    행사문의 : bhpark@kiise.or.kr 02-588-9247

    상세보기 >>

  • 학부생썸네일.png

    [CFP] KSC2018 학부생/주니어논문경진대회 논문접수마감 10.22(월)

    2018/09/10

    [CFP]



    2018 한국소프트웨어종합학술대회(KSC2018)

    학부생/주니어논문경진대회



    2018년 12월 19일(수) ~ 21일(금), 평창 휘닉스파크



    논문접수 바로가기



    논문 모집
    · 모집대상 : 발표자(투고자)가 학부생/고등학생인 논문
    · 논문내용 : 정보과학에 관한 학술논문 및 기술보고 등
    · 세부분야 : 고성능컴퓨팅, 국방소프트웨어, 데이터베이스, 모바일응용및시스템, 사물인터넷, 소프트웨어공학
                          스마트시티, 언어공학, 오픈소스소프트웨어, 인공지능, 전산교육시스템, 정보보안및고신뢰컴퓨팅,
                          정보통신, 컴퓨터그래픽스및상호작용, 컴퓨터시스템, 컴퓨터이론, 프로그래밍언어
    · 논문분량 : 2~3쪽 (제출양식)
    · 제출방법 : 홈페이지 온라인 접수
    · 논문 접수마감 : 10월 22일(월)
                            
    · 논문 심사결과발표 : 11월 21일(수)
    · 최종논문 제출마감 : 11월 27일(화)
    · 논문발표 : 12월 19일(수)~21일(금), 평창 휘닉스파크
    ※ 상기 일정은 사정에 따라 다소 변경될 수 있습니다.


    우수논문시상
    학술대회 논문심사기준에 따라 채택된 논문의 심사결과와 발표평가를 합산하여 우수논문을 선정하여 시상함.
    · 시상내역 : 최우수상, 우수상, 장려상
    · 시상일자 : 행사 종료 후 입상자 발표 및 상장 우송


    사전등록
    · 논문발표자 사전등록마감 : 11월 27일(화)
    · 등록구분 : 학생회원/정회원/비회원



    문의 : 박보혜 사원(한국정보과학회) bhpark@kiise.or.kr 02-588-9247

    상세보기 >>

    [CFP] KSC2018 학부생/주니어논문경진대회 논문접수마감 10.22(월)

    2018/09/10

    [CFP]



    2018 한국소프트웨어종합학술대회(KSC2018)

    학부생/주니어논문경진대회



    2018년 12월 19일(수) ~ 21일(금), 평창 휘닉스파크



    논문접수 바로가기



    논문 모집
    · 모집대상 : 발표자(투고자)가 학부생/고등학생인 논문
    · 논문내용 : 정보과학에 관한 학술논문 및 기술보고 등
    · 세부분야 : 고성능컴퓨팅, 국방소프트웨어, 데이터베이스, 모바일응용및시스템, 사물인터넷, 소프트웨어공학
                          스마트시티, 언어공학, 오픈소스소프트웨어, 인공지능, 전산교육시스템, 정보보안및고신뢰컴퓨팅,
                          정보통신, 컴퓨터그래픽스및상호작용, 컴퓨터시스템, 컴퓨터이론, 프로그래밍언어
    · 논문분량 : 2~3쪽 (제출양식)
    · 제출방법 : 홈페이지 온라인 접수
    · 논문 접수마감 : 10월 22일(월)
                            
    · 논문 심사결과발표 : 11월 21일(수)
    · 최종논문 제출마감 : 11월 27일(화)
    · 논문발표 : 12월 19일(수)~21일(금), 평창 휘닉스파크
    ※ 상기 일정은 사정에 따라 다소 변경될 수 있습니다.


    우수논문시상
    학술대회 논문심사기준에 따라 채택된 논문의 심사결과와 발표평가를 합산하여 우수논문을 선정하여 시상함.
    · 시상내역 : 최우수상, 우수상, 장려상
    · 시상일자 : 행사 종료 후 입상자 발표 및 상장 우송


    사전등록
    · 논문발표자 사전등록마감 : 11월 27일(화)
    · 등록구분 : 학생회원/정회원/비회원



    문의 : 박보혜 사원(한국정보과학회) bhpark@kiise.or.kr 02-588-9247

    상세보기 >>

  • 종신회원 회비 특별할인 안내(10.5~12.31)

    2018/10/10

    - 할인기간 : 2018.10.5 ~ 2018.12.31
    - 할인내용 : 회비 20% 할인
    * (할인 전) 750,000원 => (할인 후) 600,000원

    상세보기 >>

  • 홈페이지홍보용_iTIP2018_0813_썸네일.jpg

    제36회 미래 정보 기술·산업 전망(iTIP 2018)(9.14-15, 대구 엑스코)

    2018/07/19

     

       

    ▣ 행사명 : 제36회 미래 정보 기술·산업 전망(iTIP 2018)
                    - Beyond AI & Connected S/W Platform -
    ▣ 일자 : 2018년 9월 14일(금) ~ 15일(토)
    ▣ 장소 : 대구 엑스코
    ▣ 주최 : 한국정보과학회, 한국과학기술정보연구원, 한국전자통신연구원, 엑스코
    ▣ 후원 : 오라클, LG U+, 에이디에스 스퀘어, SK브로드밴드, 한스콤정보통신, 대구컨벤션뷰로

    ▣ 홈페이지 : http://www.kiise.or.kr/conference/iTIP/2018/

    ▣ 조직  

    - 대회장 : 김동규 부회장(한국정보과학회), 황순욱 본부장(한국과학기술정보연구원), 이수인 소장(한국전자통신연구원)
    - 조직위원장 : 권기룡 교수(부경대), 이식 센터장(KISTI), 이현우 본부장(ETRI)
    - 조직위원 : 강순주 교수(경북대), 권성근 교수(경일대), 
    김상욱 교수(한양대), 김순철 교수(대구대), 김일곤 교수(경북대), 김재성 책임연구원(KISTI), 김형식 교수(성균관대), 노원우 교수(연세대), 문기영 센터장(ETRI), 박경석 책임연구원(KISTI), 성원경 책임연구원(KISTI), 심재창 교수(안동대), 임성수 교수(국민대), 장성우 전무(오라클), 정기문 선임연구원(KISTI), 한보형 교수(서울대), 함재균 선임연구원(KISTI)





    상세보기 >>

    제36회 미래 정보 기술·산업 전망(iTIP 2018)(9.14-15, 대구 엑스코)

    2018/07/19

     

       

    ▣ 행사명 : 제36회 미래 정보 기술·산업 전망(iTIP 2018)
                    - Beyond AI & Connected S/W Platform -
    ▣ 일자 : 2018년 9월 14일(금) ~ 15일(토)
    ▣ 장소 : 대구 엑스코
    ▣ 주최 : 한국정보과학회, 한국과학기술정보연구원, 한국전자통신연구원, 엑스코
    ▣ 후원 : 오라클, LG U+, 에이디에스 스퀘어, SK브로드밴드, 한스콤정보통신, 대구컨벤션뷰로

    ▣ 홈페이지 : http://www.kiise.or.kr/conference/iTIP/2018/

    ▣ 조직  

    - 대회장 : 김동규 부회장(한국정보과학회), 황순욱 본부장(한국과학기술정보연구원), 이수인 소장(한국전자통신연구원)
    - 조직위원장 : 권기룡 교수(부경대), 이식 센터장(KISTI), 이현우 본부장(ETRI)
    - 조직위원 : 강순주 교수(경북대), 권성근 교수(경일대), 
    김상욱 교수(한양대), 김순철 교수(대구대), 김일곤 교수(경북대), 김재성 책임연구원(KISTI), 김형식 교수(성균관대), 노원우 교수(연세대), 문기영 센터장(ETRI), 박경석 책임연구원(KISTI), 성원경 책임연구원(KISTI), 심재창 교수(안동대), 임성수 교수(국민대), 장성우 전무(오라클), 정기문 선임연구원(KISTI), 한보형 교수(서울대), 함재균 선임연구원(KISTI)





    상세보기 >>

  • 제30회 국제정보올림피아드(IOI) 대표단 참가결과(국가 종합 2위)

    2018/10/15

    강태규(서울과학고 3, 금)
    김세빈(경기과학고 2, 금)
    노영훈(서울과학고 3, 금)
    윤교준(경기과학고 2, 은)

    상세보기 >>

  • 썸네일용_정책학회-mou.jpg

    한국정책학회와 MOU 체결

    2018/09/05

    지난 8월 23일, 국민대에서 한국정보과학회와 한국정책학회는

    상세보기 >>

    한국정책학회와 MOU 체결

    2018/09/05

    지난 8월 23일, 국민대에서 한국정보과학회와 한국정책학회는

    상세보기 >>

  • 썸네일용_MOU_3개학회_홈페이지용.jpg

    IT분야 3개 학회(KIISE, IEEK, KICS) MOU 체결

    2018/06/05

    IT분야 3개 학회(KIISE, IEEK, KICS) MOU 체결

    지난 5월 3일, 한국정보과학회, 한국통신학회, 대한전자공학회는 상호 협력을 통하여 각 학회의 활동을 더욱 원활이 할 수 있는 환경을 제공하고자 MOU를 체결하였다.

    이번 협약은 한 학회에서 주관하는 학술행사시 다른 두 학회 회원에게 동일한 참여자격을 부여하는 것과 연 1회 이상의 공동주관 행사 개최 등을 주요내용으로 삼고 있다. 또한, 이를 뒷받침하기 위하여 위원회를 설치하며, 3개 학회의 회장 및 차기회장은 정기적인 회합을 통하여 상호 이해와 협력을 증진하고 공동 관심 사항을 지속적으로 논의해 나가기로 하였다. 3개 학회는 2012년에 동일한 협약을 체결한 바 있다.


    상세보기 >>

    IT분야 3개 학회(KIISE, IEEK, KICS) MOU 체결

    2018/06/05

    IT분야 3개 학회(KIISE, IEEK, KICS) MOU 체결

    지난 5월 3일, 한국정보과학회, 한국통신학회, 대한전자공학회는 상호 협력을 통하여 각 학회의 활동을 더욱 원활이 할 수 있는 환경을 제공하고자 MOU를 체결하였다.

    이번 협약은 한 학회에서 주관하는 학술행사시 다른 두 학회 회원에게 동일한 참여자격을 부여하는 것과 연 1회 이상의 공동주관 행사 개최 등을 주요내용으로 삼고 있다. 또한, 이를 뒷받침하기 위하여 위원회를 설치하며, 3개 학회의 회장 및 차기회장은 정기적인 회합을 통하여 상호 이해와 협력을 증진하고 공동 관심 사항을 지속적으로 논의해 나가기로 하였다. 3개 학회는 2012년에 동일한 협약을 체결한 바 있다.


    상세보기 >>

전체보기

  • 썸네일용_지식서비스.jpg

    2018 지식서비스국제컨퍼런스(11.8, 엘타워)

    2018/10/16

    read more

    2018 지식서비스국제컨퍼런스(11.8, 엘타워)

    2018/10/16

    read more

  • 썸네일용_CFP.jpg

    [CFP][11.16 접수마감]UCWIT2018(12.7, 부경대)

    2018/10/15

    2018 한국정보과학회 학술심포지움

     UCWIT2018 유비쿼터스 컴퓨팅과 웹 정보기술

    2018년 12월 7일(금), 부경대학교

    http://db.pknu.ac.kr/ucwit2018/ 

    ▣ 행사개요

    한국정보과학회에서는 오는 12월 7일(금)에 부경대학교에서 UCWIT2018 학술심포지움을 개최합니다. 한국정보과학회 영남지부와 부경대학교 전자정보통신연구소가 주관하는 본 학술심포지움은 유비쿼터스와 웹 정보 기술을 중심으로 정보통신 및 전통산업과의 IT 융합기술을 중심으로 분야별 전문가들이모여 최신 주제를 토론하는 학술회의입니다. 본 UCWIT2018 학술심포지움에 많은 관심과 참가를 부탁합니다.

    - 일시: 2018년 12월 7일 (금)
    - 장소: 부경대학교
    - 주관: 한국정보과학회 영남지부
    - 주최: 한국정보과학회

    ▣ 발표 분야

    - Internet of Things, Ubiquitous and Mobile technologies
    - Big Data, Software Engineering, Enterprise Application
    - RFID/USN, LBS, and GIS
    - Embedded Systems, Embedded SW
    - Web engineering: Web services, SOA, Semantic web and ontology
    - 통신 및 네트워크, 제4차 산업혁명
    - 지식공학, 데이터베이스, 전기공학, 전자공학, 소프트웨어
    - 기타

    ▣ 주요일정

    - 논문제출마감: 2018년 11월 16일(금)
    - 논문심사통보: 2018년 11월 23일(금)
    - 최종논문제출: 2018년 11월 30일(금)
    - 사전등록일자: 2018년 11월 5일(수)
    - 학회발표일자: 2018년 12월 7일(금)

    ▣ 논문 제출 방법

    - 논문작성양식: 지정양식에 따른 2~4쪽(홈페이지 참조)
    - 논문제출및확인: ucwit2018@gmail.com 

    ▣ 논문발표형태

    - 논문은 구두 발표 또는 게시발표에 반드시 참여해야 합니다.
    - 발표자는 세션시작 10분 까지 도착하여 좌장에게 보고하고 준비해야 합니다.
    - 구두발표 자료는 파워포인트 PPT 또는 Adobe의 PDF로 가능합니다.
    - 구두발표 시간은 12분이며, 10분 발표와 2분 질문으로 구성됩니다.
    - 포스터발표는 A4 PPT 8쪽 내외 출력물 또는 62*78 크기의 포스터를 준비합니다

    ▣ 기타

    - 홈페이지: http://db.pknu.ac.kr/ucwit2018/
    - 조직위원장: 김순철 (대구대학교)
    - 학술위원장: 이철(부경대학교)
    - 집행위원장: 송하주(부경대학교)

    read more

    [CFP][11.16 접수마감]UCWIT2018(12.7, 부경대)

    2018/10/15

    2018 한국정보과학회 학술심포지움

     UCWIT2018 유비쿼터스 컴퓨팅과 웹 정보기술

    2018년 12월 7일(금), 부경대학교

    http://db.pknu.ac.kr/ucwit2018/ 

    ▣ 행사개요

    한국정보과학회에서는 오는 12월 7일(금)에 부경대학교에서 UCWIT2018 학술심포지움을 개최합니다. 한국정보과학회 영남지부와 부경대학교 전자정보통신연구소가 주관하는 본 학술심포지움은 유비쿼터스와 웹 정보 기술을 중심으로 정보통신 및 전통산업과의 IT 융합기술을 중심으로 분야별 전문가들이모여 최신 주제를 토론하는 학술회의입니다. 본 UCWIT2018 학술심포지움에 많은 관심과 참가를 부탁합니다.

    - 일시: 2018년 12월 7일 (금)
    - 장소: 부경대학교
    - 주관: 한국정보과학회 영남지부
    - 주최: 한국정보과학회

    ▣ 발표 분야

    - Internet of Things, Ubiquitous and Mobile technologies
    - Big Data, Software Engineering, Enterprise Application
    - RFID/USN, LBS, and GIS
    - Embedded Systems, Embedded SW
    - Web engineering: Web services, SOA, Semantic web and ontology
    - 통신 및 네트워크, 제4차 산업혁명
    - 지식공학, 데이터베이스, 전기공학, 전자공학, 소프트웨어
    - 기타

    ▣ 주요일정

    - 논문제출마감: 2018년 11월 16일(금)
    - 논문심사통보: 2018년 11월 23일(금)
    - 최종논문제출: 2018년 11월 30일(금)
    - 사전등록일자: 2018년 11월 5일(수)
    - 학회발표일자: 2018년 12월 7일(금)

    ▣ 논문 제출 방법

    - 논문작성양식: 지정양식에 따른 2~4쪽(홈페이지 참조)
    - 논문제출및확인: ucwit2018@gmail.com 

    ▣ 논문발표형태

    - 논문은 구두 발표 또는 게시발표에 반드시 참여해야 합니다.
    - 발표자는 세션시작 10분 까지 도착하여 좌장에게 보고하고 준비해야 합니다.
    - 구두발표 자료는 파워포인트 PPT 또는 Adobe의 PDF로 가능합니다.
    - 구두발표 시간은 12분이며, 10분 발표와 2분 질문으로 구성됩니다.
    - 포스터발표는 A4 PPT 8쪽 내외 출력물 또는 62*78 크기의 포스터를 준비합니다

    ▣ 기타

    - 홈페이지: http://db.pknu.ac.kr/ucwit2018/
    - 조직위원장: 김순철 (대구대학교)
    - 학술위원장: 이철(부경대학교)
    - 집행위원장: 송하주(부경대학교)

    read more

  • 썸네일용_공청회.jpg

    과기정통부 SW핵심원천기술개발사업(가칭) 예타 공청회 안내(10.23, 엘타워)

    2018/10/15

    read more

    과기정통부 SW핵심원천기술개발사업(가칭) 예타 공청회 안내(10.23, 엘타워)

    2018/10/15

    read more

  • 캡처.PNG

    [사전등록연장~10.17]KDBC2018 (2018.10.19-20, 오라카이 송도파크호텔)

    2018/10/11

     

     

     

    read more

    [사전등록연장~10.17]KDBC2018 (2018.10.19-20, 오라카이 송도파크호텔)

    2018/10/11

     

     

     

    read more

  • 썸네일용_tencon.jpg

    [Call for Participation]IEEE TENCON 2018(10.28-31, 제주 라마다플라자호텔)

    2018/10/05

    read more

    [Call for Participation]IEEE TENCON 2018(10.28-31, 제주 라마다플라자호텔)

    2018/10/05

    read more

  • 썸네일_18.png

    FACS 2018(10.10-12, POSTECH)

    2018/10/05


    FACS 2018


    홈페이지 바로가기     사전등록 바로가기


    Program Overview


    Oct. 10 
    Wednesday
    Oct. 11
    Thursday
    Oct. 12
    Friday
    09:00Registration
    09:25Opening
    09:30Invited talk : Edward Lee


    What Good Are Formal Models?

    Invited talk : Grigore Rosu


    Formal Design, Implementation and Verification of Blockchain Languages

    Invited talk : Moonzoo Kim


    Lessons Learned from Automated Analysis of Industrial SW for 15 Years

    10:30Coffee Break
    11:00Session 1
    Model Checking and Verification
    Session 4
    Components and Petri Nets
    Session 5
    Formalization of Networks; Semantics
    12:30LunchLunchClosing
    Lunch
    14:00Session 2
    Security and Languages
    Guided tour in Gyeongju
     
    15:30Coffee break
    16:00Section 3
    Tool Papers
    17:00Poster session / SC meetingDinner in Pohang (Optional)
    18:30Reception (at the venue)Banquet in Gyeongju



    Session 1: Model Checking and Verification (chair: Grigore Rosu)

    - Thomas Neele, Tim Willemse and Jan Friso Groote: Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting
    - Antti Siirtola and Keijo Heljanko: Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
    - Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa and Jim Woodcock: Automating Verification of State Machines with Reactive Designs and Isabelle/UTP


    Session 2: Security and Languages (chair: Edward Lee)

    - Valentina Castiglioni, Konstantinos Chatzikokolakis and Catuscia Palamidessi: A Logical Characterization of Differential Privacy via Behavioral Metrics
    - Rim El Ballouli, Saddek Bensalem, Marius Bozga and Joseph Sifakis: Programming Dynamic Reconfigurable Systems
    - Vlad Nicolae Serbanescu, Frank De Boer and Mohammad Mahdi Jaghoori: Actors with Coroutine Support in Java


    Section 3: Tool Papers (chair: Eric Madelaine)

    - Diego Marmsoler and Habtom Kahsay Gidey: FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns
    - Sander de Putter, Anton Wijs and Dan Zhang: The SLCO Framework for Verified, Model-driven Construction of Component Software


    Session 4: Components and Petri Nets (chair: Catuscia Palamidessi)

    - Jean-Paul Bodeveix, Arnaud Dieumegard and Mamoun Filali-Amine: Event-B Formalization of a Variability-Aware Component Model Patterns Framework
    - Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen and Ingrid Chieh Yu: Using Coloured Petri Nets for Resource Analysis of Active Objects
    - Prabhakar Dixit, Eric Verbeek and Wil van der Aalst: Incremental Computation of Synthesis Rules for Free-Choice Petri nets


    Session 5: Formalization of Networks; Semantics (chair: Marius Bozga)

    - Christian Attiogbe: Building Correct SDN Components from a Global Event-B Formal Model
    - Mojgan Kamali and Ansgar Fehnker: Adaptive Formal Framework for WMN Routing Protocols
    - Liyi Li and Elsa Gunter: IsaK-Static: A Complete Static Semantics of K

    read more

    FACS 2018(10.10-12, POSTECH)

    2018/10/05


    FACS 2018


    홈페이지 바로가기     사전등록 바로가기


    Program Overview


    Oct. 10 
    Wednesday
    Oct. 11
    Thursday
    Oct. 12
    Friday
    09:00Registration
    09:25Opening
    09:30Invited talk : Edward Lee


    What Good Are Formal Models?

    Invited talk : Grigore Rosu


    Formal Design, Implementation and Verification of Blockchain Languages

    Invited talk : Moonzoo Kim


    Lessons Learned from Automated Analysis of Industrial SW for 15 Years

    10:30Coffee Break
    11:00Session 1
    Model Checking and Verification
    Session 4
    Components and Petri Nets
    Session 5
    Formalization of Networks; Semantics
    12:30LunchLunchClosing
    Lunch
    14:00Session 2
    Security and Languages
    Guided tour in Gyeongju
     
    15:30Coffee break
    16:00Section 3
    Tool Papers
    17:00Poster session / SC meetingDinner in Pohang (Optional)
    18:30Reception (at the venue)Banquet in Gyeongju



    Session 1: Model Checking and Verification (chair: Grigore Rosu)

    - Thomas Neele, Tim Willemse and Jan Friso Groote: Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting
    - Antti Siirtola and Keijo Heljanko: Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
    - Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa and Jim Woodcock: Automating Verification of State Machines with Reactive Designs and Isabelle/UTP


    Session 2: Security and Languages (chair: Edward Lee)

    - Valentina Castiglioni, Konstantinos Chatzikokolakis and Catuscia Palamidessi: A Logical Characterization of Differential Privacy via Behavioral Metrics
    - Rim El Ballouli, Saddek Bensalem, Marius Bozga and Joseph Sifakis: Programming Dynamic Reconfigurable Systems
    - Vlad Nicolae Serbanescu, Frank De Boer and Mohammad Mahdi Jaghoori: Actors with Coroutine Support in Java


    Section 3: Tool Papers (chair: Eric Madelaine)

    - Diego Marmsoler and Habtom Kahsay Gidey: FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns
    - Sander de Putter, Anton Wijs and Dan Zhang: The SLCO Framework for Verified, Model-driven Construction of Component Software


    Session 4: Components and Petri Nets (chair: Catuscia Palamidessi)

    - Jean-Paul Bodeveix, Arnaud Dieumegard and Mamoun Filali-Amine: Event-B Formalization of a Variability-Aware Component Model Patterns Framework
    - Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen and Ingrid Chieh Yu: Using Coloured Petri Nets for Resource Analysis of Active Objects
    - Prabhakar Dixit, Eric Verbeek and Wil van der Aalst: Incremental Computation of Synthesis Rules for Free-Choice Petri nets


    Session 5: Formalization of Networks; Semantics (chair: Marius Bozga)

    - Christian Attiogbe: Building Correct SDN Components from a Global Event-B Formal Model
    - Mojgan Kamali and Ansgar Fehnker: Adaptive Formal Framework for WMN Routing Protocols
    - Liyi Li and Elsa Gunter: IsaK-Static: A Complete Static Semantics of K

    read more

  • in2018s_hp.PNG

    [사전등록; ~10.30]정보통신소사이어티 2018 추계 단기강좌(11.1-2,숭실대)

    2018/10/02

    read more

    [사전등록; ~10.30]정보통신소사이어티 2018 추계 단기강좌(11.1-2,숭실대)

    2018/10/02

    read more

  • 썸네일용.jpg

    2018 SPRi Fall 컨퍼런스(10.5, 대한상공회의소)

    2018/09/27

    read more

    2018 SPRi Fall 컨퍼런스(10.5, 대한상공회의소)

    2018/09/27

    read more

전체보기

  • 썸네일용_2019유권자.jpg

    2019년도 차기회장 선거 유권자 안내 ; 유권자명단 열람 및 정보수정 안내

    2018/10/10

    read more

    2019년도 차기회장 선거 유권자 안내 ; 유권자명단 열람 및 정보수정 안내

    2018/10/10

    read more

  • 학회 '지정기부금단체' 지정(2018.09.28)

    2018/10/01

    - 지정일 : 2018-09-28
    - 지정기간 : 2018-01-01~2023-12-31

    read more

  • 썸네일용_젊은.jpg

    2018년도 한국정보과학회 젊은정보과학자상 후보자 추천(~10.31)

    2018/10/01

    2018년도 한국정보과학회
    젊은정보과학자상후보자 추천

    한국정보과학회는 정보과학 발전에 공로가 인정되고 발전 잠재력이 우수한 젊은 학회 회원을 선정하여 젊은정보과학자상을 시상하고자 합니다. 젊은정보과학자상은 WWW2014 조직위원회에서 후원하여 2015년에 제정된 상으로, 2018년도 후보자 추천을 아래와 같이 공지하오니 회원 여러분께서는 많은 관심과 추천을 바랍니다.

    * 추천대상 및 자격 : [젊은정보과학자상 포상규정]
       - 정보과학 발전에 공로가 인정되고 연구개발 실적이 매우 뛰어나며, 발전 잠재력이 우수한
         당해연도 만 40세 이하(1978년 1월 1일 이후 출생) 본 학회 회원
       - 본인이 직접 신청하거나 다른 회원이 추천

    * 추천기간 및 방법 :
       - 추천기간 : 2018년 10월 31일(수) 18시까지
       - 추천방법 : 제출서류를 온라인(이메일)으로 학회 사무국 담당자에게 제출

    * 제출서류 :
       - 추천서(제공양식) 1부
       - 피추천인의 주요 이력/약력사항 1부(생년월일, 연구실적목록, 학회활동 포함)
       - 대표논문 5편(목록 포함)
        . 최근 5년(2013년 9월 1일~2018년 8월 31일)내 학회 국문 또는 영문 논문지에 게재된 대표논문 2편
        . 저명한 국제학술대회 또는 국제학술지에 게재된 대표논문 3편

    * 시상내용 : 수상자 1인에게 상패 및 부상(상금 오백만원, 제세금 포함)
       수상자는 본 학회 법제포상위원회에서 최종 선정한 후, 한국정보과학회 KSC2018(2018.12.20)에서 시상 예정

     

     * 문의및제출처 : 학회 사무국 김경화 부장 / E-mail : khkim@kiise.or.kr, 전화 : (02)588-9230

    read more

    2018년도 한국정보과학회 젊은정보과학자상 후보자 추천(~10.31)

    2018/10/01

    2018년도 한국정보과학회
    젊은정보과학자상후보자 추천

    한국정보과학회는 정보과학 발전에 공로가 인정되고 발전 잠재력이 우수한 젊은 학회 회원을 선정하여 젊은정보과학자상을 시상하고자 합니다. 젊은정보과학자상은 WWW2014 조직위원회에서 후원하여 2015년에 제정된 상으로, 2018년도 후보자 추천을 아래와 같이 공지하오니 회원 여러분께서는 많은 관심과 추천을 바랍니다.

    * 추천대상 및 자격 : [젊은정보과학자상 포상규정]
       - 정보과학 발전에 공로가 인정되고 연구개발 실적이 매우 뛰어나며, 발전 잠재력이 우수한
         당해연도 만 40세 이하(1978년 1월 1일 이후 출생) 본 학회 회원
       - 본인이 직접 신청하거나 다른 회원이 추천

    * 추천기간 및 방법 :
       - 추천기간 : 2018년 10월 31일(수) 18시까지
       - 추천방법 : 제출서류를 온라인(이메일)으로 학회 사무국 담당자에게 제출

    * 제출서류 :
       - 추천서(제공양식) 1부
       - 피추천인의 주요 이력/약력사항 1부(생년월일, 연구실적목록, 학회활동 포함)
       - 대표논문 5편(목록 포함)
        . 최근 5년(2013년 9월 1일~2018년 8월 31일)내 학회 국문 또는 영문 논문지에 게재된 대표논문 2편
        . 저명한 국제학술대회 또는 국제학술지에 게재된 대표논문 3편

    * 시상내용 : 수상자 1인에게 상패 및 부상(상금 오백만원, 제세금 포함)
       수상자는 본 학회 법제포상위원회에서 최종 선정한 후, 한국정보과학회 KSC2018(2018.12.20)에서 시상 예정

     

     * 문의및제출처 : 학회 사무국 김경화 부장 / E-mail : khkim@kiise.or.kr, 전화 : (02)588-9230

    read more

  • 썸네일용_가헌.jpg

    2018년도 한국정보과학회 가헌학술상 후보자 추천(~10.31)

    2018/10/01

    2018년도 한국정보과학회
    가헌학술상 후보자 추천

    한국정보과학회는 매년 정보과학 분야에서 학술적으로 탁월한 업적을 이루시고 학문적 발전에 기여하신 학회 회원을 선정하여 가헌학술상을 시상하고 있습니다. 가헌학술상은 가헌신도재단의 우석형 회장께서 후원하여 1999년에 제정되었으며 올해 20회를 맞이하게 되었습니다. 2018년도 후보자 추천을 아래와 같이 공지하오니 회원 여러분의 많은 관심과 추천을 바랍니다.

    * 추천대상 및 자격 : [가헌학술상 포상규정]
       -
    정보과학회 논문지, JCSE, 국제학술지, 국제학술대회 등에 우수한 논문을 발표하여 정보과학
         
    발전과 학회 발전에 기여하신 본 학회 종신회원/정회원
       -
    본인이 직접 신청하거나 다른 회원이 추천

    * 추천기간 및 방법 :
       -
    추천 기간 : 2018 10 31() 18시까지
       -
    추천 방법 : 제출 서류를 방문 또는 우편으로 학회 사무국에 제출
         (
    마감일 18시까지 도착분에 한함)

    * 제출서류 :
       - 추천서(제공양식) 1

       -
    피추천인의 주요 이력/약력사항 1
       -
    대표논문 7
          .
    최근 5(2013 9 1~2018 8 31)내 학회 국문 또는 영문 논문지에 게재된
           
    대표논문 2
          .
    저명한 국제학술대회 또는 국제학술지에 게재된 대표논문 5

    * 시상내용 : 수상자 1인에게 상패 및 부상(상금 일천만원, 제세금 포함)
      
    수상자는 본 학회 법제포상위원회에서 최종 선정한 후, 한국정보과학회 KSC2018(2018.12.20)에서
      
    시상 예정

    * 역대 수상자 명단

    * 문의및제출처 : 한국정보과학회 사무국 김경화 부장
       
    전화 : (02)588-9230, 팩스 : (02)521-1352, E-mail : khkim@kiise.or.kr
        (06704)
    서울시 서초구 방배로 76(방배동, 머리재 빌딩 401)

    read more

    2018년도 한국정보과학회 가헌학술상 후보자 추천(~10.31)

    2018/10/01

    2018년도 한국정보과학회
    가헌학술상 후보자 추천

    한국정보과학회는 매년 정보과학 분야에서 학술적으로 탁월한 업적을 이루시고 학문적 발전에 기여하신 학회 회원을 선정하여 가헌학술상을 시상하고 있습니다. 가헌학술상은 가헌신도재단의 우석형 회장께서 후원하여 1999년에 제정되었으며 올해 20회를 맞이하게 되었습니다. 2018년도 후보자 추천을 아래와 같이 공지하오니 회원 여러분의 많은 관심과 추천을 바랍니다.

    * 추천대상 및 자격 : [가헌학술상 포상규정]
       -
    정보과학회 논문지, JCSE, 국제학술지, 국제학술대회 등에 우수한 논문을 발표하여 정보과학
         
    발전과 학회 발전에 기여하신 본 학회 종신회원/정회원
       -
    본인이 직접 신청하거나 다른 회원이 추천

    * 추천기간 및 방법 :
       -
    추천 기간 : 2018 10 31() 18시까지
       -
    추천 방법 : 제출 서류를 방문 또는 우편으로 학회 사무국에 제출
         (
    마감일 18시까지 도착분에 한함)

    * 제출서류 :
       - 추천서(제공양식) 1

       -
    피추천인의 주요 이력/약력사항 1
       -
    대표논문 7
          .
    최근 5(2013 9 1~2018 8 31)내 학회 국문 또는 영문 논문지에 게재된
           
    대표논문 2
          .
    저명한 국제학술대회 또는 국제학술지에 게재된 대표논문 5

    * 시상내용 : 수상자 1인에게 상패 및 부상(상금 일천만원, 제세금 포함)
      
    수상자는 본 학회 법제포상위원회에서 최종 선정한 후, 한국정보과학회 KSC2018(2018.12.20)에서
      
    시상 예정

    * 역대 수상자 명단

    * 문의및제출처 : 한국정보과학회 사무국 김경화 부장
       
    전화 : (02)588-9230, 팩스 : (02)521-1352, E-mail : khkim@kiise.or.kr
        (06704)
    서울시 서초구 방배로 76(방배동, 머리재 빌딩 401)

    read more

  • vote2019_reg2s.PNG

    2019년도 차기회장 선거 공고 : 입후보자 모집

    2018/09/07

    read more

    2019년도 차기회장 선거 공고 : 입후보자 모집

    2018/09/07

    read more

  • 한국정보과학회 우수학술대회 목록 홈페이지 오픈

    2018/06/27

    한국정보과학회 우수학술대회 홈페이지 오픈

    한국정보과학회(이하, 학회)는 2013년부터 소프트웨어 분야 평가지표 정립을 위하여 많은 노력을 해오고 있습니다. 지난 수년간 학회에서 수행한 다양한 노력, 관련 보고서, 발표자료, 그리고 최종 목록을 정리한 홈페이지를 오픈하였습니다.
    학회는 회원님들의 학술활동이 정당하고 공정한 평가를 받을 수 있도록 혼신의 노력을 하고 있습니다. 미진하거나 부족한 내용이 있다면 언제든지 학회 사무국으로 연락주시면 감사하겠습니다. 회원님들의 의견을 적극 반영하도록 하겠습니다.
    홈페이지 링크: 바로가기

    사무국 담당자 : 최희수 주임 02-588-9246 / hschoi@kiise.or.kr

    read more

  • wwk-5.png

    [5차 접수마감: 2018.7.31]2018년도 WKK 최우수국제학술대회 유치 및 개최 지원사업안내

    2018/06/26

    2018년도 WKK 최우수국제학술대회 유치 및 개최 지원사업안내

    (WWW 2014-KIISE-KAIST)
     

     

      WWW 2014 조직위원회와 한국정보과학회는 2014년에 국내에서 성공적으로 개최된 국제 WWW 학술대회의 수익금을 기반으로 최우수 국제학술대회 유치 및 개최 지원 사업을 통해 한국 전산분야의 국제화에 기여하고자 합니다.

     

      개최한 학술대회인 WWW 2014, WWW 2014의 지원학회인 한국정보과학회, WWW 2014 의 주관기관인 한국과학기술원의 이름으로 "WKK (WWW 2014 - KIISE - KAIST) 최우수 국제학술대회 유치 및 개최 지원" 사업을 1억 원의 기금으로 아래와 같이 시행하오니 최우수 국제학술대회 개최에 관심 있는 분들의 많은 활용을 바랍니다.

     

    ○ 지원 대상

      한국정보과학회에서 작성한 소프트웨어 분야 최우수 학술대회 목록의 65개 학술대회 중에 아래 조건을 모두 충족하는 학술대회로 합니다.

        1) 국내에서 개최하며,

        2) General chair(학술대회장) 또는 General co-chair가 국내 단체(또는 기관) 소속이고,

            단, 국내 단체(또는 기관) 소속자가 General chair이 아니더라도 Local

            organization chair이면 아래 지원 규모의 50% 금액을 지원함.

        3) 주관(공동 주관 포함)이 국내 단체(또는 기관)인 학술대회

           단, 주관이 명확하지 않은 학술대회나 IEEE 학술대회 같이 관련 학회가 항상 주관

           하는 학술대회에 대해서는 심사위원회에서 개별적으로 결정함.

     

    ○ 지원 규모

        1) 최대 3,000만원 : 과거 3년 등록자(무료참석 제외) 평균이 600명 이상

        2) 최대 2,000만원 : 과거 3년 등록자(무료참석 제외) 평균이 600명 미만

     

    ○ 신청 안내

       □ 유치 지원

        지원 규모 총액의 50%까지 신청가능하며, 다음의 자료 제출

        1) 유치계획 및 유치가능성 분석

        2) 주관단체장(또는 기관장) 주관 확인서

        3) General chair나 General co-chair와 조직위원회의 핵심 위원 명단 및 국제학술대회 활동경력

        4) General chair 나 General co-chair(이들이 국내 단체(또는 기관) 소속자가 아닐 경우

           local organization chair)의 소속단체(또는 기관)장의 지지 서한(소속단체(기관)장이 주관단체

          (기관)장과 다른 경우)

        5) 신청비용 사용계획 명세

     

       □ 개최 지원

        지원 규모 총액의 100%까지 신청가능하며, 다음의 자료 제출

        단, 동일행사에 대해 이미 본 지원 사업을 통해 유치지원을 받은 경우에는 지원규모  총액의 50%

        까지 신청 가능.

        1) 유치확인서

        2) 주관단체장 (또는 기관장) 주관 확인서

        3) 개최계획 및 수입지출계획명세

        4) 신청비용 사용계획 명세

     

    ○ 지원 시기

      사업 기금이 소진될 때가지 지원하며 지원 일정은 다음과 같음.

               

    구분

    5차 지원

    6차 지원

    비고

    신청접수

    2018.7.31까지

    2019.1.15까지

    유치지원 및 개최지원 동일 일정 적용

    심 사

    2018.8.1.~8.30

    2019.1.16.~2.28

    선정통보

    2018.8.30

    2019.2.28

       ☞ 지원은 선정통보 후에 시작되며, 유치지원기간은 해당 학술대회 유치신청 마감일 1년전부터 발표평가기간 종료일 또는 실사 마감일까지이며, 개최지원기간은 해당 학술대회 개최시작일 1년 전부터 개최종료일까지임.

     

    ○ 신청서 제출 안내 및 문의

    - 지원 단계별 신청서류에 대한 별도의 서식은 없으니, 임의로 구성하시면 됩니다.

    - 제출 및 문의 : 한국정보과학회 사무국 한영진 국장

             (전화: 02-588-1973, 이메일: yjhan@kiise.or.kr)


    read more

    [5차 접수마감: 2018.7.31]2018년도 WKK 최우수국제학술대회 유치 및 개최 지원사업안내

    2018/06/26

    2018년도 WKK 최우수국제학술대회 유치 및 개최 지원사업안내

    (WWW 2014-KIISE-KAIST)
     

     

      WWW 2014 조직위원회와 한국정보과학회는 2014년에 국내에서 성공적으로 개최된 국제 WWW 학술대회의 수익금을 기반으로 최우수 국제학술대회 유치 및 개최 지원 사업을 통해 한국 전산분야의 국제화에 기여하고자 합니다.

     

      개최한 학술대회인 WWW 2014, WWW 2014의 지원학회인 한국정보과학회, WWW 2014 의 주관기관인 한국과학기술원의 이름으로 "WKK (WWW 2014 - KIISE - KAIST) 최우수 국제학술대회 유치 및 개최 지원" 사업을 1억 원의 기금으로 아래와 같이 시행하오니 최우수 국제학술대회 개최에 관심 있는 분들의 많은 활용을 바랍니다.

     

    ○ 지원 대상

      한국정보과학회에서 작성한 소프트웨어 분야 최우수 학술대회 목록의 65개 학술대회 중에 아래 조건을 모두 충족하는 학술대회로 합니다.

        1) 국내에서 개최하며,

        2) General chair(학술대회장) 또는 General co-chair가 국내 단체(또는 기관) 소속이고,

            단, 국내 단체(또는 기관) 소속자가 General chair이 아니더라도 Local

            organization chair이면 아래 지원 규모의 50% 금액을 지원함.

        3) 주관(공동 주관 포함)이 국내 단체(또는 기관)인 학술대회

           단, 주관이 명확하지 않은 학술대회나 IEEE 학술대회 같이 관련 학회가 항상 주관

           하는 학술대회에 대해서는 심사위원회에서 개별적으로 결정함.

     

    ○ 지원 규모

        1) 최대 3,000만원 : 과거 3년 등록자(무료참석 제외) 평균이 600명 이상

        2) 최대 2,000만원 : 과거 3년 등록자(무료참석 제외) 평균이 600명 미만

     

    ○ 신청 안내

       □ 유치 지원

        지원 규모 총액의 50%까지 신청가능하며, 다음의 자료 제출

        1) 유치계획 및 유치가능성 분석

        2) 주관단체장(또는 기관장) 주관 확인서

        3) General chair나 General co-chair와 조직위원회의 핵심 위원 명단 및 국제학술대회 활동경력

        4) General chair 나 General co-chair(이들이 국내 단체(또는 기관) 소속자가 아닐 경우

           local organization chair)의 소속단체(또는 기관)장의 지지 서한(소속단체(기관)장이 주관단체

          (기관)장과 다른 경우)

        5) 신청비용 사용계획 명세

     

       □ 개최 지원

        지원 규모 총액의 100%까지 신청가능하며, 다음의 자료 제출

        단, 동일행사에 대해 이미 본 지원 사업을 통해 유치지원을 받은 경우에는 지원규모  총액의 50%

        까지 신청 가능.

        1) 유치확인서

        2) 주관단체장 (또는 기관장) 주관 확인서

        3) 개최계획 및 수입지출계획명세

        4) 신청비용 사용계획 명세

     

    ○ 지원 시기

      사업 기금이 소진될 때가지 지원하며 지원 일정은 다음과 같음.

               

    구분

    5차 지원

    6차 지원

    비고

    신청접수

    2018.7.31까지

    2019.1.15까지

    유치지원 및 개최지원 동일 일정 적용

    심 사

    2018.8.1.~8.30

    2019.1.16.~2.28

    선정통보

    2018.8.30

    2019.2.28

       ☞ 지원은 선정통보 후에 시작되며, 유치지원기간은 해당 학술대회 유치신청 마감일 1년전부터 발표평가기간 종료일 또는 실사 마감일까지이며, 개최지원기간은 해당 학술대회 개최시작일 1년 전부터 개최종료일까지임.

     

    ○ 신청서 제출 안내 및 문의

    - 지원 단계별 신청서류에 대한 별도의 서식은 없으니, 임의로 구성하시면 됩니다.

    - 제출 및 문의 : 한국정보과학회 사무국 한영진 국장

             (전화: 02-588-1973, 이메일: yjhan@kiise.or.kr)


    read more

  • 학회 사무국 시차출퇴근제 도입 적용

    2018/06/14



    학회는 근로기준법 개정에 따른 대응의 일환으로, 직원의 업무집중도를 높이고

    불필요한 초과근무를 축소해 직원들의 근무 여건의 개선 목적으로 아래와 같이

    시차출퇴근제를 도입, 적용함에 따라, 직원별 근무시간이 다소 상이할수 있으니,

    아래 메뉴에서 확인해 주시길 바랍니다.


       - 도입일자: 2018년 6월 11일(월)

       - 집중근무시간 : 10:00~17:00 

       - 직원별 근무시간 확인 : 학회소개/사무국 및 약도


    한국정보과학회

    read more

전체보기

  • 엄영익 회장, 국제정보올림피아드(IOI) 제27기 여름학교 입교식, 수료식 참석

    2018/08/20

    엄영익 회장, 국제정보올림피아드(IOI) 제27기 여름학교 입교식, 수료식 참석


    엄영익 회장(33대)은 국제정보올림피아드(IOI) 제27기 여름학교 입교식 및 수료식(8.1, 8.12, 아주대학교)에 참석하였다.
    이번 여름학교는 58명의 중,고등학생을 대상으로 8월 1일부터 12일까지 11박 12일의 합숙 일정으로 진행되었으며, 수료식에서 엄영익 회장은 교육생들에게 격려사와 함께 수료증을 수여하였다.

     


    read more

  • 엄영익 회장, 국제과학올림피아드 한국대표단 발대식 참석

    2018/07/03

    엄영익 회장, 국제과학올림피아드 한국대표단 발대식 참석


    엄영익 회장(33대)은 과학기술정보통신부가 주최하고 한국과학창의재단이 주관하는 2018 국제과학올림피아드 한국대표단 발대식(6.28, 국립과천과학관)에 참석하였다.
    이날 행사에는 창의재단 서은경 이사장을 비롯하여 9개 분야의 각 대표단과 대표학생 학부모 등 약 170여 명이 참석하였으며, 대표단의 자긍심 고취 및 선전을 격려하였다.

     


    read more

  • 메인사진(JCCI 2018).jpg

    엄영익 회장, JCCI 2018 축사 및 만찬행사 참석

    2018/06/05

    엄영익 회장, JCCI 2018 축사 및 만찬행사 참석


    엄영익 회장(33대)은 한국통신학회의 초청으로 JCCI2018(5.2-4, 여수 히든베이호텔) 행사에 참석하여 축사를 진행하였다.
    또한 이날 한국통신학회, 대한전자공학회와의 Meeting에 참석하였으며, 3개 학회 MOU를 체결하였다.


    read more

    엄영익 회장, JCCI 2018 축사 및 만찬행사 참석

    2018/06/05

    엄영익 회장, JCCI 2018 축사 및 만찬행사 참석


    엄영익 회장(33대)은 한국통신학회의 초청으로 JCCI2018(5.2-4, 여수 히든베이호텔) 행사에 참석하여 축사를 진행하였다.
    또한 이날 한국통신학회, 대한전자공학회와의 Meeting에 참석하였으며, 3개 학회 MOU를 체결하였다.


    read more

  • 썸네일.jpg

    엄영익 회장, IPSJ 제80회 전국대회 초청강연 및 CJK Meeting 참석

    2018/03/21

    엄영익 회장, IPSJ 제80회 전국대회 초청강연 및 CJK Meeting 참석


    엄영익 회장(33대)은 일본정보처리학회(IPSJ)의 초청으로 IPSJ 제80회 전국대회(3.13-15, 일본 와세다대학)에 참가하여 초청강연을 진행하였다.
    또한 CJK Meeting에 참석하였으며, 회의는 KIISE, CCF, IPSJ 3개 학회가 학회 간 상호협력을 목적으로 개최되었다.

    학회와 IPSJ는 1996년에 MOU를 체결하고, 상호 초청강연, 공동 워크샵 개최 등 협력관계를 유지해오고 있다.



    read more

    엄영익 회장, IPSJ 제80회 전국대회 초청강연 및 CJK Meeting 참석

    2018/03/21

    엄영익 회장, IPSJ 제80회 전국대회 초청강연 및 CJK Meeting 참석


    엄영익 회장(33대)은 일본정보처리학회(IPSJ)의 초청으로 IPSJ 제80회 전국대회(3.13-15, 일본 와세다대학)에 참가하여 초청강연을 진행하였다.
    또한 CJK Meeting에 참석하였으며, 회의는 KIISE, CCF, IPSJ 3개 학회가 학회 간 상호협력을 목적으로 개최되었다.

    학회와 IPSJ는 1996년에 MOU를 체결하고, 상호 초청강연, 공동 워크샵 개최 등 협력관계를 유지해오고 있다.



    read more

  • 썸네일용.jpg

    홍봉희 회장, CJK Meeting 참석

    2017/11/01


    홍봉희 회장, CJK Meeting 참석


    홍봉희 회장은 10월 26일, Fuzhou Strait International Conference & Exhibition Center에서 개최된 CJK Meeting에 참석하였다.
    회의는 KIISE, CCF, IPSJ 3개 국제학회가 학회 간 상호협력을 목적으로 개최되었으며, 홍봉희 회장(정보과학회), President Wen Gao, CEO, Zide Du, Deputy Secretary General, Xilin Chen, Chief Secretary Office, Xiaosheng Tan(CCF), Vice President, Kohtaro Asai, Secretary General, Taizo Kinoshita(IPSJ)이 자리하였다.






    read more

    홍봉희 회장, CJK Meeting 참석

    2017/11/01


    홍봉희 회장, CJK Meeting 참석


    홍봉희 회장은 10월 26일, Fuzhou Strait International Conference & Exhibition Center에서 개최된 CJK Meeting에 참석하였다.
    회의는 KIISE, CCF, IPSJ 3개 국제학회가 학회 간 상호협력을 목적으로 개최되었으며, 홍봉희 회장(정보과학회), President Wen Gao, CEO, Zide Du, Deputy Secretary General, Xilin Chen, Chief Secretary Office, Xiaosheng Tan(CCF), Vice President, Kohtaro Asai, Secretary General, Taizo Kinoshita(IPSJ)이 자리하였다.






    read more

  • 과총간담회1.png

    홍봉희 회장, 과총 학술비전구축사업 간담회 참석 및 발표(9.15, 과총 4회의실)

    2017/09/19


    홍봉희 회장, 한국과학기술단체총연합회 학술비전구축사업 간담회 참석 및 발표


    홍봉희 회장은 9월 15일(금), 과총 학술비전구축사업 간담회에 참석하여 발표를 진행하였다. 본 간담회는 지난 9월 5일(화), 과총에서 개최된 중간발표에서 Digital Science 분야를 발표한 홍봉희 회장의 학술로드맵 작성방법을 학술비전구축사업에 참여하는 위원들과 공유하자는 의견이 모아져 개최되었다.




    read more

    홍봉희 회장, 과총 학술비전구축사업 간담회 참석 및 발표(9.15, 과총 4회의실)

    2017/09/19


    홍봉희 회장, 한국과학기술단체총연합회 학술비전구축사업 간담회 참석 및 발표


    홍봉희 회장은 9월 15일(금), 과총 학술비전구축사업 간담회에 참석하여 발표를 진행하였다. 본 간담회는 지난 9월 5일(화), 과총에서 개최된 중간발표에서 Digital Science 분야를 발표한 홍봉희 회장의 학술로드맵 작성방법을 학술비전구축사업에 참여하는 위원들과 공유하자는 의견이 모아져 개최되었다.




    read more

  • 썸네일(9.1).png

    홍봉희 회장, 아이티센 산학교류워크샵 참석(9.1, 아이티센)

    2017/09/19

    홍봉희 회장, 아이티센 산학교류워크샵 참석(9.1, 아이티센)


    9월 1일(금), 아이티센 별관 회의실에서 아이티센과의 산학교류워크샵이 개최되었다.
    이번 워크샵에서는 한성준부사장이 아이티센의 4차산업혁명 첨단 ICT 기술 융합 지능정보화 서비스에 대해 소개하였으며, 학회에서 홍봉희 회장, 엄영익 수석부회장, 나연묵·이원준·조성배 부회장, 강성원·권영미·김종·김혁만·김형석·박희진·백성욱·이우기·이창건·조성래·최종원·홍지만·김상욱 이사가 참석하였다.

     



    read more

    홍봉희 회장, 아이티센 산학교류워크샵 참석(9.1, 아이티센)

    2017/09/19

    홍봉희 회장, 아이티센 산학교류워크샵 참석(9.1, 아이티센)


    9월 1일(금), 아이티센 별관 회의실에서 아이티센과의 산학교류워크샵이 개최되었다.
    이번 워크샵에서는 한성준부사장이 아이티센의 4차산업혁명 첨단 ICT 기술 융합 지능정보화 서비스에 대해 소개하였으며, 학회에서 홍봉희 회장, 엄영익 수석부회장, 나연묵·이원준·조성배 부회장, 강성원·권영미·김종·김혁만·김형석·박희진·백성욱·이우기·이창건·조성래·최종원·홍지만·김상욱 이사가 참석하였다.

     



    read more

  • 과총2차워크숍.jpg

    홍봉희 회장, 과총 학술비전구축사업 2차 워크숍 참석(9.5, 과총 2회의실)

    2017/09/11


    홍봉희 회장, 한국과학기술단체총연합회 학술비전구축사업 2차 워크숍 참석


    홍봉희 회장은 9월 5일(화), 과총 2회의실에서 학술비전구축사업 2차 워크숍에 참석하였다.


    기사보기(2017.9.11발행):

    https://online.kofst.or.kr/kofstNewsDetail.do?pageIndex=1&key=215889&cate2=COM045_EZmyQIE&listType=T



    read more

    홍봉희 회장, 과총 학술비전구축사업 2차 워크숍 참석(9.5, 과총 2회의실)

    2017/09/11


    홍봉희 회장, 한국과학기술단체총연합회 학술비전구축사업 2차 워크숍 참석


    홍봉희 회장은 9월 5일(화), 과총 2회의실에서 학술비전구축사업 2차 워크숍에 참석하였다.


    기사보기(2017.9.11발행):

    https://online.kofst.or.kr/kofstNewsDetail.do?pageIndex=1&key=215889&cate2=COM045_EZmyQIE&listType=T



    read more

전체보기

  • 건국대 김두현 교수의 장녀 결혼(9.1)

    2018/08/02

    건국대 김두현 교수의 장녀 결혼

    김두현 교수(33대 이사, 2018년)의 장녀 결혼식이 아래와 같이 있음을 공지하오니, 많은 축복과 격려 바랍니다.

    이진석, 김영선의 장남 지수
    김두현, 박지민의 장녀 예림

    - 일시: 2018년 9월 1일(토) 오후 2시
    - 장소: 파티오나인 5층 채플홀
            Tel. 02-517-7070
                 (서울 강남구 논현로 742)

    read more

  • 황규영 명예회장, 대한민국학술원 신임회원 선출

    2018/07/17

    황규영 명예회장(22대 회장(2007), 한국과학기술원 특훈교수)이 대학민국학술원(이하 학술원) 신임회원으로 선출되었다.

    신임회원 회원증서 수여식은 오는 7월 20일(금), 학술원 대회의실에서 개최될 예정이며, 학술원은 학술 발전에 현저한 공이 있는 학자를 우대 및 지원하고 학술연구와 학술진흥에 관한 정책 자문 및 학술 교류 등을 통해 학술발전에 이바지한다는 목적으로 설립된 국가 기관이다.

    기사보기
    (2018.7.17 발행): http://news.chosun.com/site/data/html_dir/2018/07/17/2018071700036.html

    read more

  • 건국대 김지인 교수의 장녀 결혼(7.21)

    2018/06/27

    건국대 김지인 교수의 장녀 결혼

    김지인 교수(30대 회장, 2015년)의 장녀 결혼식이 아래와 같이 있음을 공지하오니, 많은 축복과 격려 바랍니다.

    김은관, 김숙정의 장남 정환
    김지인, 허수경의 장녀 영진


    - 일시: 2018년 7월 21일(토) 오전 11시
    - 장소: 서울대학교 엔지니어하우스 라쿠치나
                    Tel. 02-875-0192
                    (서울 관악구 관악로 1, 서울대학교 내 위치)

    read more

  • [부고]박석 교수(서강대) 모친상(3.6 발인)

    2018/03/04

    부고 訃 告  



     박석 교수님(학회 제28대 감사, 서강대학교)의 모친께서 별세하셨습니다.

    - 빈소 : 경주동국대학교 장례식장 특실1호
    - 발인 : 2018년 3월 6일(7시)

    - 장지 : 경주하늘마루

    - 연락처 : 경북 경주시 동대로 87 동국대학병원 장례식장

                    박석 교수 054-770-8333

    삼가 고인의 명복을 기원합니다.


    read more

  • 김성조 명예회장, 제13회 해동상 수상

    2018/02/05

    김성조 명예회장(24대 회장, 2009, 중앙대 컴퓨터공학부 교수)가 한국공학한림원에서 주관하는 제13회 해동상 '공학교육혁신' 부분 수상자로 선정되었다.

    김성조 교수는 4년제 공과대학의 공학교육인증제의 국내 정착·확산 노고를 인정받았으며, 전문대학 공학교육의 교육품질 개선, 글로벌 스탠다드화를 통한 경쟁력 제고에 기여하고, SW와 IT 분야 대학교육의 국가간 학력 상호인정을 위한 국제협의체인 'Seoul Accord' 창설에 핵심적 역할을 수행한 바있다.

    한림원 해동상은 해동과학문화재단(이사장 김정식)에서 후원하는 상으로 공학교육 혁신과 공학기술문화 확산에 기여한 인물에게 시상한다. 시상식은 오는 29일 신라호텔에서 개최될 예정이다.

    수상을 축하드립니다.

    기사보기
    (2018.1.24 발행): http://www.hellodd.com/?md=news&mt=view&pid=63953

    read more

  • [부고]김 선 교수(서울대) 부친상(1.21 발인)

    2018/01/19

    부고 訃 告  



    김 선 교수님(학회 제32대 이사, 서울대)의 부친께서 별세하셨습니다.

    - 빈   소 : 신촌세브란스병원 장례식장 3호실 (서울특별시 서대문구 대신동 143-27)
    - 발   인 : 2018년 1월 21일(일) 오전6시

    - 연락처 : 김선(010-2641-5213)
    * 1월 19일 오후 5시부터 문상 가능

    삼가 고인의 명복을 기원합니다.



    read more

  • 김상욱 교수, 대통령표창 수상

    2018/01/16

    김상욱 교수(32대 이사, 2017, 한양대 컴퓨터소프트웨어학부 교수)가 과학기술정보통신부에서 주관하는'2017년 국가연구개발 성과평가 유공 포상' 수여식에서 대통령표창을 수상하였다.

    김상욱 교수는 대용량 소셜 및 정보 네트워크 빅 데이터 마이닝 기술 개발을 연구하여 빅 데이터 분석의 속도와 질을 획기적으로 향상시킨 공로를 인정받았으며, 빅데이터 분석의 속도와 정확도를 크게 높이는 원천·응용기술을 개발해 핵심 논문을 다수 발표했다.

    수상을 축하드립니다.

    기사보기
    (2017.1.2 발행): http://www.yonhapnews.co.kr/bulletin/2018/01/02/0200000000AKR20180102161100004.HTML?input=1195m

    read more

  • [부고]최호진 교수(KAIST) 부친상(11.29 발인)

    2017/11/27

    부고 訃 告  



    최호진 교수님(학회 제32대 부회장, KAIST)의 부친께서 별세하셨습니다.

    - 빈소 : 삼성서울병원 장례식장 8호실
    - 발인 : 2017년 11월 29일(수)

    - 장지 : 분당추모공원(경기도 광주시 오포읍 능평리 6-4)

    - 연락처 : 서울특별시 강남구 일원로 81 삼성서울병원 

                   최호진 교수 010-8765-7445

    삼가 고인의 명복을 기원합니다.


    read more

전체보기

Partners

이전

다음