Latest news
3月15日13時に第15期公募情報を公開いたしました。
4月1日13時より応募者登録サイトへの登録が可能です。
Information on the 15th call for applications was opened at 13:00 on 15 March.
Applicants can register on the registration website from 1 April at 13:00.
HOME
>
Latest news
> Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.
| JAPANESE |
Kohei Suenaga published a paper about "hyperstream processing", which is for verification of hybrid systems, in POPL 2013.