What Level 4 Taught Us: Verification of Autonomous Fleets after 2027박지호(Jiho Park)|현대자동차 (fictional talk)2034/12/11 (월) 오전 01:00|301동 551-4호 (온라인 병행)
Provable Trustworthy Machine Learning Ten Years OnHanshen Xiao|Purdue University2034/12/03 (일) 오후 11:00|302동 208호
RISC-V at 25% Market Share: Verification Debt and How to Pay ItKrishna Iyer|RISC-V International (fictional affiliation)2034/11/27 (월) 오전 01:00|301동 118호
Carbon-Aware Training: Moving 1e29 FLOP Runs to Where the Sun Is오나래(Narae Oh)|서울대학교 컴퓨터공학부2034/11/19 (일) 오후 11:00|301동 551-4호 (온라인 병행)
Neural Data Is Not Just Data: Privacy for Brain-Computer InterfacesMira Haddad|ETH Zürich2034/11/13 (월) 오전 01:00|302동 208호
Ten Years after FIPS 203: Lessons from the 2035 Deadline황이안(Ian Hwang)|서울대학교 컴퓨터공학부2034/11/05 (일) 오후 11:00|301동 118호
Compute in Orbit: Thermal and Link Constraints of Satellite TPU ClustersSamuel Okafor|Project Suncatcher (fictional affiliation)2034/10/30 (월) 오전 01:00|301동 551-4호 (온라인 병행)
Humanoid Foundation Models: From 10,000 Deployed Robots to Household Generalists이도경(Dokyung Lee)|K-휴머노이드 연합2034/10/22 (일) 오후 11:00|302동 208호
Beyond A14: What Packaging Gives Us When Lithography Stops陳 家豪 (Chia-Hao Chen)|National Taiwan University2034/10/16 (월) 오전 01:00|301동 118호
Direct-to-Cell at Scale: Handover between Terrestrial 6G and LEO ConstellationsPriya Raman|Ericsson Research (fictional affiliation)2034/10/08 (일) 오후 11:00|301동 551-4호 (온라인 병행)
