- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

WIAS Seminar "Type Theory and Proof Theory"(3/16) 及び WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(3/16, 17) のご案内
by Makoto Fujiwara 21 Feb '18

21 Feb '18

皆様， (重複して受け取られた場合はご容赦ください) 早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにて 1. WIAS Seminar "Type Theory and Proof Theory” https://www.waseda.jp/inst/wias/news/2018/01/26/4899/ 及び 2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” https://www.waseda.jp/inst/wias/news/2018/01/16/4868/ を開催いたします． 1. WIAS Seminar "Type Theory and Proof Theory” 日程：2018年3月16日(金)13:20-15:30 場所：早稲田大学早稲田キャンパス 26号館 11階 1102教室講演者及び講演題目：・Chuangjie Xu (LMU Munchen), The computer as referee in mathematics ・山﨑紗紀子 (首都大学東京), An attempt at a new embedding of intuitionistic logic into linear logic －via multi-succedent G3-style sequent calculus for intuitionistic logic－ 2. WIAS Top Runners’ Lecture Collection “Proof Theory and Computation” (Helmut Schwichtenberg先生による2日間のチュートリアル講演です．) 日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00 場所：早稲田大学早稲田キャンパス 26号館 11階 1102教室 (初日は1のWIAS Seminarに引き続き同じ会場で行われます．) 講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor) 講演題目：Proof Theory and Computation 講演要旨含め，詳細は上記webページをご覧下さい．たくさんの方々のご参加をお待ちしております．世話人：藤原誠，秋吉亮太 (早稲田大学高等研究所) 問合せ先：makoto_fujiwara(a)aoni.waseda.jp (藤原誠)

1 0

CALL FOR PARTICIPATION: Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 13 Feb '18

13 Feb '18

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、現在参加登録を受け付けております。ご参加いただける方は2月18日までに参加登録をいただけますと幸いです。ご検討の程よろしくお願い致します。横山啓太 CALL FOR PARTICIPATION Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Universite Paris 1) * Urlich Berger (Swansea University) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University) Registration (deadline: 18 February 2018) ------------------------ Registrations after the deadline, or participantions without registrations will be accepted as much as possible. But if you wish to have an abstract booklet or to join the banquet, please register before the deadline from below. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 20-31 Aug 2018
by Katsuhiko Sano 10 Feb '18

10 Feb '18

Dear all, The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with two guest lecturers from University of Auckland and ILLC (University of Amsterdam) from August 20 to August 31 as part of Hokkaido Summer Institute (HSI) 2018. The following two intensive courses are scheduled to be offered during the summer school. Course 1 (20/Aug/2018 - 24/Aug/2018): Introduction to Logic (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G093) Course 2 (27/Aug/2018 - 31/Aug/2018): Dynamic Epistemic Logic and its Applications (For details, see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G102) The main lecturer of Course 1 is Katsuhiko Sano (Department of Philosophy, Hokkaido University). The main lecturer of Course 2 is Jeremy Seligman (Faculty of Arts, School of Humanities, the University of Auckland). There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2. Tomoyuki Yamada and Yasushi Nomura (Hokkaido University) will also join the classes to help students follow the lectures, and communicate with the lecturers. The courses are intended for graduate students. Course 1 is meant for students without prior knowledge of logic and will prepare them for Course 2. Each course is designed to be independent from the other course. Those students who have some familiarity with basics of propositional logic, first-order logic, and modal logic can skip Course 1, and those who wish to take only Course 1 can learn basics of logic. An application period for students from universities other than Hokkaido University is ** from February 1 to February 28 2018.** For more details about applications, please check the HSI official website: https://hokkaidosummerinstitute.oia.hokudai.ac.jp/applications/ As the summer in Sapporo is beautiful and pleasant, it's a good idea to learn logic this summer in Sapporo. Tomoyuki Yamada Department of Philosophy Hokkaido University

1 0

Kazakhstan ALC2019
by akito tsuboi 06 Feb '18

06 Feb '18

皆さま， Kazakhstan からの連絡によれば，現在のところ，天候なども考慮して開催時期は６月の初旬（６月３日から６月７日）を考えているようです． > I will consider dates from 03.06.2019 to 07.06.2019 > are the best option 何かこの時期にすでに決定している大きな集会をご存じの方がいらっしゃれば至急教えていただけませんか．なお，LC2019 は現在二つの候補があって，８月１０日からと７月初旬です．坪井明人( tsuboi (at) math.tsukuba.ac.jp)

1 0

2019 summer
by akito tsuboi 31 Jan '18

31 Jan '18

皆さま， 2019 年の夏には，Kazakhstan で ALC (Asian Logic Conference)が開催されます．主催者側から，同じ時期に国際研究集会が重ならなようにしたいという希望が来ています．すでに時期が決定している集会をご存じの方は，坪井までお知らせいただけませんか．坪井明人( tsuboi (at) math.tsukuba.ac.jp)

1 0

Doodling
by EDA Katsuya 05 Jan '18

05 Jan '18

皆様：何年か前に書いたいたずら書きなのですが、送ろうとして送りそこねた方もたくさんあるのでここに投稿します。前に、読まれた方はご容赦ください。江田 PS:ここに現れる大学の先生3人は退職されました。

1 0

組合せ論・モデル理論セミナー(2018.1.15)
by Hirotaka Kikyo 28 Dec '17

28 Dec '17

組合せ論・モデル理論セミナーを下記のように開催いたしますので、ご案内さしあげます。よろしくお願い致します。 -- ・日時: 2018年1月15日(月) 14:30～・場所: 神戸大学六甲台第2 <https://maps.google.com/?q=%E5%85%AD%E7%94%B2%E5%8F%B0%E7%AC%AC2&entry=gmai…>キャンパス自然科学総合研究棟3号館 421室 (予定) ・講演者・プログラム: 14:30-16:00 坪井明人氏 (筑波大学,モデル理論) "A proof of Hales-Jewett theorem using a nonstandard method" 16:15-17:45 Qing Xiang 氏 (University of Delaware,組合せ論) "Applications of Linear Algebraic Methods in Combinatorics and Finite Geometry" ・HP: https://sites.google.com/site/kcmseminar/ ・世話人岡部峻典 (神戸大学) 桔梗宏孝 (神戸大学) 佐竹翔平 (神戸大学) 澤正憲 (神戸大学) --

1 0

WIAS Top Runners’ Lecture Collection “Proof Theory and Computation"(2018年3月16, 17日)のご案内
by Makoto Fujiwara 27 Dec '17

27 Dec '17

皆様早稲田大学の藤原誠です．以下の通り，3月16日-17日(日本数学会2018年度年会@東京大学の直前)に早稲田大学早稲田キャンパスにてLMU MunchenのHelmut Schwichtenberg先生にチュートリアル講演をしていただく予定です．日程：2018年3月16日(金)16:00-18:00, 3月17日(土)16:00-18:00 場所：早稲田大学早稲田キャンパス(教室未定) 講演者：Helmut Schwichtenberg (LMU Munchen, Emeritus Professor) 講演題目：Proof Theory and Computation 詳細につきましては日程が近づきましたら再度ご案内をさせていただきます．どうぞよろしくお願いいたします． ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 07 Dec '17

07 Dec '17

みなさま、北陸先端科学技術大学院大学の横山です。超準解析と数学基礎論のシンポジウムについて、プログラムができましたので再度ご案内いたします。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋太志先生に招待講演をお願いしております。（前回のメールで倉橋先生のお名前が間違っておりました。お詫びして訂正いたします。）超準解析を勉強したことのない学生の方等の参加も歓迎です。ご参加をご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス懇親会：12月15日 (5000円程度の予定です) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。参加は登録無しでも可能ですが、できましたら以下のフォームに記入の上、 y-keita[at]jaist.ac.jp までメールにて事前にご連絡をいただけると幸いです。 (懇親会に参加希望の方はできるだけ早くご連絡ください。) ===以下フォーム=== １．お名前２．所属・身分３．メールアドレス４．懇親会に参加希望/希望しない (あまり直前ですと参加希望に添えないかもしれません) ５．その他 ===以上フォーム=== ********************** どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Dec '17

05 Dec '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications につきまして、講演募集の締め切りが近づきましたので再度ご案内させて頂きます。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ******************************************* Second Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Call for Papers: CLAR 2018 @ Zhejiang University in Hangzhou, China, 16-17 June 2018.
by Katsuhiko Sano 28 Nov '17

28 Nov '17

**Apologies for cross-postings** The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): - What are the roles of logic and/or argumentation in social networks? - How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? - How can we formalize reasoning in game-theoretic situations? - What are the logical principles, models and patterns of daily life argumentation? - What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? - How can existing logics be represented within existing argumentation frameworks? -What are the trade-offs between expressive power and computational complexity in logic and argumentation? - How can we model the strength of arguments? - How can we further develop and apply formal argumentation in AI? - How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer’s Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Important Dates Submission: 15 January 2018 Notification: 5 March 2018 Final version: 12 March 2018 Conference: 16-17 June 2018 Invited Speakers (Confirmed): Natasha Alechina (University of Nottingham, UK) Anthony Hunter (University College London, UK) Organizers: Thomas Ågotnes (University of Bergen & Zhejiang University) Huimin Dong (Zhejiang University) Beishui Liao (Zhejiang University) Fanghong Shi (Zhejiang University) Yì N. Wáng (Zhejiang University) Teng Ying (Zhejiang University City College) If you have any question, please contact Huimin Dong (huimin.dong(a)xixilogic.org) or Teng Ying (skysky_998(a)hotmail.com).

1 0

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 24 Nov '17

24 Nov '17

みなさま、北陸先端科学技術大学院大学の横山です。「超準解析と数学基礎論のシンポジウム」のご案内を再送させていただきます。講演枠にまだ少し余裕がありますので、講演の募集を１１月３０日まで延長致します。超準解析だけでなく、数学基礎論一般の講演も歓迎です。ご検討頂ければ幸いです。また、今回の会議では、江田勝哉先生にチュートリアル、木更津高専の倉橋大志先生に招待講演をお願いしております。超準解析を勉強したことのない学生の方等の参加も歓迎です。詳しくは下記ホームページをご覧ください。 http://www.jaist.ac.jp/~y-keita/2017NSA/index.html ********************** 超準解析と数学基礎論のシンポジウム http://www.jaist.ac.jp/~y-keita/2017NSA/index.html 日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス 11号館4階(12/15第四会議室，12/16第三会議室) 講演募集締め切り：11月30日懇親会：12月15日(予定) 世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月30日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月30日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

日本数学会2018年度年会について
by Makoto Kikuchi 23 Nov '17

23 Nov '17

数学基礎論および歴史分科会の皆様連絡責任評議員の菊池です．2018年3月18日（日）から21日（水，祝）に東京大学で開催される日本数学会2018年度年会の講演申込の締切12月1日（金）まであと一週間となりました．是非，積極的な講演申込をお願いします． http://mathsoc.jp/meeting/tokyo18mar/ 菊池誠

1 0

第52回 MLG数理論理学研究集会のご案内
by Suzuki, Nobu-Yuki 23 Nov '17

23 Nov '17

皆様静岡大学の鈴木信行です。 12月1日--3日の第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆様、ご寛恕を賜りますようお願い申し上げます。・期間: 2017年12月1日(金)午後 -- 12月3日(日)午前・場所: 静岡大学　静岡キャンパス　〒422-8529　静岡県静岡市駿河区大谷836 　 (JR静岡駅よりバスで約30分) 申し込み無しでもご参加いただけます。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

日本数学会2018年度年会について
by Makoto Kikuchi 15 Nov '17

15 Nov '17

数学基礎論および歴史分科会の皆様連絡責任評議員の菊池です．2018年3月18日（日）から21日（水，祝）まで，東京大学で開催される日本数学会2018年度年会の講演申込が始まっています． http://mathsoc.jp/meeting/tokyo18mar/ 締切は12月1日（金）です．是非，積極的な講演申込をお願いいたします．なお，今回は以下の先生方（順不同，敬称略）に特別講演をお願いしています．分科会特別講演 - 渕野昌（神戸大） - 松崎拓也（名古屋大）企画特別講演 - 八杉満利子（京都産業大名誉教授）菊池誠

1 0

FLOPS 2018 CFP
by Makoto Tatsuta 12 Nov '17

12 Nov '17

皆様、関数型、論理型プログラミング言語の国際会議 FLOPS 2018のご案内です。ふるって投稿をご検討ください。龍田真国立情報学研究所 -------------------------------------------------- FINAL Call For Papers ========================= NOTE: DEADLINE EXTENSION ========================= FLOPS 2018: 14th International Symposium on Functional and Logic Programming In-Cooperation with ACM SIGPLAN =============================== 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs), as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 29 November 2017 (any time zone): Abstract Submission (extended) 4 December 2017 (any time zone): Submission deadline (extended) 29 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Speakers William E. Byrd, University of Utah, USA Zhenjiang Hu, National Institute of Informatics, SOKENDAI, Japan + 3rd speaker to be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Søndergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard University of Southern Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (PC co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politécnica de Valéncia, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (PC co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (PC co-chair) John Gallagher Roskilde University and IMDEA Software Institute (PC co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) ----------------------------------------------------------------------

1 0

Second Workshop on Mathematical Logic and its Applications
by YOKOYAMA Keita 05 Nov '17

05 Nov '17

みなさま、 3月に金沢にて開催予定の Second Workshop on Mathematical Logic and its Applications の講演募集のご案内です。ご講演・ご参加の検討をいただければ幸いです。横山啓太 ************************************** Call for Abstracts Second Workshop on Mathematical Logic and its Applications Kanazawa, Japan 5 - 9 March 2018 http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/ Description ----------- The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop will be held as a part of the JSPS Core-to-Core Program "Mathematical Logic and its Applications", which is led by Japan Advanced Institute of Science and Technology (JAIST) in cooperation with several institutes both in Japan and abroad. We welcome submissions from anyone, not restricted to the members of the project, within the scope described below. Scope ------ Includes (but not limited to) the following topics and their application: * Intuitionistic logic * Type theory * Proof theory * Constructive analysis/topology * Program extraction * Reverse mathematics * Computable analysis/topology * Recursion theory (Computability theory) * Non-classical logic * Computational complexity Invited speakers ----------------- * Andrew Arana (Université Paris 1) * Douglas Bridges (University of Canterbury) * Laura Crosilla (University of Birmingham, to be confirmed) * Akitoshi Kawamura (Kyushu University) * Hidenori Kurokawa (Kanazawa University) * Maria Emilia Maietti (University of Padova) * Norbert Preining (Accelia Inc.) * Helmut Schwichtenberg (LMU Muenchen) * Kazushige Terui (Kyoto University) * Wim Veldman (Radboud University Nijmegen) * Andreas Weiermann (Ghent University, to be confirmed) Guide for authors ----------------- The authors are asked to prepare short abstracts (1 page PDF) following the guideline on the workshop web-site: http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/contributed_talks.html Submissions are accepted through EasyChair https://easychair.org/conferences/?conf=mla2018 Deadline of submission ----------------------- 15 December 2017 Notification of acceptance will be informed by December 31. Programme Committee -------------------- * Ryota Akiyoshi (Waseda, Japan) * Josef Berger (LMU Muenchen, Germany) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Katsuhiko Sano (Hokkaido, Japan) * Keita Yokoyama (JAIST, Japan) * Martin Ziegler (KAIST, Korea) Organizers ----------------- * Ryota Akiyoshi (Waseda, Japan) * Makoto Fujiwara (Waseda, Japan) * Tatsuji Kawai (Padova, Italy) * Takako Nemoto (JAIST, Japan) * Keita Yokoyama (JAIST, Japan) Contact address: organizers-jsps2nd(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 25 Oct '17

25 Oct '17

皆様静岡大学の鈴木信行です。第52回 MLG数理論理学研究集会のご案内です。重複して受け取られた皆さま、ご寛恕を賜りますようお願い申し上げます。ご参加・ご講演のお申込み、〆切が近づきました。 11月1日(水)までに、以下の申し込みフォームをお送りください。送り先: mlg52.shizuoka(a)gmail.com 件名: MLG52申込申し込みフォーム： -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。今回のMLGは、静岡大学理学部の教室を使用します。宿泊の手配のお世話はいたしませんので、各自でご手配ください。 (JR静岡駅周辺に宿泊されることをお勧めします。) 会場へのアクセスなど、詳しくは下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/ よろしくお願い致します。

1 0

CALL FOR PARTICIPATION: Logic and Engineering of Natural Language Semantics 14 (LENLS 14)
by Katsuhiko Sano 20 Oct '17

20 Oct '17

（重複して受け取られた場合はご容赦ください）皆様、北海道大学の佐野勝彦と申します。今年の11月に東京で開催される LENLS 14 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Daisuke Bekki (Ochanomizu University/JST CREST) Eric McCready (Aoyama Gakuin University) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (Munich Center for Mathematical Philosophy, LMU Munchen) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Important dates: ================ Deadline for camera-ready copy: October 16, 2017 Deadline for onsite registration: November 1, 2017 LENLS14: November 13-15, 2017 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until End of October, 2017. https://www.ai-gakkai.or.jp/isai/registration2017 Program: ======== 1st Day: November 13 (Mon) ------------------------- 9:00-10:00:Registration 10:00-11:30:Session * Lukas Rieser "Quality as a speech-act CI and presuppositions" * Hitomi Hirayama "Towards a Unified Analysis of Contrastive wa as Contrastive Topic" * Michael Yoshitaka Erlewine and Hadas Kotek "Intervention tracks scope-rigidity in Japanese" 11:30-12:50:Lunch 12:50-14:20:Session * Yulia Zinova "Explaining prefix contributions in Russian using Frame Semantics and RSA" * Liping Tang "A Signaling Model for Pictorial and Alphabet Writings" * Ilaria Frana and Keir Moulton "Derived Nominals and Concealed Propositions" 14:20-14:35:Coffee Break 14:35-16:05:Session * Dan Zeman "Perspectival Plurality, Relativism, and Multiple Indexing" * Fabrizio Cariani and Simon Goldstein "Conditional heresies" * Andres Soria Ruiz "It's Getting Better All The Time: An Expressivist Semantics For Comparative Value Judgments" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Ivano Ciardelli "Two Switches in the Theory of Counterfactuals" 2nd Day: November 14 (Tue) ------------------------- 10:00-11:30:Session * Yu Izumi and Shintaro Hayashi "Expressive Small Clauses in Japanese" * Osamu Sawada and Jun Sawada "The dependent property of the Japanese inferential use of no koto-da: An evidence indicator for an inferential modal statement" * Gregoire Winterstein, Regine Lai and Zoe Luk "Denials and negative emotions: a unified analysis of the Cantonese expressive 'gwai2'" 11:30-12:50:Lunch 12:50-14:20:Session * Kristina Liefke "Relating Intensional Models of Formal Semantics: established methods and surprising results" * Oleg Kiselyov "Transformational Semantics on a Tree Bank" * Simon Charlow "A modular theory of pronouns and binding" 14:20-14:35:Coffee Break 14:35-16:05:Session * Robert Henderson and Eric McCready "How Dogwhistles Work" * Emily Lake "Ideological legibility as a primary pragmatic process in the interpretation of implicit content" * Eric McCready and Christopher Davis "An Invocational Theory of Slurs" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Craige Roberts "Character assassination: Indexicals in a new perspective" 19:30-:Banquet 3rd Day: November 15 (Wed) ------------------------- 10:00-11:30:Session * Katsuhiko Yabushita "On the suspendability of the prejacent of an only sentence" * Hiroaki Nakamura "Discontinuity in Potential Sentences in Japanese" * Roussanka Loukanova "Semantic Argument Slots in the Type-Theory of Acyclic Recursion and Syntax-Semantics Interfaces in CBLG" 11:30-12:50:Lunch 12:50-14:20:Session * Tatiana Bladier, Kilian Evang and Yulia Zinova "Aspecto-Temporal Representation of Slavic Aktionsarten in DRT with Boxer" * Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot and Christian Retore. "Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis" * Alastair Butler and Stephen Wright Horn "Annotating syntax and lexical semantics with(out) indexing" 14:20-14:35:Coffee Break 14:35-16:05:Session * Patrick Elliott "An algebraic theory of attitude reports" * Chungmin Lee "Languages with non-factive knowledge verbs" * Yurie Hara, Naho Orita and Hiromu Sakai "Evidentials in Causal Premise Semantics: A Rating Study" 16:05-16:20:Coffee Break 16:20-17:20:Invited Talk * Shoichi Takahashi "Lethal Restrictors: Remedies and Ramifications" Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

数学基礎論若手の会２０１７のご案内（再送）
by Toshimichi Usuba 11 Oct '17

11 Oct '17

MLの皆様、早稲田大学の薄葉です。締め切りが近づいてまいりましたので再度数学基礎論若手の会についてご案内させていただきます。講演、宿泊ともにまだ余裕がありますのでふるってご参加ください。数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．日時２０１７年１０月２７日（金）午後～２９日（日）午前場所財団法人大学セミナーハウス https://iush.jp/ 住所〒192-0372東京都八王子市下柚木1987-1 世話人　薄葉季路（早稲田大学基幹理工学部）連絡先　usuba(a)waseda.jp ウェブページ　https://sites.google.com/view/kisoronwakatenokai2017/%E3%83%9B%E3%83%BC%E3%… 参加費用：１４０００円程度（宿泊費、食事、懇親会費ふくむ。部分参加や食事をとられない場合はその分割引になります）参加を希望される方は、以下の情報を薄葉(usuba(a)waseda.xn--jp)-ub4boe 件名：数学基礎論若手の会参加申込にてお送りください。参加申し込み締め切り：９月１５日＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝・所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）・氏名，性別・講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）・２７日の宿泊を希望するorしない・２８日の宿泊を希望するorしない・２７日の夕食を希望するorしない・２８日の朝食を希望するorしない・２８日の昼食を希望するorしない・２８日の夜の懇親会に参加するorしない・２９日の朝食を希望するorしない・その他（質問、講演希望日など）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝ -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 1

超準解析と数学基礎論のシンポジウム
by YOKOYAMA Keita 05 Oct '17

05 Oct '17

みなさま、北陸先端科学技術大学院大学の横山です。以下の通り12月に早稲田大学にて「超準解析と数学基礎論のシンポジウム」の開催を予定しております。講演を募集致しますのでご検討いただければ幸いです。 ********************** 超準解析と数学基礎論のシンポジウム日時：12月15,16日(金,土) 場所：早稲田大学早稲田キャンパス講演募集締め切り：11月24日世話人：横山啓太(JAIST), 藤原誠(早稲田大学高等研究所) ※この会議は超準解析シンポジウム http://www.jaist.ac.jp/~y-keita/2014SLACS-NSA/ の後継になりますが、今回は超準解析分野を始め、超準構造や超準手法及び関連する数学基礎論の話題を広く募集致します。講演・参加のお申し込みは以下のフォームをご記入の上、11月24日までに y-keita(a)jaist.ac.jp までお送りください。 -------------------- １．お名前２．所属・身分３．メールアドレス４．講演タイトル（未定でも可）/参加のみの予定５．その他（講演希望日など） -------------------- 参加は申し込み無しでも可能ですが、会議室・懇親会の調整や大まかな人数把握等のため、参加をご検討中の方も一度11月24日までに上のフォームでご連絡をいただけますと幸いです。（懇親会等の案内を致します。） ********************** 横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

名古屋ロジックセミナー(10/6)
by Takayuki Kihara 04 Oct '17

04 Oct '17

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html 日時：10月6日 (金) 15:30〜場所：名古屋大学大学院情報学研究科棟 314室講演者：宮元忠敏 (南山大学)　題目： On iterated forcing with side conditions アブストラクト： Aspero-Mota introduced an iterated forcing that used symmetric systems of elementary substructures with the markers. We reproduce it. Our construction features the following: 1. We stick to a single transitive set universe to form various clubs. 2. We use a pre-forced stationary set to manage amalgamations. 3. We use what we call signed coordinates rather than the markers. We consider these features by iteratively forcing the following examples. 1. Posets that force what we call fast functions. 2. Posets that kill weak club guessings. -------- Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/ Email: kihara(a)i.nagoya-u.ac.jp

1 0

続報: MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 21 Sep '17

21 Sep '17

皆様静岡大学の鈴木信行です。第52回MLG 数理論理学研究集会の続報です。ご参加・ご講演のお申込みを開始いたします。参加の申し込みは以下のフォームにご記入の上、 11月1日(水)までにお送りください。送り先: mlg52.shizuoka(a)gmail.com -------------------- １．お名前２．所属・身分３．メールアドレス４．講演する・しない５．講演する場合タイトル（未定でも可）６．懇親会(12月1日)に参加する・しない７．備考 (講演の希望日などがありましたらこちらにご記入ください) -------------------- 申し込み無しでもご参加いただけますが、懇親会（大学内で行う予定です）の参加を希望される場合は必ずお申し込みください。詳しくは、下記のサイトをご覧下さい。 https://wwp.shizuoka.ac.jp/logic-suzuki-mlg/

1 0

公募情報（筑波大学助教）
by akito tsuboi 15 Sep '17

15 Sep '17

みなさま，筑波大学数学域では，助教２名（数理科学，情報数学）を募集いたします．詳細は JREC-IN および数学域HPに数日以内に掲載される予定になっております．人工知能研究をするという条件になっておりますが，現在の専門は数学のどの分野でも大丈夫（もちろんロジックも）です．ぜひ興味をお持ちの方は，詳細をご覧になり，応募をしてくださるとよいかと思います．国際公募ですから，外国の方もOKです．坪井明人（筑波大数学域） ------------------------------------------抜粋----------------------------------------------------- １．公募人員　　　助教２名（テニュアトラック制適用、着任後５年以内にテニュア獲得審査を行う）　２．専門分野　　　数学（情報数学分野、数理科学分野およびその関連分野）３．応募資格　　　数学の研究業績を有し、博士の学位を有すること（取得見込も可）４．任用予定　　　平成２９年度内のできるだけ早い時期５．所属と職務内容　数学域所属・人工知能科学センター担当；数学および人工知能の数学的基礎研究とその応用に熱意をもって取り組んで頂ける方

1 0

FINAL CALL FOR PAPERS: Logic and Engineering of Natural Language Semantics 14 (LENLS 14), Deadline Extended
by Katsuhiko Sano 31 Aug '17

31 Aug '17

[Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS **Deadline extended to September 7, 2017** Logic and Engineering of Natural Language Semantics 14 (LENLS 14) Workshop Site : Bunkyo School Building in University of Tsukuba, Tokyo Campus Bunkyo-ku, Tokyo, Japan http://www.tsukuba.ac.jp/en/access/tokyocampus-access Dates : November 13-15, 2017 Contact Person: Katsuhiko Sano (Hokkaido University) Contact Email : lenls14[[at]]easychair.org Website : http://www.is.ocha.ac.jp/~bekki/lenls/ ================================================================= Chair: Katsuhiko Sano (Hokkaido University) Co-chair: Eric McCready (Aoyama Gakuin University) Daisuke Bekki (Ochanomizu University/JST CREST) Koji Mineshima (Ochanomizu University/JST CREST) Invited Speakers: - Craige Roberts (The Ohio State University) - Ivano Ciardelli (University of Amsterdam) - Shoichi Takahashi (Aoyama Gakuin University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI (isAI2017) (https://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal syntax, semantics and pragmatics, and related fields, including but in no way limited to the following: - Formal syntax, semantics and pragmatics of natural language - Model-theoretic and/or proof-theoretic semantics of natural language - Computational Semantics - Game-theoretic/Bayesian approaches to pragmatics - Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics) - Formal Philosophy of language - Scientific methodology and/or experimental design for linguistics Submissions: ============ Abstracts (anonymous, up to 4 pages, including figures and references, A4 size, with 12 point font) must be submitted electronically in PDF format at: https://easychair.org/conferences/?conf=lenls14 When the abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The online proceedings of the workshop will be available at the conference site. Important dates: ================ Abstract submission deadline: September 7, 2017 (extended) Notification of acceptance: September 30, 2017 Deadline for camera-ready copy: mid-October, 2017 LENLS14: November 13-15, 2017 Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Katsuhiko Sano (Hokkaido University) - Eric McCready (Aoyama Gakuin University) - Daisuke Bekki (Ochanomizu University/JST CREST) - Koji Mineshima (Ochanomizu University/JST CREST) - Alastair Butler (National Institute for Japanese Language and Linguistics) - Richard Dietz (iCLA, Yamanashi Gakuin University) - Naoya Fujikawa (Tokyo Metropolitan University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - David Y. Oshima (Nagoya University) - Osamu Sawada (Mie University) - Wataru Uegaki (Leiden University) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml