Latest Messages
Showing 1,711-1,740 of 2,289 items.
#DateTypeContent
17112026-03-02Update JournalInternational Journal on Soft Computing
17122026-03-02Update JournalInternational Journal of Data Mining & Knowledge Management Process
17132026-03-02Update JournalInternational Journal of Security, Privacy and Trust Management
17142026-03-02Update JournalInternational journal of Software Engineering & Applications
17152026-03-02New ResearcherYan Li (National University of Defense Technology)
17162026-03-02New ResearcherXuehong Du (Sun Yat-sen University)
17172026-03-02New ResearcherXinyu Sun (Electronic Science and Technology of Xi’an)
17182026-03-02Update JournalInternational Journal of Computer Networks & Communications
17192026-03-02Add ConferenceRoboi 2026: International Symposium on Embodied intelligence and Humanoid Robots
17202026-03-02Update ConferenceITP 2026: International Conference on Interactive Theorem Proving
17212026-03-02Update ConferenceCAV 2026: International Conference on Computer Aided Verification
17222026-03-02Update ConferenceICLP 2026: International Conference on Logic Programming
17232026-03-02Update ConferenceFSCD 2026: International Conference on Formal Structures for Computation and Deduction
17242026-03-02Update ConferenceIJCAR 2026: International Joint Conference on Automated Reasoning
17252026-03-02Update ConferenceISAAC 2025: International Symposium on Algorithms and Computation
17262026-03-02Update ConferenceISSAC 2026: International Symposium on Symbolic and Algebraic Computation
17272026-03-02Update ConferenceEC 2026: ACM Conference on Economics and Computation
17282026-03-02Update ConferenceASP-DAC 2027: Asia and South Pacific Design Automation Conference
17292026-03-02New Researcherpeng li li peng (贵州中医药大学)
17302026-03-02Add Special IssueCombining Probability and Logic (Journal of Logic and Computation)
17312026-03-02Add Special IssueProof-Theoretic Semantics and Computation (Journal of Logic and Computation)
17322026-03-02Update JournalJournal of Logic and Computation
17332026-03-02Update JournalACM Transactions on Economics and Computation
17342026-03-02Update JournalJournal of Robotics
17352026-03-02Update ConferenceDESRIST 2026: International Conference on Design Science Research in Information Systems and Technology
17362026-03-02Update ConferenceSPIRE 2025: International Symposium on String Processing and Information Retrieval
17372026-03-02New ResearcherShiqi Liu (shanghai university)
17382026-03-02Update ConferenceKES 2026: International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
17392026-03-02Update ConferenceAAIP 2026: Asia Conference on Advances in Image Processing
17402026-03-02Update ConferenceWSAI 2026: World Symposium on Artificial Intelligence