National Institute of Informatics

About NII

Introduction
Greeting from the Director-General Mission & Strategies
Overview of NII
History Administrative Council Organization Charts Intellectual Properties Staff / Budget Outline and Catalogue of National Institute of Informatics PR Video
International Exchange
International Exchange based on MOU Conclusion of International Exchange Agreements or MOUs NII International advanced lectures series on ICT NII Shonan Meeting

Global Liaison Office (GLO) - DAAD
Information about Fellowship Japan with your images Alumni
NII Library
NII Library Usage Guide(For General Public) NII Library Accessing databases via GakuNin
International Seminar House for Advanced Studies Advanced ICT Center Publications
NII Today
PR Video

Recruitment Access
National Institute of Informatics (National Center of Sciences) Kashiwa Annex International Seminar House
Contact News Event Link Sitemap
Research

Research Divisions Research Centers
Research and Development Center for Academic Networks Research Center for Knowledge Media and Content Science GRACE Center: Center for Global Research in Advanced Software Science and Engineering Research Center for Community Knowledge Center for Cloud Research and Development Center for Dataset Sharing and Collaborative Research Center for Strategic Cyber Resilience Research and Development Research Center for Open Science and Data Platform Center for Research Data Ecosystem Development Center for Trust & Digital Identity Research and Development Global Research Center for Quantum Information Science Global Research Center for Big Data Mathematics Research Center for Mathematical Trust in Software and Systems Research Center for Medical Bigdata Global Research Center for Synthetic Media Research and Development Center for Large Language Models Center for Advanced Mobile Driven Research

Faculty
Director-General Executives(related to research) Principles of Informatics Research Division Information Systems Architecture Science Research Division Digital Content and Media Sciences Research Division Information and Society Research Division Directory of Faculty and Staff index Professor Emeritus
Major Project Involvement Kakenhi Human Resource Development
Top SE Experts in Information Science Quantum Technology Education:A New Approach
Collaborative Research Promotion Research Results
Progress in Informatics NII Technical Reports
Service

Network
SINET6
Research Data Cloud
GakuNin RDM JAIRO Cloud CiNii Research CiNii Books CiNii Dissertations IRDB
Authentication Infrastracture
GakuNin eduroam JP UPKI Notice of Authentication Service Maintenance

Cloud
GakuNin Cloud GakuNin Cloud Adoption Support Service GakuNin Cloud Gateway Service GakuNin Cloud On-Demand Configuration Service SINETStream
Information Security
NII Security Operation Collaboration Services (NII-SOCS) Princess Rinrin's information security column
Scholarly Communication
NACSIS-CAT/ILL E-resources Data Sharing Services KAKEN NII-REO

Collaboration
Collaboration with University Libraries Japan Alliance of University Library Consortia for E-Resources Future Scholarly Information Systems Committee Japan Consortium for Open Access Repository SPARC Japan Research Data Ecosystem Development Project to Promote the Use of AI HPCI mdx Academic Information Infrastructure Open Forum
Human Resource Development
GakuNin LMS Education and Training Services NII JMOOC | gacco Experts in Information Science Computer Science Park
Graduate Program

News

Award

2021/03/06

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.

Links

ツイート

4735

Fiscal 2024 Fiscal 2023 Fiscal 2022 Fiscal 2021 Fiscal 2020 Fiscal 2019 Fiscal 2018 Fiscal 2017 Fiscal 2016 Fiscal 2015 Fiscal 2014 Fiscal 2013 Fiscal 2012 Fiscal 2011 Award

SPECIAL

Overview of NII 2024

Guidance of Informatics Program, SOKENDAI 24-25

NII Today No.102(EN)

NII Today No.101(EN)

SINETStream Use Case: Mobile Animal Laboratory [Bio-Innovation Research Center, Tokushima Univ.]

NII Today No.100(EN)

The National Institute of Information Basic Principles of Respect for LGBTQ