This event has passed.

IDS Seminar: Neuro-Symbolic Static Analysis for Reliable Software Systems

Name: IDS Seminar: Neuro-Symbolic Static Analysis for Reliable Software Systems
Start: 2024-12-16T14:00:00+08:00
End: 2024-12-16T15:00:00+08:00
Location: IDS Seminar Room, P603, Graduate House

December 16, 2024 @ 2:00 pm - 3:00 pm HKT

Speaker

Dr. Chengpeng Wang

Post-Doctoral Research Associate, Purdue University

Details

Date:: December 16, 2024
Time:: 2:00 pm - 3:00 pm HKT
Event Category:: IDS Guest Seminar Series
Website:: https://datascience.hku.hk/2024/12/ids-distinguished-speaker-series-8-neuro-symbolic-static-analysis-for-reliable-software-systems/

Organizer

: HKU IDS
Phone:: +852 3910 2323
Email:: datascience@hku.hk; View Organizer Website

Venue

IDS Seminar Room, P603, Graduate House