Program

The PDF version of the program and abstracts is here.

Dec 7 (Mon.)

13:20 - opening remark

13:30 - 14:00 Tomohiro Kawakami (Wakayama Univ.), Locally definable $C^{\infty} G$ manifolds

14:10 - 14:50 Masanori Itai (Tokai Univ.), O-minimal Chow theorem and its applications in Hodge Theory (a survey).

15:00 - 15:40 Ikuo Yoneda (Tokuyama NIT), A remark on weak elimination of imaginaries.

15:50 - 16:30 Kenji Fukuzaki (The International Univ. of Kagoshima), Undecidability of the rings of abelian totally real integers.

Dec 8 (Tue.)

09:30 - 10:05 Kota Takeuchi (Univ. of Tsukuba), A remark on structural Ramsey properties.

10:15 - 10:50 Koichiro Ikeda (Hosei Univ.), Groups in generic structures.

11:00 - 11:35 Joonhee Kim (Yonsei Univ.), Some remarks on model theoretic tree properties.

11:45 - 12:20 JinHoo Ahn (KIAS), Total consistency for indiscernible trees in SOP1 and SOP2 theories.

12:20 - 14:10 Lunch Break

14:10 - 14:40 Ikuo Yoneda (Tokuyama NIT), The kernels of indiscernible sequences and Morley sequences in rosy theories having weak canonical bases.

14:50 - 15:30 Akito Tsuboi (Tsukuba Univ.), On Coloring of Fraısse Limits.

15:40 - 16:20 Junguk Lee (KAIST), The embedding property for sorted profinite groups.

16:30 - 17:10 Byunghan Kim (Yonsei Univ.), Weak canonical bases in NSOP1 theories.

Dec 9 (Wed.)

09:30 - 10:05 Keishi Okamoto (Sendai NIT), Enumeration of Dung ’s Extensions with an SMT Solver.

10:10 - 10:45 Hyoyoon Lee (Yonsei Univ.), Diameter of a type-definable Lascar strong type over a hyperimaginary.

10:55 - 11:30 Hisamoto Maesono (Waseda Univ.), Forking in locally o-minimal structures.

11:35 - 12:10 Hirotaka Kikyo (Kobe Univ.), On model completeness of Hrushovski's pseudoplanes in all cases.

12:10 - Closing remark