TPP 2024: 20th Theorem Proving and Provers Meeting English version 第20回 TPPミーティングを 11月 ... TPP 2024: 20th Theorem Proving and Provers Meeting English version 第20回 TPPミーティングを 11月 25日(月)-26日(火) に九州大学にて開催します． このミーティングは，2005年から年に1回開催され， 定理証明系を作っている人から使う側の人まで幅広い人たちが集まり， 様々な側面からの話をしてアイディアの交換をしてきたものです． なお，今年は招待講演者としてフランスINRIA の Pierre-Marie Pédrot を 呼んでいます． Coqの内蔵について講演する予定です． 開催情報 日時：11月25日(月) 13:00 〜 11月26日(火) 15:00 場所：九州大学 マス・フォア・インダストリ研究所 九州大学 伊都キャンパス ウエスト1号館 D棟 4階 IMIオーディトリ アム（W1-D-413） I
記事へのコメント0件
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています