論理と計算

Logic and Computation

コンテンツへ移動
  • 論理と計算
  • セミナー紹介
  • メンバー紹介

第31回 ALGI (代数, 論理, 幾何と情報科学研究集会)

9月 3, 2020Uncategorizedymizoguchi

2020年9月3日(木)〜9月4日(金)
ZOOMによるオンライン開催

ALGI2020 HP : https://sites.google.com/site/algimeeting/home/31
プログラム: https://sites.google.com/site/algimeeting/home/31/program

ALGI HP : https://sites.google.com/site/algimeeting/home


Share this:

  • Twitter
  • Facebook

いいね:

いいね 読み込み中...

関連

投稿ナビゲーション

← モデル理論:普遍代数学と一階述語論理 (Zoom講義) 第3回 論理と計算サマースクール →

最近の投稿

  • 第3回 論理と計算サマースクール 11月 17, 2020
  • 第31回 ALGI (代数, 論理, 幾何と情報科学研究集会) 9月 3, 2020
  • モデル理論:普遍代数学と一階述語論理 (Zoom講義) 5月 6, 2020
  • The 18th Logic and Computation Seminar 11月 12, 2019
  • 第2回 論理と計算サマースクール 8月 5, 2019
  • 第17回論理と計算セミナー 8月 5, 2019
  • 第16回 論理と計算セミナー 7月 18, 2018
  • 第1回 論理と計算サマースクール 7月 18, 2018
  • 関係の理論 – Dedekind圏概説 (河原康雄先生著) 2月 26, 2017
  • 第15回 論理と計算セミナー 2月 4, 2017

アーカイブ

  • 2020年11月
  • 2020年9月
  • 2020年5月
  • 2019年11月
  • 2019年8月
  • 2018年7月
  • 2017年2月
  • 2015年10月
  • 2015年7月
  • 2015年4月

九州大学論理と計算研究室

九州大学論理と計算研究室
WordPress.com Blog.
%d人のブロガーが「いいね」をつけました。