Title: 第20届CCF全国嵌入式系统大会(CCF ESTC 2022)活动流程<br> Time： 08:30-19:00, October9 Sunday,2022<br> Location: <br> Lecturer：魏同权、邹桉、张凯龙、邓庆绪、董云卫、陈仪香、周俊龙

Title: Opportunities of ECE Master's Education at DKU/Duke<br> Time： 13:30-15:00, October15 Tuesday,2020<br> Location: Room 201, Mathematical Building <br> Lecturer：Xin LI

Title: Proofs and surfaces<br> Time： 10:00-11:30, December06 Friday,2019<br> Location: Room 201, Mathematical Building <br> Lecturer：Pierre-Louis Curien.

Title: 50 years history of the cross correlation between m-sequences<br> Time： 14:30-15:30, November26 Thursday,2019<br>Location: Room 1002, Science Building B <br> Lecturer：Professor Tor Helleseth University of Bergen

​Title: Two recent results on additive quaternary codes<br> Time： 15:30-16:30, November26 Thursday,2019 <br>Location: Room 1102, Science Building B <br> Lecturer：Professor Patrick Solé University of Paris 8

​Title: Three formal proofs of Tarjan’s Strongly Connected Components algorithm in directed graphs <br>Time： 09:30-10:30, November14 Thursday,2019 <br>Location: Room 1002, Science Building B <br>Lecturer：Prof. Jean-Jacques Levy (Inria Paris & Irif)

​Title: The Continuing Evolution of C++ <br>Time： 14:00-15:30, November14 Thursday,2019 <br>Location: Science Hall <br>Lecturer：Bjarne Stroustrup

​Title: Queryable Self-Deliberating Dynamic Systems <br>Time： 10:40-11:40, October30 Wednesay,2019 <br>Location: Science Hall <br>Lecturer：Giuseppe de Giacomo

Title: Program Verification: a 50-Year History <br>Time： 09:30-10:30, October30 Wednesay,2019 <br>Location: Science Hall <br>Lecturer：Moshe Y. Vardi

​Title: Robotic Imaging, Machine Learning and Augmented Reality for Multimodal Intra-operative Imaging and visualization <br>Time： 14:00-15:00, October25 Friday,2019 <br>Location: Room 201, Mathematical Building <br>Lecturer：Prof. Nassir Navab