Latest Messages

Showing 2,911-2,940 of 3,498 items.
#DateTypeContent
29112026-03-03Add Special IssueLearning and Intelligent Optimization: Selected and extended Papers from the LION19 conference (Annals of Mathematics and Artificial Intelligence)
29122026-03-03Add Special IssueADG 2025 (Annals of Mathematics and Artificial Intelligence)
29132026-03-03Update JournalAnnals of Mathematics and Artificial Intelligence
29142026-03-03New Researcher浩 姚 (成都信息工程大学)
29152026-03-03New ResearcherZhang Yunshi (北京邮电大学)
29162026-03-02Update JournalInternational Journal of Computer Science, Engineering and Information Technology
29172026-03-02Update JournalAdvanced Computing: An International Journal
29182026-03-02Update JournalInternational Journal of Information Sciences and Techniques
29192026-03-02Update JournalInternational Journal of Network Security & Its Applications
29202026-03-02Update JournalInternational Journal on Soft Computing
29212026-03-02Update JournalInternational Journal of Data Mining & Knowledge Management Process
29222026-03-02Update JournalInternational Journal of Security, Privacy and Trust Management
29232026-03-02Update JournalInternational journal of Software Engineering & Applications
29242026-03-02New ResearcherYan Li (National University of Defense Technology)
29252026-03-02New ResearcherXuehong Du (Sun Yat-sen University)
29262026-03-02New ResearcherXinyu Sun (Electronic Science and Technology of Xi’an)
29272026-03-02Update JournalInternational Journal of Computer Networks & Communications
29282026-03-02Add ConferenceRoboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
29292026-03-02Update ConferenceITP 2026: International Conference on Interactive Theorem Proving
29302026-03-02Update ConferenceCAV 2026: International Conference on Computer Aided Verification
29312026-03-02Update ConferenceICLP 2026: International Conference on Logic Programming
29322026-03-02Update ConferenceFSCD 2026: International Conference on Formal Structures for Computation and Deduction
29332026-03-02Update ConferenceIJCAR 2026: International Joint Conference on Automated Reasoning
29342026-03-02Update ConferenceISAAC 2025: International Symposium on Algorithms and Computation
29352026-03-02Update ConferenceISSAC 2026: International Symposium on Symbolic and Algebraic Computation
29362026-03-02Update ConferenceEC 2026: ACM Conference on Economics and Computation
29372026-03-02Update ConferenceASP-DAC 2027: Asia and South Pacific Design Automation Conference
29382026-03-02New Researcherpeng li li peng (贵州中医药大学)
29392026-03-02Add Special IssueCombining Probability and Logic (Journal of Logic and Computation)
29402026-03-02Add Special IssueProof-Theoretic Semantics and Computation (Journal of Logic and Computation)