[logic-ml] Logic Seminar at Kobe

[Makoto Kikuchi]

皆様，

直前の連絡となり申し訳ございませんが，以下の要領でセミナーを開きます．

日時: 2013年7月28日 (金), 10:40-12:10
場所: 神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
講演者: Paul Larson (Miami University, Oxford, Ohio)
題目: Vaught's Conjecture and the Scott Analysis

このセミナーは世界的に著名な集合論の専門家によるものですが，
内容は数理論理学全般の大学院生を主な対象とした比較的入門的なものです．

神戸大学大学院システム情報学研究科情報数理グループでは，
こうした数理論理学の入門的なセミナーを半定期的に開催しています．
ご興味をお持ちの方があれば下記までご連絡下さい．

連絡先：
神戸大学大学院システム情報学研究科 菊池誠
mkikuchi at kobe-u.ac.jp