| 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) |