| 2431 | 2026-03-02 | Update Conference | ITP 2026: International Conference on Interactive Theorem Proving |
| 2432 | 2026-03-02 | Update Conference | CAV 2026: International Conference on Computer Aided Verification |
| 2433 | 2026-03-02 | Update Conference | ICLP 2026: International Conference on Logic Programming |
| 2434 | 2026-03-02 | Update Conference | FSCD 2026: International Conference on Formal Structures for Computation and Deduction |
| 2435 | 2026-03-02 | Update Conference | IJCAR 2026: International Joint Conference on Automated Reasoning |
| 2436 | 2026-03-02 | Update Conference | ISAAC 2025: International Symposium on Algorithms and Computation |
| 2437 | 2026-03-02 | Update Conference | ISSAC 2026: International Symposium on Symbolic and Algebraic Computation |
| 2438 | 2026-03-02 | Update Conference | EC 2026: ACM Conference on Economics and Computation |
| 2439 | 2026-03-02 | Update Conference | ASP-DAC 2027: Asia and South Pacific Design Automation Conference |
| 2440 | 2026-03-02 | New Researcher | peng li li peng (贵州中医药大学) |
| 2441 | 2026-03-02 | Add Special Issue | Combining Probability and Logic (Journal of Logic and Computation) |
| 2442 | 2026-03-02 | Add Special Issue | Proof-Theoretic Semantics and Computation (Journal of Logic and Computation) |
| 2443 | 2026-03-02 | Update Journal | Journal of Logic and Computation |
| 2444 | 2026-03-02 | Update Journal | ACM Transactions on Economics and Computation |
| 2445 | 2026-03-02 | Update Journal | Journal of Robotics |
| 2446 | 2026-03-02 | Update Conference | DESRIST 2026: International Conference on Design Science Research in Information Systems and Technology |
| 2447 | 2026-03-02 | Update Conference | SPIRE 2025: International Symposium on String Processing and Information Retrieval |
| 2448 | 2026-03-02 | New Researcher | Shiqi Liu (shanghai university) |
| 2449 | 2026-03-02 | Update Conference | KES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems |
| 2450 | 2026-03-02 | Update Conference | AAIP 2026: Asia Conference on Advances in Image Processing |
| 2451 | 2026-03-02 | Update Conference | WSAI 2026: World Symposium on Artificial Intelligence |
| 2452 | 2026-03-02 | Update Conference | HP3C 2026: International Conference on High Performance Compilation, Computing and Communications |
| 2453 | 2026-03-02 | Update Conference | ECCS 2026: European Conference on Communication Systems |
| 2454 | 2026-03-02 | Update Conference | COSIT 2026: International Conference on Spatial Information Theory |
| 2455 | 2026-03-02 | New Researcher | Li dawang (zhenzhou university) |
| 2456 | 2026-03-02 | Update Conference | SIN 2026: International Conference on Security of Information and Networks |
| 2457 | 2026-03-02 | Update Conference | RAID 2026: International Symposium on Research in Attacks, Intrusions and Defenses |
| 2458 | 2026-03-02 | Update Conference | ICONIP 2026: International Conference on Neural Information Processing |
| 2459 | 2026-03-02 | Update Journal | ACM Journal of Data and Information Quality |
| 2460 | 2026-03-02 | Update Journal | International Journal of Wireless Information Networks |