*** 9月5日 *** 13：00−13：05 Opening 13：05−13：35 Masahito Hasegawa（Kyoto University） Classical linear logic of implications 13：35−14：05 Norihiro Kamide（Tokyo Institute of Technology） Sequent calculi for intuitionistic linear logic with strong negation and their applications 14：20−14：50 Naoya Nitta (Nara Institute of Science and Technology） A logic for flexible design modification 14：50−15：20 Hitomi Okuma（Kyushu University） A completeness theorem for extended order dependencies on relational attribute models in Dedekind categories 15：35−16：05 Yoshihiko Kakutani（Kyoto University） Duality between call-by-name recursion and call-by-value iteration 16：05−16：35 Satoshi Matsuoka（National Institute of Advanced Industrial Science and Technology） Exponential-free Typed Böhm Theorem 16：45− Business Meeting *** 9月6日 *** 10：00−10：30 Izumi Takeuti（Toho University） Grzegorczyk-computability and BSS-computability 10：30−11：00 Mariko Yasugi and Yoshiki Tsujii（Kyoto Sangyo University） Two notions of sequential computability of a function with jumps 11：15−12：00 Hideki Tsuiki（Kyoto University） Uniform domains and Uniform spaces 12：00−12：30 Vestergaard, Rene（Japan Advanced Institute of Science and Technology） alpha-Equivalence _is_ Decidable