News
Award
A paper by Guillaume Dupont (former NII Internship student), Assoc. Prof. ISHIKAWA Fuyuki, Researcher by Special Appoint KOBAYASHI Tsutomu and others was awarded as Best Paper Award of ICFEM 2020
Award
Best Paper Award
Award Paper Title
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
Authors of award paper
Guillaume Dupont (University of Toulouse)
Yamine Aït-Ameur (University of Toulouse)
Neeraj K. Singh (University of Toulouse)
Fuyuki Ishikawa(National Institute of Informatics)
Tsutomu Kobayashi(National Institute of Informatics / Japan Science and Technology Agency)
Marc Pantel(University of Toulouse)
Date
March 6, 2021.

NII Today No.105(EN)
Overview of NII 2025
Summary of NII 2024
NII Today No.104(EN)
NII Today No.103(EN)
Overview of NII 2024
Guidance of Informatics Program, SOKENDAI 24-25
NII Today No.102(EN)
SINETStream Use Case: Mobile Animal Laboratory [Bio-Innovation Research Center, Tokushima Univ.]
The National Institute of Information Basic Principles of Respect for LGBTQ
DAAD