イベント

イベント

セミナー (39)


ミーティング / ワークショップ (6)

JAIST Logic Workshop 2018/12/12 I-56 (Collaboration Room 7), JAIST
JAIST Logic Workshop series 2015 Constructivism and Computability 2015/03/02 to 2015/03/06 Shiinoki Cultural Complex, Kanazawa
2nd JAIST-LORIA Workshop 2014/10/02 to 2014/10/03 LORIA, Nancy, France
Specification, Algebra, and Software 2014/04/14 to 2014/04/16 Kanazawa, Japan
1st JAIST-LORIA Workshop 2014/04/01 to 2014/04/02 Shiinoki Geihinkan, Kanazawa, Ishikawa, Japan
Workshop on Proofs as Processes 2014/01/20 to 2014/01/21 Kanazawa, Ishikawa, Japan