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

Title: Hardware Synthesis of Parallel Data-Flow Systems <br>Time： 10:00-11:00, October24 Thursay,2019 <br>Location: Room 201, Mathematical Building <br>Lecturer：Patrice Quinton（ENS Rennes）