Seminar更多
- 【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)
- 【12-29】SKLCS seminar on “AIA：AI辅助算法设计的若干尝试”
- 【12-27】SKLCS seminar on “知识图谱的关键技术”
- 【12-11】SKLCS seminar on “An FPRAS for two terminal reliability in directed acyclic graphs”
- 【10-31】2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
- 【10-31】1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
- 【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”
- 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”
- 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”
- 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”