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

Schedule:

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

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

Sponsors:
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 *