Seminar 更多
- [12-09] A Dynamical Aspect of D-finite Power Series
- [12-02] Verified Separate Compilation of C Programs into Binary Object Files
- [10-14] SKLCS seminar on “地理信息系统”
- [12-30] Uncertainty-wise Software Engineering
- [12-20]SKLCS seminar on 2 talks-“Proving that Programs are Differentially Private” “Quantitative information flow: when is one leak worse than another?”
- [12-18]Quantum Computing Engineering: Challenges and Opportunities