「アルゴリズム・プログラム・計算の論理と哲学」ワークショップ

Algorithm, Program, and Computation Meet Logic and Philosophy: A Half-Day Workshop

「アルゴリズム・プログラム・計算の論理と哲学」ワークショップ（オンライン参加可・無料・要事前登録）

JFLI-LIPNのThomas Seiller氏(*)、Université Sorbonne Paris Nord（ソルボンヌ北パリ大学）のCaterina Mosca氏、ならびに慶應義塾大学・産業総合研究所(AIST)のGergei Bana氏をゲストスピーカーとしてお迎えし、「アルゴリズム・プログラム・計算の論理と哲学」をテーマとする半日ワークショップを開催します。

(*) Thomas Seiller氏は現在、国立情報学研究所 (NII) に滞在中です。

最新情報 / For Updated Information:
https://abelard.flet.keio.ac.jp/2026/0527_Algorithm

Pre-regtration form / 事前登録フォーム【Pre-regtration required / 要事前登録】

https://forms.gle/kgCEz2V5JDgYV913A

Date / 日時

2026年5月27日(水) 13:30-18:00
May 27th, 2026 (Wed), 13:30-18:00 (JST)

Venue / 会場

慶應義塾大学三田キャンパス 北別館1階 レクチャールーム2 (慶應義塾大学三田キャンパスより徒歩約７分)
Lecture Room 2, 1st Floor, North Annex, Mita Campus, Keio University (Approximately 7 minutes on foot from Mita Campus of Keio University)
北別館案内図
North Annex Map
Mita Campus

  • 東京メトロ南北線　麻布十番駅（2番出口）徒歩約10分
    Approx. 10-minute walk from Azabu-juban Station (Exit 2) on the Tokyo Metro Namboku Line
  • 都営地下鉄大江戸線　赤羽橋駅（中之橋口出口）徒歩約10分
    Approx. 10-minute walk from Akabanebashi Station (Nakanohashi Exit) on the Toei Oedo Line
  • 都営浅草線・三田線　三田駅（A3出口）徒歩約17分
    Approx. 17-minute walk from Mita Station (Exit A3) on the Toei Asakusa and Mita Lines
  • JR田町駅（三田口）徒歩約20分
    Approx. 20-minute walk from Tamachi Station (Mita Exit) on the JR Lines

Program / プログラム

Time Program
13:30 Opening Remarks
Koji Mineshima, Mitsuhiro Okada, and Hirohiko Abe
13:40 Hirohiko Abe
Deontic Reasoning of LLMs and AI Alignment
*Joint work with Kentaro Ozeki, Risako Ando, Takanobu Morishita, Koji Mineshima, and Mitsuhiro Okada
14:20 Caterina Mosca
Tasks, Programs and Algorithms
15:20    Break
15:30 Risako Ando, Koji Mineshima, and Mitsuhiro Okada
On a Scaling Issue of LLMs' Inductive Proofs
16:10 Thomas Seiller
What is an algorithm? (tentative title)
17:10    Break
17:20 Gergei Bana and Mitsuhiro Okada
Logic and Semantics with Overwhelming Truth for Reachability and Indistinguishability Properties in Cryptographic Protocol Verification"
18:00 Closing Discussion

The organizing committee / 実行委員会

Hirohiko Abe (Keio University)
Koji Mineshima (Keio University)
Mitsuhiro Okada (Keio University)

The organizing office / 主催
Center for Design of Future Symbiosis, Keio University / 慶應義塾大学未来共生デザインセンター
https://www.carls.keio.ac.jp/symbiosis/

Contact address / 問合わせ先

同センター論理班　logic@abelard.flet.keio.ac.jp