| 151 | 2026-03-02 | 新增用户 | Xinyu Sun (Electronic Science and Technology of Xi’an) |
| 152 | 2026-03-02 | 更新期刊 | International Journal of Computer Networks & Communications |
| 153 | 2026-03-02 | 新增会议 | Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots |
| 154 | 2026-03-02 | 更新会议 | ITP 2026: International Conference on Interactive Theorem Proving |
| 155 | 2026-03-02 | 更新会议 | CAV 2026: International Conference on Computer Aided Verification |
| 156 | 2026-03-02 | 更新会议 | ICLP 2026: International Conference on Logic Programming |
| 157 | 2026-03-02 | 更新会议 | FSCD 2026: International Conference on Formal Structures for Computation and Deduction |
| 158 | 2026-03-02 | 更新会议 | IJCAR 2026: International Joint Conference on Automated Reasoning |
| 159 | 2026-03-02 | 更新会议 | ISAAC 2025: International Symposium on Algorithms and Computation |
| 160 | 2026-03-02 | 更新会议 | ISSAC 2026: International Symposium on Symbolic and Algebraic Computation |
| 161 | 2026-03-02 | 更新会议 | EC 2026: ACM Conference on Economics and Computation |
| 162 | 2026-03-02 | 更新会议 | ASP-DAC 2027: Asia and South Pacific Design Automation Conference |
| 163 | 2026-03-02 | 新增用户 | peng li li peng (贵州中医药大学) |
| 164 | 2026-03-02 | 新增Special Issue | Combining Probability and Logic (Journal of Logic and Computation) |
| 165 | 2026-03-02 | 新增Special Issue | Proof-Theoretic Semantics and Computation (Journal of Logic and Computation) |
| 166 | 2026-03-02 | 更新期刊 | Journal of Logic and Computation |
| 167 | 2026-03-02 | 更新期刊 | ACM Transactions on Economics and Computation |
| 168 | 2026-03-02 | 更新期刊 | Journal of Robotics |
| 169 | 2026-03-02 | 更新会议 | DESRIST 2026: International Conference on Design Science Research in Information Systems and Technology |
| 170 | 2026-03-02 | 更新会议 | SPIRE 2025: International Symposium on String Processing and Information Retrieval |
| 171 | 2026-03-02 | 新增用户 | Shiqi Liu (shanghai university) |
| 172 | 2026-03-02 | 更新会议 | KES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems |
| 173 | 2026-03-02 | 更新会议 | AAIP 2026: Asia Conference on Advances in Image Processing |
| 174 | 2026-03-02 | 更新会议 | WSAI 2026: World Symposium on Artificial Intelligence |
| 175 | 2026-03-02 | 更新会议 | HP3C 2026: International Conference on High Performance Compilation, Computing and Communications |
| 176 | 2026-03-02 | 更新会议 | ECCS 2026: European Conference on Communication Systems |
| 177 | 2026-03-02 | 更新会议 | COSIT 2026: International Conference on Spatial Information Theory |
| 178 | 2026-03-02 | 新增用户 | Li dawang (zhenzhou university) |
| 179 | 2026-03-02 | 更新会议 | SIN 2026: International Conference on Security of Information and Networks |
| 180 | 2026-03-02 | 更新会议 | RAID 2026: International Symposium on Research in Attacks, Intrusions and Defenses |