ENS - JFLI - U.Tokyo Workshop on Programming Languages

Date: January 22th, 2018 (Monday)

Place: The University of Tokyo, Hongo Campus, Sci. 7, Room 214

List of Confirmed Speakers:


The participation to this workshop is free of charge. Prior registration is not required for the workshop. If you have any question concerning to this workshop please contact Vorapong Suppakitpaisarn (vorapong@is.s.u-tokyo.ac.jp).

Tentative 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