このページの先頭
白眉プロジェクト

京都大学 白眉センター

｜　ENGLISH　｜ > 学内専用ページはこちら

最新ニュース

5月26日13時（日本時刻に）第14期公募の応募者登録および提案書アップロードを締め切りました。 The applicant registration website closed on 26 May 2023, at 1:00 p.m.(Japan Time)
Home  ＞  最新ニュース  ＞ 共同研究成果　"Exercises in Nonstandard Static Analysis of Hybrid Systems" 「Lecture Notes in Computer Science 」に掲載。