Formal methods for the inference of discrete and timing parameters in large-scale dynamic systems

Speaker: Morgan Magnin, École Centrale de Nantes Date: May 9th, 2013 Time: 14:00 Place: room 102, Faculty of Science Bldg. 7, Hongo Campus, The University of Tokyo Formal verification through model-checking have grown continuously over the past twenty years. While model-checking first targeted discrete-event systems,…

NII Shonan meeting on “Implicit Computational Complexity and applications: Resource control, security, real-number computation”

Implicit Computational Complexity and applications: Resource control, security, real-number computation   NII Shonan Meeting: @ Shonan Village Center, November 4-7, 2013   Organizers Akitoshi Kawamura, The University of Tokyo, Japan Jean-Yves Marion, Lorraine University, France David Nowak, JFLI, CNRS & The University of Tokyo,…

JFLI – The University of Tokyo

JFLI,The University of TokyoDept. of Computer ScienceGraduate School of Information Science and TechnlogyPrefab A,  Room 204/205/206/2137-3-1, Hongo, Bunkyo-ku,113-0033 Tokyo, JAPAN Tel: +81 (0)3-5841-4076   To access to our offices on the Hongo campus, please have a look at the following…