| 571 | 2026-03-02 | 会議を追加 | Roboi 2026: International Symposium on Embodied intelligence and Humanoid Robots |
| 572 | 2026-03-02 | 会議を更新する | ITP 2026: International Conference on Interactive Theorem Proving |
| 573 | 2026-03-02 | 会議を更新する | CAV 2026: International Conference on Computer Aided Verification |
| 574 | 2026-03-02 | 会議を更新する | ICLP 2026: International Conference on Logic Programming |
| 575 | 2026-03-02 | 会議を更新する | FSCD 2026: International Conference on Formal Structures for Computation and Deduction |
| 576 | 2026-03-02 | 会議を更新する | IJCAR 2026: International Joint Conference on Automated Reasoning |
| 577 | 2026-03-02 | 会議を更新する | ISAAC 2025: International Symposium on Algorithms and Computation |
| 578 | 2026-03-02 | 会議を更新する | ISSAC 2026: International Symposium on Symbolic and Algebraic Computation |
| 579 | 2026-03-02 | 会議を更新する | EC 2026: ACM Conference on Economics and Computation |
| 580 | 2026-03-02 | 会議を更新する | ASP-DAC 2027: Asia and South Pacific Design Automation Conference |
| 581 | 2026-03-02 | 新研究員 | peng li li peng (贵州中医药大学) |
| 582 | 2026-03-02 | Special Issueを追加 | Combining Probability and Logic (Journal of Logic and Computation) |
| 583 | 2026-03-02 | Special Issueを追加 | Proof-Theoretic Semantics and Computation (Journal of Logic and Computation) |
| 584 | 2026-03-02 | ジャーナルを更新 | Journal of Logic and Computation |
| 585 | 2026-03-02 | ジャーナルを更新 | ACM Transactions on Economics and Computation |
| 586 | 2026-03-02 | ジャーナルを更新 | Journal of Robotics |
| 587 | 2026-03-02 | 会議を更新する | DESRIST 2026: International Conference on Design Science Research in Information Systems and Technology |
| 588 | 2026-03-02 | 会議を更新する | SPIRE 2025: International Symposium on String Processing and Information Retrieval |
| 589 | 2026-03-02 | 新研究員 | Shiqi Liu (shanghai university) |
| 590 | 2026-03-02 | 会議を更新する | KES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems |
| 591 | 2026-03-02 | 会議を更新する | AAIP 2026: Asia Conference on Advances in Image Processing |
| 592 | 2026-03-02 | 会議を更新する | WSAI 2026: World Symposium on Artificial Intelligence |
| 593 | 2026-03-02 | 会議を更新する | HP3C 2026: International Conference on High Performance Compilation, Computing and Communications |
| 594 | 2026-03-02 | 会議を更新する | ECCS 2026: European Conference on Communication Systems |
| 595 | 2026-03-02 | 会議を更新する | COSIT 2026: International Conference on Spatial Information Theory |
| 596 | 2026-03-02 | 新研究員 | Li dawang (zhenzhou university) |
| 597 | 2026-03-02 | 会議を更新する | SIN 2026: International Conference on Security of Information and Networks |
| 598 | 2026-03-02 | 会議を更新する | RAID 2026: International Symposium on Research in Attacks, Intrusions and Defenses |
| 599 | 2026-03-02 | 会議を更新する | ICONIP 2026: International Conference on Neural Information Processing |
| 600 | 2026-03-02 | ジャーナルを更新 | ACM Journal of Data and Information Quality |