Statistical Software Assurance: Reasoning about Correctness under Uncertainty

2026.7.15 (Wed), 12:30 ~

공학 2동 102호

이성민 박사(UCLA)

Efficient Training and Inference of Large Language Models with Lossless Compression

2026.7.13 (Mon), 16:00 ~

RIST 4동 4301호

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

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)

AI for Scientific and Technical Imaging ér

2026.7.2 (Thu), 14:00 ~

LG연구동 101호(LG Cooperative Electronics Engineering Bldg #101)

Prof. Jean Ponce(École Normale Supérieure – PSL)

(수정 및 변경 안내) Vordr: Verifiable, Scalable and Anonymous Remote Attestation for Confidential VMs

2026.7.2.(Thu) 14:00

RIST 4동 4301호(RIST IV #4301)

Prof. Taeho Jung (University of Notre Dame)