Alex Potanin 先生の講演
Alex Potanin 先生（ヴィクトリア大学ウェリントン）に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。
講演 1: Wyvern – Security by Design
講演 2: Decidable Subtyping for Path Dependent Types
Alex Potanin 先生（ヴィクトリア大学ウェリントン）に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。
講演 1: Wyvern – Security by Design
講演 2: Decidable Subtyping for Path Dependent Types