(* Apologies for any cross-postings. *) 皆様， 『ラムダ計算と論理の早春セミナー 2014』のご案内 日程：2014年3月6日(木) 午後5時から3月10日(月) 正午まで 場所：国立大学草津セミナーハウス 他 〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2014.03LLSinKusatsu.htm 興味をお持ちのみなさまのご参加をお待ちしております． 参加・宿泊に関する連絡は藤田（群馬大学）までお気軽にお願いします． ----------- 群馬大学 藤田 憲悦