皆様,
『ラムダ計算と論理の早春セミナー』のご案内 (再送)
日程:2015年3月16日(月) 午後5時から3月20日(金) 正午まで
場所:国立大学草津セミナーハウス 〒377-1711 群馬県吾妻郡草津町大字草津字白根737
詳細:http://www.cs.gunma-u.ac.jp/~fujita/2015.03LLSinKusatsu.htm
申込・質問などは藤田(群馬大学)までご連絡をお願いします. 興味をお持ちのみなさまのご参加をお待ちしております. ----------- 群馬大学 藤田憲悦