Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Latest News
Paper Accepted by IEEE Trans. Comput.
Our paper has been accepted by IEEE Transactions on Computers.
Jul 1, 2025
CCF-Huawei Project Proposal Granted
Our project proposal has been granted for funding by the CCF-Huawei Populus Grove Fund.
Jun 6, 2025
Paper Accepted by ACL 2025
Our paper has been accepted by ACL 2025 Findings.
May 16, 2025
Paper Accepted by IJCAI 2025
Our paper has been accepted for presentation at IJCAI 2025.
Apr 29, 2025
Paper Accepted by J. Comput. Sci. Technol.
Our paper has been accepted by Journal of Computer Science and Technology.
Apr 23, 2025
Paper Accepted by CAV 2025
Our paper has been accepted for presentation at CAV 2025.
Apr 2, 2025
Paper Accepted by Journal of Software
Our paper has been accepted by Journal of Software.
Nov 26, 2024
Parf Wins the 2nd Prize at ChinaSoft 2024
Our tool Parf has been awarded the 2nd prize in the Software Prototype System Competition at ChinaSoft 2024.
Nov 17, 2024
Book Chapter in JPK's Festschrift
Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.
Nov 13, 2024
Paper Accepted by ASE 2024
Our paper has been accepted for presentation at ASE 2024.
Aug 25, 2024
«
»
Cite
×
