| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://lqchen.github.io/talks/
access-control-allow-origin: *
expires: Mon, 29 Dec 2025 17:13:05 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 3F40:2D8B9D:91A12C:A35DBD:6952B449
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 17:03:05 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210038-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767027786.761260,VS0,VE200
vary: Accept-Encoding
x-fastly-request-id: 7bacc67275ca89fd509a2c2e27395f648e1c8c69
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 28 Mar 2025 01:53:09 GMT
access-control-allow-origin: *
etag: W/"67e60105-235f"
expires: Mon, 29 Dec 2025 17:13:06 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 25FB:1F53DD:91AC69:A36977:6952B449
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 17:03:06 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210038-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767027786.990763,VS0,VE209
vary: Accept-Encoding
x-fastly-request-id: f33f048b6761e3b4d28a74bbe65e8b6f26070633
content-length: 3026
Talks and presentations - Liqian Chen’s Homepage 
Liqian Chen
Professor of Computer Science, NUDT
- Changsha,China
- NUDT
- 网站
- 电子邮件
- Google Scholar
- ORCID
- ResearchGate
- DBLP
- Github
Talks and presentations
- [Forum for Neuro-Symbolic Software, Chinasoft 2024] Verification of Neural Network Controlled Systems. Xi'an, China, Nov 2024.
- [Huawei Workshop on Formal Methods 2024] Detecting Floating-Point Errors via Chain Conditions. Guiyang, China, Aug 2024. [Video]
- [Applied Mathematics Seminar at School of Mathematical Sciences, Peking University] Neural Network Verification based on Abstract Interpretation. Beijing, China, Dec 2023.
- [Technical Salon of SIG-Program Analysis 2022] Numerical Program Anaysis. Virtual Event, China, Jan 2022. [Video]
- [FASE 2022] Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. Virtual Event, Munich, Germany, Apr 2022. [Slides]
- [TASE 2021] An Abstract Domain to Infer Linear Absolute Value Equalities. Shanghai, China, Aug, 2021. [Slides]
- [SAS 2019] Verifying Numerical Programs via Iterative Abstract Testing. Porto, Portugal, Oct 2019. [Slides]