French-Japanese Workshop on Programming Languages

ENS – JFLI – U.Tokyo Workshop on Programming Languages
Date: January 22th, 2018 (Monday)
Place: The University of Tokyo, Hongo Campus, Sci. 7, Room 214


13:05 – 13:10 Prof. Phong Nguyen (Inria and CNRS/JFLI/U. Tokyo)
Title: Opening and Introduction to JFLI
13:10 – 14:00 Prof. Ichiro Hasuo (NII and JFLI)
Title: Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals
14:00 – 14:50 Prof. Marc Pouzet (ENS and UPMC)
Title: Building a Hybrid Systems Modeler on Synchronous Languages Principles
Abstract can be found at the following link
14:50 – 15:10 Coffee Break
15:10 – 16:00 Prof. Naoki Kobayashi (U. Tokyo)
Title: On Higher-Order Program Verification and Two Notions of Higher-Order Model Checking
16:00 – 16:10 Vorapong Suppakitpaisarn (U. Tokyo)
Title: Closing and Introduction to SGU

Prof. Phong Nguyen (Inria and CNRS/JFLI/U. Tokyo)
Prof. Reiji Suda (U. Tokyo)
Vorapong Suppakitpaisarn (U. Tokyo)

Top Global University Project (SGU), MEXT

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *