FACS 2018

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

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

FACS 2018

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

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

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

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

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

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

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

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

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

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

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

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

한국정보과학회

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

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

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

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

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

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

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

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

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

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

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

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

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

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

홍봉희 회장, 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)이 자리하였다.

홍봉희 회장, 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)이 자리하였다.

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

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

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

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

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

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

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

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

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

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

기사보기(2017.9.11발행):

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

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

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

기사보기(2017.9.11발행):

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

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

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

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

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

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

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

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

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

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

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

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

부고 訃 告 　



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

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

- 장지 : 경주하늘마루

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

                박석 교수 054-770-8333

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

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

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

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

수상을 축하드립니다.

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

부고 訃 告 　



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

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

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

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

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

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

수상을 축하드립니다.

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

부고 訃 告 　



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

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

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

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

               최호진 교수 010-8765-7445

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