Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
TIS News
These are all news from the TIS group.
Paper accepted at SETTA’24
(01 Oct 2024)
Paper accepted at NeurIPS’24
(27 Sep 2024)
Paper accepted at PRCV’24
(28 Jun 2024)
Papers accepted at FM’24
(11 Jun 2024)
Song Gao passed his PhD thesis defense
(20 May 2024)
Paper accepted at ICML’24
(02 May 2024)
Paper accepted at IJCAI’24
(17 Apr 2024)
Paper accepted at TASE’24
(11 Apr 2024)
Paper accepted at CAV’24
(27 Mar 2024)
Paper accepted at DAC’24
(29 Feb 2024)
Paper accepted at POPL’24
(07 Nov 2023)
Paper accepted at ICCV'23
(19 Jul 2023)
Three papers accepted at ATVA'23
(03 Jul 2023)
Paper accepted at CONCUR'23
(28 Jun 2023)
Ostrich wins at SMT-COMP’23
(20 Jun 2023)
Paper accepted in I&C
(30 Mar 2023)
Paper accepted in JSS
(01 Mar 2023)
Paper accepted at TACAS'23
(23 Dec 2022)
Paper accepted in IPL
(14 Nov 2022)
Paper accepted at VSTTE’22
(06 Sep 2022)
Paper accepted at SEFM'22
(27 Jul 2022)
Paper accepted in TCS
(08 Jul 2022)
Depeng Liu passed his PhD thesis defense
(26 May 2022)
Chen Fu passed his PhD thesis defense
(26 May 2022)
Paper accepted at ISSAC'22
(10 May 2022)
Paper accepted at CAV'22
(01 May 2022)
Paper accepted in JCST
(27 Mar 2022)
Paper accepted at ICSE'22
(04 Dec 2021)
Two papers accepted at VMCAI'22
(13 Oct 2021)
Jianlin Li passed his master thesis defense
(31 May 2021)
Pengfei Yang passed his PhD thesis defense
(26 May 2021)
We organize MEMOCODE 2021
(13 May 2021)
Junnan Xu passed his master thesis defense
(27 Aug 2020)
Xuechao Sun passed his master thesis defense
(23 Aug 2020)
We co-organize LICS
(21 Jun 2020)
JCST Special Section on Software Systems 2020
(29 Mar 2020)
SKLCS seminar on "Program Verification: a 50-Year History"
(27 Jan 2020)
SKLCS seminar on "Conventional Suggestions to the Automata-Theoretic Community"
(27 Jan 2020)
SKLCS seminar on "Automata for Profit and Pleasure"
(27 Jan 2020)
Yong Li passed his PhD thesis defense
(01 Nov 2019)
Prof. Zhang was invited to give a lecture at SETSS 2018
(25 Apr 2018)
SETTA'17 best paper award
(25 Oct 2017)
R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF
(19 Oct 2017)
ePMC is publicly available
(16 Oct 2017)
A. Hartmanns visits us
(16 Sep 2016)
IscasMC summer school
(26 Jul 2016)
M. Stoelinga gives a course on Fault Trees
(09 Jul 2016)
Y.F. Chen visits us
(01 Jul 2016)
Call for Applications: 2016 Call for Applications for the CAS-TWAS President's Fellowship
(14 Jan 2016)
Fellowships extended
(30 Nov 2015)
Y. Feng visits us
(27 Nov 2015)
T. van Dijk and S. Junges visit us
(15 Nov 2015)
H. Hermanns visits our group
(19 Oct 2015)
Andrea gets the NSFC project approved
(19 Aug 2015)
CDZ project CAP gets approved
(29 Jun 2015)
D. Jansen enjoys the summer at ISCAS
(18 May 2015)
T. Neele joins us for an internship
(29 Apr 2015)
Andrea gets the CAS fellowship
(28 Nov 2014)
How to cite the IscasMC tool
(01 Apr 2014)
IscasMC goes live
(05 Mar 2014)
Workshop on Probabilistic and Hybrid System Verification
(02 Sep 2013)