中文
English
收藏本站
菜单
搜索
Home
About
Administration
Academic Committee
Publications
Books
Journal Paper
Conference Paper
Technical Reports
Exchange
Seminar
Conferences
People
Staff
Post Doctor
Join SKLCS
Vacancies
Postdoc Positions
Contact SKLCS
中文 (中国)
新闻动态
Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th
Welcome to Summer School on Formal Methods (2019.8.6~15)
News & Events
更多
Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th
Welcome to Summer School on Formal Methods (2019.8.6~15)
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”
实验室概况
更多
Introduction
Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th
Welcome to Summer School on Formal Methods (2019.8.6~15)
Academic Committee
Copyright © 2019-2024
计算机科学国家重点实验室
All Rights Reserved.
京ICP备05046678号-1