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