본 학술대회는 계산수학-계산 편미분방정식 분야의 최고수준의 국제적인 연사들을 초빙하여 최신동향을 소개한다.
특히 유한요소법, 유한체적법, 유한차분법, 적응요소법, 최소자승법등의 오차해석, 수렴성, 그리고 실제 계산알고리즘의 개
선을 위한 선형대수 해법등의 심도있는 내용을 발표하고 토론한다.
학술대회를 통하여 유체역학, 탄성역학, 석유공학, 전자기학등 다양한 분야에의 실질적인 응용을 논한다.

● 주 관: 국가수리과학연구소, 충남대학교 (공동주관)
● 조직위원회: 이건희, 구남집, Yakov Pesin, Sergei Pilyugin 외
● 홈 페이지: http://icm2014.cnu.ac.kr

본 학술회의에는 동력계 이론과 관련한 연주주제 중에서도 최근에 많이 연구되고 있는 분야인 미분가능동력계(differentiable dynamics)의 정성적 이론연구를 하는 학자들이 많이 참가할 예정이다. 좀 더 구체적으로 연구주제를 살펴보면 다음과 같다.
- Hyperbolicity and partial hyperbolicity
- Global dynamics beyond uniform hyperbolicity
- Topological dynamics, bifurcations
- Ergodic theory, differentiable ergodic theory
1960년대 초에 S. Smale에 의해 소개된 다양체 위에 주어진 미분가능동력계 이론에서 “uniform hyperbolicity를 만족하는 동력계”이론의 연구는 90년대 말까지 매우 잘 발전되었고 이들 이론을 통하여 수학에서의 많은 흥미로운 미해결 문제들이 해결되었다. 2000년대 초 부터는 uniform hyperbolicity를 만족하지 않는 미분가능동력계의 연구: 즉, "global dynamics beyond uniform hyperbolicity" 의 연구가 이루어지기 시작하였고 최근에는 이 분야의 연구가 세계적으로 매우 활발히 연구되고 있는 실정이다.
국제적으로 매우 활발히 연구되고 있는 이 분야 연구 가치와 중요성에 비해 국내에서는 연구인력 및 연구환경이 미약한 실정이다. 이번의 국제학술회의는 2014 Seoul ICM의 위성학회로 충남대학교에서 2014년 8월8일부터 8월12일까지 5일간 개최될 예정으로 이들 분야에서 세계적인 최고 수준의 연구자들의 대거 참석하여 발표할 예정이며 발표내용을 dynamical systems journal 의 special volume으로 만들어 배포할 예정이다.
또한 이를 통하여, 학문 후속세대에 대한 연구 활동을 지원하고 해외석학들 간의 상호 교류를 촉진하려는 목적 또한 포함되어 있다. 보다 효율적인 학술대회가 되도록 노력할 예정이며 국내 학자들에게도 발표기회를 넓힐 예정이다.

이 대회는 제 7회 International Conference on Stochastic Analysis and Its Applications (ICSAA)이며 2013년 8월 6일부터 11일까지 서울대학교 상산 수리 과학관에서 개최될 계획이다.

ICSAA 학술 대회의 주제는 확률 이론과 산학으로의 응용이며, ICSAA 학술 대회의 목표는 이 주제에 대한 연구가들의 최신 이론을 발표와 토론을 통해 서로의 아이디어를 공유함으로써 이 분야에 대한 학문적 발전의 도모에 있다.

좀 더 구체적으로 이야기하면 ICSAA 학술 대회의 주제는 다음과 같이 크게 4가지로 구분된다.

1. (확률과정과 그응용) Stochastic analysis and its applications
2. (마르코프운동, 점프운동, 측도값운동) Markov processes, including jump type processes and measure-valued processes
3. Dirichlet forms
4. (프렉탈과 침투군의 분석) Analysis on fractals and percolation clusters

이들 분야는 서로 밀접한 관계를 가지고 있고 그 산학으로 응용 때문에 최근 아주 활발히 연구되어오고 있다. 이들은 현대 확률론의 뼈대를 이루고 있으며 이 학회는 이 분야의 최신정보를 한데모아 특히 젊은 학자와 학생들과 공유하고자한다.

이 ICSAA 학술 대회는 2006년 여름 미국 워싱턴 주립대학에서 개최된 International Conference on Stochastic Analysis and Its Applications 을 시작으로 현재까지 아래와 같이 개최되었다.

1st International Conference on Stochastic Analysis and its Application 2006
http://www.math.washington.edu/~zchen/Conference

2nd International Conference on Stochastic Analysis and its Applications 2008
http://www.math.snu.ac.kr/~pkim/2ICSAA.html

3rd International Conference on Stochastic Analysis and its Applications 2009
http://www.math.washington.edu/~zchen/bitconf/
http://english.amss.cas.cn/ns/es/200908/t20090825_33867.html

4th International Conference on Stochastic Analysis and its Applications 2010
http://stoc-proc.com/sympo/2010/SAA2010.htm

5th International Conference on Stochastic Analysis and its Applications 2011
http://www-wt.iam.uni-bonn.de/~sturm/Konferenz/index.html

6th International Conference on Stochastic Analysis and its Applications 2012
http://bcc.impan.pl/6ICSA/

본학회는 2014 Seoul ICM 위성학회 중 하나이며 2014 Seoul ICM 전에 열리는 유일한 확률론 국제학회이다.
80여명의 발표자 (국외 발표자 70명이상) 와 30여명의 일반참가자의 참여를 예상하고 있다. 서울대학교 김판기 교수는 전 세계 확률 이론 교수 중 최고 대가들을 엄선하여 참가와 발표를 요청하는 초대 이메일을 발송하였다. 이 학회 개최는 현재 세계 확률론 학자들의 엄청난 관심을 받고 있다. 그 실례로 초청 이메일을 발송한지 며칠 만에 많은 확률론 학자들로부터 참석 및 발표를 수락하는 답장을 받았다.

Local organizers:
Kyeonhun Kim (Korea University, Korea)
Panki Kim (Seoul National University, Korea)
Gerald Trutnau (Seoul National University, Korea).

Scientific Committee members:
Martin Barlow (University of British Columbia, Canada)
Krzysztof Bogdan (Wroclaw University of Technology, Poland)
Zhen-Qing Chen (University of Washington, USA)
Takashi Kumagai (Kyoto University, Kyoto, Japan)
James Norris (University of Cambridge, UK)
Michael Rockner (University of Bielefeld, Germany)

최근 분류이론에선 몇가지 주요한 주제들이 연구 중이다. 김병한 교수와 공동 연구자들을 통한 호몰로지 이론의 전개가 상당한 관심의 대상이다. 특히 higher Hurwicz conjecture의 해결에 관한 발표가 이 학술대회를 통해 있으리라 예상하고 그 외의 최근 연구들도 발표가 있을 것이다. Hrushovski, Pillay, Simon 등이 연구하고 있는 Keisler measure도 매우 주요한 주제이다. 이는 NIP theory들을 이해하는 기본 도구로 사용되어 이 연구의 현재 진행사항에 대한 발표가 있을 예정이다. 그 외에도 전통적으로 중요한 안정구조(stable structure)나 단순구조(simple structure)에 대한 연구 및 o-minimality에 관한 연구의 진척도 발표될 것이다. 이런 분야의 발전은 응용으로 이어져 정수론등의 문제 해결에 사용됐는데 이와 관련한 연구성과를 이해하는 강연도 있을 것이다. 이 학술대회를 통해 이 분야의 최근 결과들과 그 응용에 대해 이해할 수 있을 것이고, 상호연구에 대한 접점을 발견하는 기회를 제공할 것이다.

1시간짜리 기조강연 4개와 30분짜리 초청강연 20여개, 그리고 희망하는 참석자중 선별해서 contributed talk을 몇개 들을 수 있는 행사를 목표로 준비하고 있습니다.
현재까지 확정된 명단은 아래와 같습니다.

기조강연:

Alexandr V. Kostochka (UIUC)
L&aae;szl&oae; Lov&aae;sz (Eötvös Lor&aae;nd University)
Bojan Mohar (SFU / University of Ljubljana)
Benny Sudakov (ETH / UCLA)

초청강연:

David Conlon (Oxford)
Jacob Fox (MIT)
Hamed Hatami (McGill University)
Penny Haxell (University of Waterloo)
Mihyun Kang (Technische Universität Graz)
Daniel Kr&aae;l’ (University of Warwick)
Choongbum Lee (MIT)
Po-Shen Loh (Carnegie Mellon University)
Jaroslav Nešet？il (Charles University)
Balazs Szegedy (University of Toronto)
Prasad Tetali (Georgia Tech)
Van Vu (Yale)
Paul Wollan (University of Rome)
Xuding Zhu (Zhejiang Normal University)

□ 주 관: 국가수리과학연구소, 한양대학교 (공동주관)
□ 조직위원회: 한양 대학교 김덕수(Deok-Soo Kim) 교수,
New York 대학교 Chee K. Yap 교수,
North Carolina 주립대학 홍훈(Hoon Hong) 교수

대표적인 수리계산소프트웨어인 Matlab은 디지털 신호 처리, 통신 시스템, 이미지 및 비디오 처리, 생명공학, 금융, 메카트로닉스 등 다양한 분야에서 사용되고 있다. 이처럼 수리계산소프트웨어는 그 응용분야가 다양해짐에 따라서 응용분야에 대한 연구들과도 연계가 매우 중요하다. 따라서 다양한 응용분야의 문제를 풀어야 하는 특성상 수리계산소프트웨어분야는 대수학, 기하학, 해석학, 응용수학 등 거의 모든 수학분야의 연구와 관련되어 있을 뿐만 아니라 거의 모든 과학 분야와 관련되어 있다.

수리계산소프트웨어 분야는 다양한 응용문제에 적용가능한 중요성에 비해 국내의 이론적인 연구 및 소프트웨어 연구개발은 미약한 수준이다. 주된 이유 중에 하나는 여러 학문분야들끼리의 학제간 연구가 필요하기 때문이다. 본 학술대회를 통해서 세계 최고 수준의 국제적인 선진과학자들과의 공동 교류의 장을 마련하여 국내에서는 활발하지 않은 연구와 기술 분야를 소개하여 교육적 효과를 올리며, 학제간의 다양한 분야에서 새로운 협력과 발전이 이루어지는 계기가 되고자 한다. 본 학술대회에서는 다음과 같은 세부 주제들에 대해서 논문발표와 함께 심도 깊은 토론이 진행될 예정이다.

● Computational group theory
● Computation of special functions
● Computer algebra and reliable computing
● Computer tools for mathematical editing and scientific visualization
● Exact numeric computation for algebraic and geometric computation
● Formal proof
● Geometry and visualization
● Groebner bases and applications
● Number theoretical software
● Software for optimization and polyhedral computation