English | Japanese

Events and News (2020)

2020.12.18 The paper "Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience" by Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez has been accepted as a full paper for AAMAS 2021 (2021.05.03-07).
2020.10.01 Dr. Taisuke Sato joined our lab at NII as a Professor by Special Appointment (since 2020.11.01).
2020.09.08 The paper "Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication" by Mitsuhiro Odaka and Katsumi Inoue has been accepted for CSBio 2020.
2020.07.10 The paper "Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation" by Tuan Nguyen, Katsumi Inoue and Chiaki Sakama has been accepted for the main track of ICLP 2020 (Technical Communication).
2020.07.10 The paper "Computational intractability law molds the topology of biological networks" by Ali Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispühl has been published in Applied Network Science.
2020.07.08 The reproducible parallel SAT solver ManyGlucose Version 4.1 has won the 3rd places of both Parallel Track and Parallel Track UNSAT at SAT Competition 2020.
2020.06.12-13 NII Online Open House 2020. The introductory video of our lab has been uploaded in YouTube (in Japanese).
2020.04.26 The paper "Reproducible Efficient Parallel SAT Solving" by Hidetomo Nabeshima and Katsumi Inoue has been accepted for SAT 2020 (Supplemental material).
2020.02.10 Presentation of graduation theses (Tokyo Tech).
2020.02.04 Presentation of master theses (Tokyo Tech).