Ken-etsu FUJITA

• ２００７年度証明論研究集会 2007年12月3日(月)、4日(火) 首都大学東京

• 日本数学会２００７年度秋季総合分科会科会 2007年9月21日(金)〜24日(月) 東北大学

• ラムダ計算と論理の早春セミナー 2007年3月8日（木）〜12日（月）草津セミナーハウス

• Second NII Type Theory Workshop, March 7, 2007, National Institute of Informatics.

• 研究集会「代数，言語，計算理論とその応用」 2007年2月19日〜21日，京都大学数理解析研究所

• Verification of Protocols for Security and Mobility (VPSM) 9--13 October 2006, IT University of Copenhagen

• 第１０回シンポジウム　代数、言語と計算 (Algebra, Languages and Computation)　2006年9月30日(土)　東邦大学理学部習志野キャンパス

• 日本数学会２００６年度秋季総合分科会科会 2006年9月19日(火)〜22日(金) 大阪市立大学

• 日本ソフトウェア科学会第23回大会 2006年9月13日(水)〜15日(金)　東京大学

• RIMS共同研究--算術体系の証明論 2006年8月21日（月）〜23日（水）京都大学数理解析研究所

• ラムダ計算と論理の早春セミナー 2006年3月9日（木）〜13日（月）草津セミナーハウス

• 共同研究「代数，言語，計算システムにおけるアルゴリズム問題」，2006年2月20日〜22日，京都大学数理解析研究所

• Type Theory Workshop, January 23, 2006, National Institute of Informatics

• 証明論研究集会2005，2005年10月28日(金)〜10月29日(土)，　群馬県立女子大学

• The First Workshop on Logic and Linguistics in Gunma 2005年9月26日 群馬県立女子大学

  Introduction to lambda calculus（ラムダ計算入門）

• Types Summer School 2005 Proofs of Programs and Formalisation of Mathematics, August 15-26 2005, Goteborg, Sweden

• TLCA '05(Seventh International Conference on Typed Lambda Calculi and Applications) April 21--23, 2005, Nara, Japan

• ラムダ計算と論理の早春セミナー 2005年3月5日（土）〜8日（火）草津セミナーハウス

• 研究集会「代数系，形式言語と計算論」 2005年2月21日〜23日　京都大学数理解析研究所

• 短期共同研究「証明論と計算論」 2005年1月17日（月）〜19日（水）　京都大学数理解析研究所

• 日本ソフトウェア科学会第21回大会 2004年9月15日（水）〜17日（金）　東京工業大学

形式的技法を活用したシステムの検証

• JMLと定理証明器を活用した検証ツールの調査(永宮，藤田)
• 桐生タイムズ(2008.03.15)

● 計算機工学講座第二研究室

● Researchers in Computer Science

● Researchers in Rewriting