(* 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

興味をお持ちのみなさまのご参加をお待ちしております． 参加・宿泊に関する連絡は藤田（群馬大学）までお気軽にお願いします． ----------- 群馬大学　藤田 憲悦