TIS Posts
These are all posts from the TIS group.
- Paper accepted at ECAI'25 (14 Jul 2025)
- Paper accepted at SETTA'25 (18 Jun 2025)
- Renjue Li passed his Ph.D. thesis defense (08 May 2025)
- Yangyang Zhang passed her master thesis defense (08 May 2025)
- Deqian Yang passed his master thesis defense (08 May 2025)
- Zhonghan Wang passed his master thesis defense (08 May 2025)
- Paper accepted at IJCAI'25 (30 Apr 2025)
- Paper accepted at ICALP'25 (15 Apr 2025)
- Paper accepted at CAV'25 (02 Apr 2025)
- We organize SETSS 2025 (01 Apr 2025)
- Paper accepted at ICRA'25 (25 Jan 2025)
- Paper accepted in Research Directions (14 Nov 2024)
- 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)
- Yuan Feng visits us and enjoys our badminton activity (25 Mar 2018)
- Badminton on 2018/02/04 (04 Feb 2018)
- Badminton on 2018/01/28 (28 Jan 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)