(* 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
興味をお持ちのみなさまのご参加をお待ちしております. 参加・宿泊に関する連絡は藤田(群馬大学)までお気軽にお願いします. ----------- 群馬大学 藤田 憲悦