8월의 NIMS 산업문제세미나를 아래와 같이 공지하오니, 많은 관심과 참석 바랍니다. 이원석 상무님은 SIAM에서 발간한 'Mathematics in Industry' 보고서의 집필에 참여하신 분으로, 수학의 산업적 기여에 관한 흥미로운 사례 소개 및 유익한 제언을 해주실 것으로 기대하고 있습니다. [ 8월 NIMS 산업문제세미나 ] 1.연사: 이원석 상무(삼성전자 Software R&D Center) 2.일시: 2014년8월28일(목) 오전 11시 3.장소: 국가수리과학연구소수학원리응용센터세미나실 4.제목: Applied Mathematics in Industry, an Example - Fluid Flow within Microchannels with Superhyhobic Walls Abstract: Superhyhobic micro-structured surfaces utilize a combination of chemical treatment and microscale surface topography to increase the hyhobicity of a surface. Superhyhobic surfaces exhibit a number of interesting properties such as dramatically decreased wettability and reduced friction in laminar flows. These characteristics make them a potential enabling technology for a variety of applications including microfluidics, lab-on-a-chip devices, self-cleaning surfaces, and reduction. In this talk, we discuss the reduction capability of the microstructured surfaces to understand the fundamental interfacial phenomena that allow these surfaces to exhibit such properties. Along with experimental efforts, numerical simulations and theoretical studies have been conducted. Among those parallel efforts, in this seminar, we focus on the analytic solution method using conformal mapping to solve pressure driven fluid flow problems under mixed boundary conditions within microchannel.

안녕하십니까. 국가수리과학연구소에서는 사회 각 분야별 이슈와 관련한 전문가 초청 세미나를 통해 전문지식 및 식견을 확대하고자, 아래와 같이 NIMS 초청세미나를 개최하고자 합니다. 많은 참석 부탁드립니다. 1. 연사 : 허충길 교수 (서울대학교 컴퓨터공학부 소프트웨어 이론 연구실) 2. 일시 : 2014년 8월 27일(수) 오후 4시 30분 3. 장소 : 국가수리과학연구소 수학원리응용센터 세미나실 4. 제목 : Mechanization of Proof: From 4-Color Theorem to Compiler Verification 5. 대상 : 관심있는 분은 누구나 참석 가능 Abstract I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definitions and proofs in the set theory, and (3) developing an independent proof checker that checks whether a given proof is correct (ie, whether it is a valid combination of axioms and inference rules of the set theory). Such a system is called proof assistant and Coq is one of the most popular ones. In the first half of the talk, I will introduce applications of proof assistant, ranging from mechanized proof of 4-color theorem to verification of an operating system. Also, I will talk about a project that I lead, which is to provide, using Coq, a formally guaranteed way to completely detect all bugs from compilation results of the mainstream C compiler LLVM. In the second half, I will discuss the set theory used in Coq, called Calculus of (Inductive and Coinductive) Construction. It will give a very interesting view on set theory. For instance, in calculus of construction, the three apparently different notions coincide: (i) sets and elements, (ii) propositions and proofs, and (iii) types and programs. If time permits, I will also briefly discuss how Von Neumann Universes are handled in Coq and how Coq is used in homotopy type theory, led by Fields medalist Vladimir Voevodsky.

  국가수리과학연구소는 수학을 전문적으로 연구하는 우리나라의 유일한 출연연구소로서 수학 응용을 선도하며 미래 기술을 창조하는 연구기관이 되고자 합니다. 순수와 응용 분야의 우수한 수학자들이 수준 높은 수학을 활발히 연구하며 수학을 활용하는 창의적인 응용을 할 수 있기를 기대합니다. 연구자들이 과학과 공학과 산업체와 소통하며 이 분야들의 발전에 도움이 되는 수학응용문제들을 심도 있게 연구하는 환경과 시스템을 완성해 가려고 합니다. 이런 연구 환경과 시스템에서 높은 수준의 수학 응용을 체득한 유능한 인재들이 다른 분야 연구소나 기업이나 산업체나 대학에 진출해서, 수학이 산업 발달과 삶의 질 향상에 직접적으로 공헌할 수 있는 통로가 되기를 기대합니다. 국가수리과학연구소는 2013년에 제도를 정비하고 수학원리응용센터(CAMP)를 위한 새로운 공간을 확보해서 2014년에 다양한 활동을 계획하고 우수한 인재를 모시고자 합니다. 연구소는 2013년에 연구자들의 처우를 대폭 개선하고, 연구부의 연구주제를 외연을 확장하기 용이한 빅데이터, 이산수학과 최적화, 생물수학, 거대과학계산, 수리적 영상처리로 선정하여, 세부 전공이 무엇이든 높은 수준의 수학 연구 훈련을 받은 연구자들이 수학의 응용에 공헌하며 역량을 키울 수 있도록 했습니다. 또한 수학원리응용센터를 출범시켜 수학 연구 교류를 활성화하며 수학과 산업체, 수학과 과학기술계가 협력하는 프로그램을 진행하고 있습니다.   국가수리과학연구소는 미국의 IMA, MSRI, 일본의 AIMR(고등재료연구소)와 공동으로 계절학교와 workshop을 기획하고 있고, 다수의 저명한 수학자들이 석학교수와 방문교수, workshop이나 conference 연사로 연구소를 장기 또는 단기로 방문하기 때문에 수준 높은 연구 교류를 매우 활발히 할 수 있습니다.   국가수리과학연구소에 참여하실 수 있는 방법은 다양합니다. NIMS 석학, NIMS Fellow, 방문교수 등으로 활동하실 수 있고, 박사후과정, 전문연구요원(병역특례), 연구원으로 연구 기회를 가질 수 있습니다. 2014년 초에 채용공고를 내기 위해 준비하고 있으니 관심을 가져주시고, 우수한 제자나 동료들을 추천해 주시면 고맙겠습니다. 연구소는 순수수학, 응용수학을 가리지 않고 우수한 연구자 분들을 모시고자 합니다. 처우는 박사후과정의 연봉이 5,000만원 이상이므로 국제적으로도 경쟁력이 있는 수준입니다.   연구소의 채용 기회를 신속하고 정확히 알려 드리기 위해서 이력서를 아래 전자우편 주소로 받고 있으니 관심을 가져 주시기 바랍니다. 특히 2014년에 박사 학위를 받을 예정자들께서도 미리 이력서를 보내 주시면 좋습니다. * 주소: brainpool@nims.re.kr * 채용 계획   - 박사후과정(postdoc), 연봉 5,000만원 이상 (1년 이상 근무할 때 받을 수 있는 퇴직금 포함)   - 전문연구요원(병역특례), 석사 또는 박사, 3명 위의 주소로 자신의 이력서를 보내 주시거나, 국가수리과학연구소에 적합한 연구자를 소개하거나 추천하는 글을 보내 주시면 대단히 고맙겠습니다. 국가수리과학연구소장 김동수 드림

연사:최재천 (국립생태원 원장) 일시:6월 19일(목) 오후 2시 장소:국가수리과학연구소 수학원리응용센터(CAMP) 세미나실 제목: 자연이라는 복잡계와 수학 – 통섭형 인재

[국립과천과학관 공고 제2014-20호] 제4회 수학문화축전 수학체험교실 프로그램 공모    미래창조과학부 국립과천과학관이 주최하고, 국립과천과학관, 고등과학원, 국가수리과학연구소가 주관하는 「제4회 수학문화축전」이 오는 8월 15일(금)부터 8월 17일(일)까지 3일간 국립과천과학관에서 개최됩니다.  이번 축전에서는 수학체험 활동을 통해 수학적 원리를 탐구하고 수학에 대한 호기심과 긍정적 사고를 유도할 수 있는 수학체험부스를 운영하고자 관련 학교 및 단체를 대상으로 수학체험교실 프로그램을 공모하오니 많은 관심과 참여 바랍니다. 1. 참가안내   o 대상  : 초·중·고등학교(교사),수학교사연구회 등   o 모집  : 총 20개 내외 수학체험 프로그램   o 지원  : 수학체험 프로그램 당 150만원 운영비 지원   o 내용  : 수학적 사고를 유도하는 다양한 주제의 체험의 체험·탐구 프로그램   o 신청서 제출     - 신청기간 : 2014. 6. 9(월) ~ 6. 20(금)     - 신청방법 : orange100@msip.go.kr로 이메일 접수       ※ 붙임파일(신청서) 용량은 3MB로 제한   o 제출서류    - [서식 1] 수학체험 프로그램 운영신청서    - [서식 2] 수학체험 프로그램 운영계획서    - [서식 3] 수학체험 프로그램 예산사용계획서   o 선정 및 발표   - 선정방법 : 전문가로 구성된 심사선정위원회 심사를 통해 선정   - 발표일시 : 2014. 7. 4(금), 국립과천과학관 홈페이지 공지 및 개별통보 2. 제공사항   o 체험부스(5m×2m), 테이블, 의자, 전력, 간판 등 운영에 필요한 기본설비 3. 기타사항   o 지원금의 60% 이상은 직접비로 집행해야 한다.    ※ 지원금은 150만원 범위 안에서 사용하며, 행사 완료 후 사후 정산에 따라 해당금액을 부스 운영        책임자 계좌에 입금    ※ 숙박 및 교통비는 별도로 지원되지 않음   o 운영에 필요한 최소인원 5명(책임운영교사 1명 포함)을 확보해야 한다.   o 관람객으로부터 재료비 및 참가비 등은 일체 받을 수 없다.   o 행사가 운영시간 계획에 맞춰 진행될 수 있도록 충분한 재료를 준비하고 참가방법 등을 체계적으로      계획하여 운영한다.   o 학생도우미는 학교장과 학부모의 사전 동의가 있어야 한다.   o 학생도우미는 1일 최대 8시간의 봉사활동을 인정한다. 4. 문의사항   o 국립과천과학관 첨단기술전시과 신유미 주무관(02-3677-1384)  붙임 : 〔서식 1〕수학체험 프로그램 운영신청서          〔서식 2〕수학체험 프로그램 운영계획서          〔서식 3〕수학체험 프로그램 예산사용계획서

2015년도 NIMS 국제 연구교류지원 사업 프로그램 공모 전문적인 수학연구를 수행하는 정부출연기관인 국가수리과학연구소(NIMS)의 수학원리응용연구센터(CAMP)는 국내·외 수리과학분야 연구교류를 활성화하고, 수학자를 중심으로 하는 융·복합 연구학술교류 허브로 자리매김하고자 NIMS 국제 연구교류지원 프로그램을 공모합니다. 많은 관심과 참여 부탁드립니다.   1. 공모 프로그램 □ 2015년 1월~2015년 12월 NIMS에서 개최를 희망하는 워크숍 또는 스쿨   2. 공모 절차와 방법     □ CAMP 홈페이지(http://open.nims.re.kr)에 접속 공모 프로그램 개최 계획 입력         ▪입력정보: 학술행사 개최목적, 기대효과, 강연자 명단, 예상참가인원, 예산(안) 등         ▪접수기간: 2014년 4월 21일(월) 09:00 ~ 2014년 5월 31일(토) 18:00     □ ‘수학응용자문위원회’에서 심사진행 후 6월 중순 선정 결과 통보   3. 공모 프로그램 신청 시 주의사항     □ 주최주관: 국가수리과학연구소로 표기하여야 함          ※ 개최경비 분담 기관은 공동주관으로 표기     □ 주관교수: 강연자 섭외 등 학술행사 기획 총괄, CAMP 예산 집행 기준 준수 운영, 학술행사 종료 1개월 이내 최종보고서 제출     □ 개 최 지: CAMP 강의실 이용(120명 규모)     □ 강 연 자: 학술주제 관련 연구활동이 활발한 국내·외 학자, 학술강연 1시간 이상     □ 참 석 자: 해당 프로그램의(http://open.nims.re.kr, 하위 페이지) 온라인 등록 필수          ※ 사전 등록자를 대상으로 숙박(스쿨에 한함)과 식사 제공     □ 숙 소: 게스트 하우스, 호텔 등(숙소↔강연장 셔틀운행)     □ 식 사: NIMS 구내식당에서 제공, 다대류 별도 제공     4. 문의처: CAMP Academic Coordinator 042-828-5824, jeonghy@nims.re.kr   [ 포스터 참고 ]

초대의 글 미래를 위해 나무를 심는 계절입니다.  대한민국 수학계의 염원을 담아 산업수학이라는 씨앗을 뿌리고자 합니다. 이 씨앗이 묘목이 되고 큰 그늘을 드리우는 나무로 성장할 수 있도록 관심과 지도를 부탁드립니다. 제1회 수학연 정책포럼 - 산업수학 활성화 - 일시 : 2015년 4월 2일(목), 14:00 장소 : 국가수리과학연구소 수학원리응용센터 주최 : 국가수리과학연구소, 대한수학회, 한국산업응용수학회 주관 : 국가수리과학연구소 포럼 목표 : 선도형 지식경제를 구현하는데 필요한 산업수학의 역할과 정책적 지원 방안을 논의 온라인 사전등록 : http://camp.nims.re.kr/forum (3월27일까지) 프로그램 프로그램 시간 프로그램 14:00 ~ 14:05 개회사(김동수 국가수리과학연구소장) 14:05 ~ 14:15 축사(이석준 미래부 제1차관) 14:15 ~ 14:45 산업수학 허브 구축 방안(박형주 POSTECH 교수) 14:45 ~ 15:00 휴식 15:00 ~ 15:30 Fostering university-industry partnerships in the mathematical sciences(Porfessor Bogdan Vernescu, Vice Provost of WPI) 15:30 ~ 16:45 휴식 15:45 ~ 17:45 패널토론(좌장:이향숙 이화여대 교수) 1. 21세기 한국 경제의 도전과 과제(이상제 한국금융연구원 선임연구위원) 2, 산업의 난제, 수학을 통한 해결 방안(김이식 KT 상무) 3. 산업수학의 성공 사례와 가능성(이준엽 이화여대 교수) 4. 산업수학 인력 양성을 위한 대학의 역할(정은옥 건국대 교수) 5. 수학계와 산업계의 협력 방안(이형천 아주대 교수) 6. 국가 정책으로서의 산업수학 활성화 전략(이창옥 KAIST 교수) 17:45 ~ 18:00 폐회사 18:00 ~ 20:00 Banquet (수학원리응용센터) 초록 박형주(POSTECH 교수) 산업수학 허브 구축방안 기존의 생존을 위한 문제해결 능력 보유가 관건인 국제경쟁의 시대에서, 산업문제 해결의 중요한 축으로 수학이 떠오르고 있다. 수학과 산업을 긴밀히 연계하고, 산업 문제의 수학적 해결 능력을 갖춘 인력을 양성하는 국가적 비전과 전략이 시급하다. Bogdan Vernescu(Vice Provost, WPI) Fostering university-industry partnerships in the mathematical sciences I will present a brief overview of best practices in building university-industry partnerships in the mathematical sciences in the USA.