Past Events

2024年

• Logic Seminar: Prof. Giovanni Sambin, "From Constructive Topology to Dynamics in Foundations, and Back" , Keio University, September 10, 2024.
• The 14th International Conference on the Theory and Application of Diagrams (Diagrams 2024), Münster, Germany, September 27 - October 1, 2024.
• The 3rd International Conference on Human and Artificial Rationalities (HAR 2024), Paris, France, September 17-20, 2024.
• The 62nd Annual Meeting of the Association for Computational Linguistics (ACL 2024), Bangkok, Thailand, August 11-16, 2024.
• CogSci 2024: Annual Meeting of the Cognitive Science Society, Rotterdam, the Netherlands, July 24-27, 2024.
• 峯島宏次「人間とAIによる論理推論」 未来共生デザインセンターキックオフシンポジウム, 慶應義塾大学, 2024年7月18日.
• The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), Torino, Italy, May 20-25, 2024.
• Two lectures and discussion by Prof. Mark van Atten on various issues in Brouwer and Husserl's logic, Keio University, April 16, 2024.
• Koji Mineshima, Expressing Disagreement and Concession, French-Japanese Colloquium, Disagreement in Logic and Reasoning, IHPST, Paris, France, March 25-26, 2024.
• Koji Mineshima, Is Reasoning Without Logic Viable? An Evaluation of Large Language Models using the NeuBAROCO dataset, Seminar at IHPST and Université Paris 1, Paris, France, March 22, 2024.
• France-Japan Workshop on "Disagreement in Logic and Reasoning" and a Special Session on "A Humanity and Social Science Approach to Cybersecurity Research: An EU Horizon 2020 Project", Keio University, March 2, 2024.
• Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond, Keio University, February 29, 2024.
• 6th Asian Workshop on Philosophical Logic (AWPL2024), Hokkaido University, March 4-6, 2024.
• 言語処理学会第30回年次大会 (NLP2024), 神戸国際会議場, 2024年3月11日-15日.
• UNESCO世界論理デー記念パネルセッション「これからの論理（学）教育」オンライン, 2024年1月14日, 14:30−17:00.

2023年

• Hayate Funakura and Koji Mineshima, Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar, Pacific Asia Conference on Language, Information and Computation (PACLIC 37), Hong Kong, December 2–5, 2023.
• 峯島宏次「言葉の意味をどのように説明するか―形式意味論と分布意味論を比較する観点から―」日本語文法学会第24回大会, シンポジウム「意味論研究の新地平」, 関西大学, 2023年12月3日.
• Logic and Engineering of Natural Language Semantics 20 (LENLS20), Hybrid (Osaka University Nakanoshima Center | Online), November 18-20, 2023.
• Yuri Sato and Koji Mineshima, "Can machines and humans use negation when describing images?", 2nd International Conference on Human and Artificial Rationalities, Hybrid (Paris, France), September 19-22, 2023.
• 国際哲学人文学会議(CIPSH)国際学会 (CIPSH International Conference), Humanities in the Global and Digital Age: The Role of Humanities Research Traditions and Interactions in Contemporary Society, 東京大学本郷キャンパス（8月23日）, 慶應義塾大学三田キャンパス（8月24日）, 2023年.
• Hitomi Yanaka and Koji Mineshima, "Compositional Evaluation on Japanese Textual Entailment and Similarity", Presentation of a paper accepted by TACL, The 61st Annual Meeting of the Association for Computational Linguistics (ACL2023), Toronto, Canada, July 12, 2023.
• Yuji Nishiyama and Koji Mineshima, "Concealed Questions and Free Enrichment", The 18th International Pragmatics Conference (IPrA 2023), Brussels, Belgium, July 13, 2023.
• 慶應義塾大学文学部公開講座「越境する文学部」 「本と文字は時空を超える」慶應義塾大学三田キャンパス, 2023年7月1日.
• Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada, "Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases", Natural Logic Meets Machine Learning IV, Workshop at IWCS2023, Nancy, France, June 20, 2023.
• Gaëtan Margueritte, Koji Mineshima, Daisuke Bekki, "Multi-purpose neural network for French categorial grammars", The 15th International Conference on Computational Semantics (IWCS 2023), Nancy, France, June 20-23, 2023.
• 峯島宏次, 窪⽥悠介, 宮尾祐介, 窪⽥愛, 船蔵颯「多⾔語に対応した汎⽤的な構成的意味論の計算フレームワークの構築」 日本言語学会第166回大会, 専修大学, 2023年6月17日-18日.
• 言語処理学会第29回年次大会(NLP2023), 2023年3月13日-17日.
• 「TVドラマシリーズの哲学・倫理学」と「論理とリーズニングにおける不一致」に関する日仏ワークショップ, 慶應義塾大学北館ホール, 2023年3月16日.
• UNESCO世界論理デー記念ワークショップ, WLD 2023, 慶應義塾大学, 2023年1月14日.

2022年

• 日本科学哲学会年次大会, 論理とリーズニングにおける「不一致」ワークショップ, 名古屋大学, 12月3日-4日, 2022.
• Logic and Engineering of Natural Language Semantics 19 (LENLS19), Hybrid (Online | The University of Tokyo, Komaba 1 Campus), November 19-21, 2022.
• Yuri Sato and Koji Mineshima, Visually analyzing universal quantifiers in photograph captions. The 13th International Conference on the Theory and Application of Diagrams (Diagrams2022), Rome, Italy, September 13–17, 2022.
• Masaya Taniguchi, Satoshi Tojo and Koji Mineshima, Interactive CCG Parsing with Incremental Trees. Bridges and Gaps between Formal and Computational Linguistics (Workshop at ESSLLI 2022), National University of Ireland Galway, August 10, 2022.
• Koji Mineshima, Evaluating Compositionality in Japanese Textual Entailment. Workshop on Computational Linguistics on East Asian Languages, 29th International Conference on Head-Driven Phrase Structure Grammar (HPSG2022), Online, July 31, 2022.
• The 18th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), Marseille, France, June 20, 2022.
• JED2022 (Japanese Evaluation Dataset Workshop), 言語処理学会第28回年次大会 併設ワークショップ, 2022年3月18日.
• 言語処理学会第28回年次大会(NLP2022), 2022年3月14日-18日.
• 論理と感性のグローバル研究センター2021年度末成果報告会, 2022年3月3日.
• Aspects of Logic Study, an event celebrating World Logic Day (WLD2022), Online, Global Research Center for Logic and Sensitivity, Keio University, January 15, 2022.

2021年

• Logical Aspects of Computational Linguistics 2021 (LACL2021), Online, December 13-17, 2021.
• Logic and Engineering of Natural Language Semantics 18 (LENLS18), Online, November 13-15, 2021.
• BlackboxNLP 2021: Analyzing and interpreting neural networks for NLP -- EMNLP2021, Online, November 11, 2021.
• The 35th Pacific Asia Conference on Language, Information and Computation (PACLIC35), Online, November 5-7, 2021.
• 2021年度MIPS（三田哲学会哲学・倫理学部門例会）, オンライン, 2021年10月23日.
• 12th International Conference on the Theory and Application of Diagrams (Diagrams2021), Online, September 28-30, 2021.
• 日本認知科学会第38回大会, オンライン, 2021年9月3日-5日.
• ACL-IJCNLP2021, Online, August 1–6, 2021.
• The 43rd Annual Meeting of the Cognitive Science Society (CogSci2021), Online, July 26-29, 2021.
• The 17th International Pragmatics Conference (IPrA2021), Online, June 27–July 2, 2021.
• Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology, 科学基礎論学会, Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) 共催シンポジウム, オンライン, 2021年6月19日. [日本語資料]
• Natural Logic meets Machine Learning (NALOMA) II, Workshop at the 14th International Conference on Computational Semantics (IWCS 2021), Online, June 16, 2021.
• Beyond Language: Multimodal Semantic Representations (MMSR), Workshop at the 14th International Conference on Computational Semantics (IWCS 2021), Online, June 16, 2021.
• 人工知能学会全国大会 (第35回) オンライン, 2021年6月9日-12日.
• ILFC Seminar: interactions between formal and computational linguistics, Online, June 1, 2021.
• The 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2021), Online, April 21-23, 2021.
• 三田哲学会『哲學』第146集（岡田光弘教授退職記念号）, 2021年3月.
• 言語処理学会第27回年次大会(NLP2021), 2021年3月15日-19日.
• 論理と感性のグローバル研究センター2020年度末成果報告会, 2021年2月25日.
• Disagreement in Logic and Reasoning, The UNESCO World Logic Day: A France-Japan Collaborative Research Project Meeting on Philosophy of Logic, January 14, 2021.

2020年

• 『フィルカル』(Vol.5 No.3)、分析フェミニズムブックガイド , 2020年12月.
• The 28th International Conference on Computational Linguistics (Coling 2020), Online, December 8-11, 2020.
• Logic and Engineering of Natural Language Semantics 17 (LENLS17), Online, November 15-17, 2020.
• 11th International Conference on the Theory and Application of Diagrams (Diagrams 2020), Online, August 24-28, 2020.
• The 58th Annual Meeting of the Association for Computational Linguistics, Online, July 5 – July 10, 2020.
• 人工知能学会全国大会 (第34回) オンライン開催, 2020年6月9日-12日.
• 言語処理学会第26回年次大会 (NLP2020) オンライン開催, 2020年3月16日-20日.

2019年

• 計算言語学の現在, お茶の水女子大学, 2019年12月6日.
• PACLIC33, Future University Hakodate, September 13-15, 2019.
• LENLS16, Keio University, Hiyoshi Campus, Kanagawa, November 10-12, 2019.
• ACL2019, Florence, Italy. July 28 - August 2, 2019.
• 関西言語学会第44回大会シンポジウム「高度文法情報付きコーパスとその日本語研究への応用」 2019年7月14日 (日) プログラム
• NAACL-HLT2019, Minneapolis, USA. June 2-7, 2019.
  • The Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019)
  • Workshop on Shortcomings in Vision and Language (SiVL)
• 峯島宏次「真理条件・表意・コミュニケーション」, ひつじ書房主催公開シンポジウム 「ことばの意味」をあらためて考える—真理条件的意味論を越えて, 清澄庭園大正記念館, 2019年3月23日.
• 峯島宏次「日本語の形式意味論」 飯田隆先生・丹治信春先生古希記念ワークショップ, 日本大学文理学部, 2019年3月17日. スライド
• 言語処理学会第25回年次大会(NLP2019), 名古屋大学, 2019年3月12日-15日.
• 峯島宏次「形式意味論を利用した自然言語の意味解析と含意関係認識」 東京大学情報理工学系研究科コンピュータ科学専攻講演会, 2019年3月8日.
• Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, and Daisuke Bekki. "Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference", The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), Honolulu, Hawaii, USA, January 27 - February 1, 2019.

2018年

• 窪田悠介・峯島宏次「前提投射の実例のツリーバンクによる検索」 日本言語学会第157回大会, 京都大学, 2018年11月17日-18日.
• Logic and Engineering of Natural Language Semantics 15 (LENLS15), 慶應義塾大学日吉キャンパス, 2018年11月12日-14日.
• Koji Mineshima, "Computational Semantics in the Era of Bigdata", TGSW2018 DASIC (Data Science in Collaboration on Language), Keynote Speech. つくば国際会議場, 2018年9月22日.
• Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez and Daisuke Bekki, "Towards Understanding Bilingual Textual Entailment and Similarity", ESSLLI 2018 Workshop on NLP in the Era of Big Data, Deep Learning, and Post Truth. Sofia University, Bulgaria, August 14, 2018. Best Paper Award.
• Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. "Paychecks, Presupposition, and Dependent Types", Fifth Workshop on Natural Language and Computer Science (NLCS2018), Oxford University, UK, July 7-8, 2018.
• NAACL-HLT2018, New Orleans, USA. June 1-6, 2018.

2017年

• Koji Mineshima, "Factivity and Presupposition in Dependent Type Semantics" Forum for theoretical linguistics, University of Oslo, 2017年11月22日. スライド
• Eriko Kinoshita, Koji Mineshima and Daisuke Bekki, "Coercion as Proof Search in Dependent Type Semantics" Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, 2017年11月21日.
• Ran Tian, Koji Mineshima and Pascual Martínez-Gómez, "The Challenge of Composition in Distributional and Formal Semantics" The 8th International Joint Conference on Natural Language Processing (IJCNLP 2017) Tutorial, Taipei (Taipei Nangang Exhibition Hall), Taiwan. 2017年11月27日. スライド Part I Part II
• Yusuke Kubota and Koji Mineshima, "From Keyaki to ABC: A treebank conversion project", 「統語・意味解析コーパスの開発と言語研究」研究発表会, 神戸大学, 2017年11月4日.
• 峯島宏次「形式意味論と自然言語処理」 NLP若手の会 (YANS) 第12回シンポジウム 沖縄かりゆしアーバンリゾート・ナハ, 2017年9月3日.
• Yuji Nishiyama and Koji Mineshima, "Explicature and the predication/specification distinction", The 15th International Pragmatics Conference (IPrA2017) Belfast, Northern Ireland, UK, July 21, 2017.
• Yurina Ito, Koji Mineshima and Daisuke Bekki, "Indirect Answers to QUD", Integrating Approaches to Social Meaning (IASM) workshop, 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), University of Toulouse, France, July 27, 2017
• 峯島宏次「形式意味論と計算言語学」 2017年度 科学基礎論学会総会 琉球大学, 2017年6月17日 - 18日
• 2017年度 人工知能学会全国大会 (第31回) ウインクあいち, 名古屋, 2017年5月23日 - 26日
• EACL2017, Valencia, 3–7 April 2017.
• 言語処理学会第23回年次大会(NLP2017), 筑波大学(筑波キャンパス), 2017年3月13日-17日.
• 峯島宏次「固有名は述語かー日本語の場合」 和泉悠『名前と対象ー固有名と裸名詞の意味論 』合評会, 2017年2月11日(土) 14:00-17:30, 日本大学文理学部.
• Koji Mineshima, "Diagrams, proofs, and natural reasoning with 'most'", 日仏ワークショップ「論理と数学の哲学―論証の哲学に向けて」, 慶應義塾大学三田キャンパス, 2017年1月12日–13日. poster

2016年

• Koji Mineshima, "How ccg2lambda solves FraCaS/JSeM", Unshared Task at LENLS 13 (Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites), NINJAL, Tokyo, November 13, 2016.
• New Landscapes in Theoretical Computational Linguistics, Ohio State University, October 14-16, 2016.
• Daisuke Bekki and Koji Mineshima, An Introduction to Dependent Type Semantics, ESSLLI2016 (28th European Summer School in Logic, Language and Information), Bolzano-Bozen, Italy, August 15-26, 2016. Lecture Slides
• The 12th Workshop on Asian Language Resources (ALR12), Coling2016 Workshop, Osaka International Convention Center, December 12, 2016.
• LENLS 13 (Logic and Engineering of Natural Language Semantics 13), Keio University, Kanagawa, November 13–15, 2016.
• Unshared Task at LENLS 13 (Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites), NINJAL, Tokyo, November 13, 2016.
• EMNLP2016, Austin, Texas, USA. November 1–5, 2016.
• DSALT: Distributional Semantics and Linguistic Theory, ESSLLI2016 Workshop, Bolzano-Bozen, Italy, August 15-19, 2016. [Paper]