Logic@JAISTへようこそ

このページは北陸先端科学技術大学院大学におけるソフトウェア検証・論理学に関連した活動のポータルサイトです。関連する研究室・研究員、イベントなどの情報を提供しています。

今後のイベント

予定されているイベントはありません。