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 Research Activities 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 Researcn 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
JST CREST JST PRESTO JRP-LEAD with UKRI
Kakenhi Human Resource Development
Top SE Experts in Information Science Quantum Technology Education:A New Approach
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

2023/07/21

A paper by NII Research Assistant KORI Mayuko, Prof. HASUO Ichiro and others was awarded as Distinguished Paper Award of CAV 2023

Conference

CAV 2023 - 35th International Conference on Computer Aided Verification

Award

CAV Distinguished Paper Award

Paper Title

Exploiting Adjoints in Property Directed Reachability Analysis

Name

KORI Mayuko（NII / Informatics Program, Graduate Institute for Advanced Studies, SOKENDAI）
Flavio Ascari（University of Pisa）
Filippo Bonchi（University of Pisa）
Roberto Bruni（University of Pisa）
Roberta Gori（University of Pisa）
HASUO Ichiro（NII）

Date

July 21th, 2023

Links

ツイート

5918

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

NII Today No.101(EN)

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

NII Today No.100(EN)

Overview of NII 2023

NII Today No.99(EN)

Guidance of Informatics Program, SOKENDAI 23-24

NII Today No.98(EN)

The National Institute of Information Basic Principles of Respect for LGBTQ