[장소 변경] Statistical Software Assurance: Reasoning about Correctness under Uncertainty

2026.7.15 (Wed), 12:30 ~

공학 2동 106호

이성민 박사(UCLA)

Video-based gait analysis in neurodegenerative diseases

2026.7.16 (Thu), 14:00 ~

인공지능연구원 122호(PIAI #122)

Prof. Hyewon Seo (ICube, University of Strasbourg)

(장소 변경 공지) Efficient Training and Inference of Large Language Models with Lossless Compression

2026.7.13 (Mon), 16:00 ~

박태준학술정보관 501호

김남승 교수(University of Illinois at Urbana-Champaign)

Statistical Software Assurance: Reasoning about Correctness under Uncertainty

2026.7.15 (Wed), 12:30 ~

공학 2동 102호

이성민 박사(UCLA)

Open-World Time-Series Intelligence: Hybrids, Foundations, and the Multimodal Frontie

2026.7.10 (Fri), 11:00 ~

Rist 4동 4301호(RIST IV #4301)

Prof. B. Aditya Prakash (Georgia Institute of Technology)