Below is the program for the The Yonsei-Keio Cooperative Research Conference in Mathematical Sciences 2014.

- 09:00~09:10
**Opening Address** - 09:10~09:50
**Hiroki Takahasi (Keio)**Dynamics beyond uniform hyperbolicity in dimension two

- 10:00~11:00
**Kenta Noguchi (Keio)**Locally planar graphs on surfaces

**Donghoon Park (Yonsei)**Bost-Connes systems - More examples

**Nobuhiko Otoba (Keio)**Metrics of constant scalar curvature on bundles

each of whose typical fibers is a rotationally symmetric sphere**Jongeun Kim (Yonsei)**On the generating sample path from the fractional Black-Scholes model

**Yasushi Nagai (Keio)**Translational Symmetry in Tilings

- 11:10~12:10
**ZhengYu Chen (Keio)**On a Vaaler type theorem of Diophantine approximation for complex numbers

**Sunyoung Kim (Yonsei)**Constructive Real Number in Coq

**Kazuaki Murakami (Keio)**Isomorphism classes of Iwasawa modules

**Wan Lee (Yonsei)**Kummer Pairing and $p$-torsion elements of certain Galois groups

**Jiro Nomura (Keio)**Non abelian Brumer-Stark conjecture

- 12:20~13:00
**Cristian Virdol (Yonsei)**Artin's primitive root conjecture for abelian varieties

- 14:00~14:40
**Hiroshi Shiraishi (Keio)**A review of estimation theory for optimal portfolios

- 14:50~15:50
**Go Ohno (Keio)**Semiparametric models and RAL estimators

**Joonhee Kim (Yonsei)**Machine-checked proof and formalization of mathematics with a proof assistant

**Youichi Matsuo (Keio)**Experiments on a Parallel Nonlinear Jacobi-Davidson Algorithm

**Junguk Lee (Yonsei)**Pseudo-finite fields and roots of unity

**Masataka Ono (Keio)**Shuffle product of finite multiple polylogarithms

- 16:00~16:50
**Hyunsoo Cho (Yonsei)**Some identities for self-conjugate t-core partitions

**Yoshinosuke Hirakawa (Keio)**On the descent of modular Calabi-Yau varieties arising from the Cynk-Hulek construction

**Minjoon Jang (Yonsei)**Asymptotic formula for certain distinct partitions

**Shota Murakami (Keio)**Deformation equivalence classes of complex surfaces with first Betti number one, and

second Betti number zero- 17:00~17:40
**Hijun Choe (Yonsei)**Malliavin calculus of subordination for Levy process