| 1 | 2026-03-02 | 新研究員 | Yan Li (National University of Defense Technology) |
| 2 | 2026-03-02 | 新研究員 | Xuehong Du (Sun Yat-sen University) |
| 3 | 2026-03-02 | 新研究員 | Xinyu Sun (Electronic Science and Technology of Xi’an) |
| 4 | 2026-03-02 | ジャーナルを更新 | International Journal of Computer Networks & Communications |
| 5 | 2026-03-02 | 会議を追加 | Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots |
| 6 | 2026-03-02 | 会議を更新する | ITP 2026: International Conference on Interactive Theorem Proving |
| 7 | 2026-03-02 | 会議を更新する | CAV 2026: International Conference on Computer Aided Verification |
| 8 | 2026-03-02 | 会議を更新する | ICLP 2026: International Conference on Logic Programming |
| 9 | 2026-03-02 | 会議を更新する | FSCD 2026: International Conference on Formal Structures for Computation and Deduction |
| 10 | 2026-03-02 | 会議を更新する | IJCAR 2026: International Joint Conference on Automated Reasoning |
| 11 | 2026-03-02 | 会議を更新する | ISAAC 2025: International Symposium on Algorithms and Computation |
| 12 | 2026-03-02 | 会議を更新する | ISSAC 2026: International Symposium on Symbolic and Algebraic Computation |
| 13 | 2026-03-02 | 会議を更新する | EC 2026: ACM Conference on Economics and Computation |
| 14 | 2026-03-02 | 会議を更新する | ASP-DAC 2027: Asia and South Pacific Design Automation Conference |
| 15 | 2026-03-02 | 新研究員 | peng li li peng (贵州中医药大学) |
| 16 | 2026-03-02 | Special Issueを追加 | Combining Probability and Logic (Journal of Logic and Computation) |
| 17 | 2026-03-02 | Special Issueを追加 | Proof-Theoretic Semantics and Computation (Journal of Logic and Computation) |
| 18 | 2026-03-02 | ジャーナルを更新 | Journal of Logic and Computation |
| 19 | 2026-03-02 | ジャーナルを更新 | ACM Transactions on Economics and Computation |
| 20 | 2026-03-02 | ジャーナルを更新 | Journal of Robotics |
| 21 | 2026-03-02 | 会議を更新する | DESRIST 2026: International Conference on Design Science Research in Information Systems and Technology |
| 22 | 2026-03-02 | 会議を更新する | SPIRE 2025: International Symposium on String Processing and Information Retrieval |
| 23 | 2026-03-02 | 新研究員 | Shiqi Liu (shanghai university) |
| 24 | 2026-03-02 | 会議を更新する | KES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems |
| 25 | 2026-03-02 | 会議を更新する | AAIP 2026: Asia Conference on Advances in Image Processing |
| 26 | 2026-03-02 | 会議を更新する | WSAI 2026: World Symposium on Artificial Intelligence |
| 27 | 2026-03-02 | 会議を更新する | HP3C 2026: International Conference on High Performance Compilation, Computing and Communications |
| 28 | 2026-03-02 | 会議を更新する | ECCS 2026: European Conference on Communication Systems |
| 29 | 2026-03-02 | 会議を更新する | COSIT 2026: International Conference on Spatial Information Theory |
| 30 | 2026-03-02 | 新研究員 | Li dawang (zhenzhou university) |