Notice：
-
12-10
2025
可计算性、结构与逻辑：Bakh Khoussainov教授特邀学术讲座
2025年12月9日，欧洲科学院院士、新西兰皇家学会会士、中国电子科技大学算法与逻辑实验室主任Bakh Khoussainov教授做客清华大学交叉信息院，带来题为“可计算性、结构与逻辑（Computability, structures, and logic）”特邀报告。交叉信息院院长姚期智教授主持讲座。师生齐聚FIT楼多功能厅，聆听讲座。精彩讲座姚先生首先介绍Bakh Khoussainov教授在数理逻辑与理论计算机科学领域的核心贡献。Khoussainov教授曾荣获欧洲理论计算...
-
11-18
2025
The 5th Turing Forum of 3 Institutes was held at Tsinghua University
On November 15th, the 5th "Turing Forum of 3 Institutes" was held at Tsinghua University. The event was co-organized by Tsinghua University, Peking University, and Shanghai Jiao Tong University, with Tsinghua University's Institute for Interdisciplinary Information and Sciences (IIIS) as the host. Nearly 200 scholars and students from top universities and research institutes participated in the...
-
07-21
2025
Bulk-acoustic resonators for quantum technologies with phonons
演讲人： Dr. Matteo Fadel [ETH Zürich, Switzerland]时间： 10:00-11:30, Jul 21, 2025 (Mon)地点：RM S327, MMW Building内容：Mechanical resonators are highly versatile tools for hybrid quantum technologies due to their many available bosonic modes with long coherence times. In order to unlock applications such as quantum simulation and sensing, however, it is necessary to develop tools for the pr...
-
07-07
2025
The Benchmark of Optical Precision: Frequency combs, ultrastable lasers, and clocks for science and industry
演讲人： Dr. Michael Mei [Menlo system]时间：11:15-12:00, Jul 7, 2025 (Mon)地点：RM S327, MMW Building内容：Became central to this progress, enabling coherent links between optical and microwave domains, high-precision spectroscopy, and state-of-the-art time and frequency dissemination. In this presentation, Menlo Systems will showcase the latest developments in frequency comb technology tailor...
-
05-07
2025
Microscopic dynamics of a cold-atom lattice gauge theory simulator
Speaker: 苑震生 中国科学技术大学 Time: 2025-05-07 16:00-2025-05-07 17:00 Venue: FIT 1-222 Abstract: Exploring the fundamental structure and basic laws of the universe constitutes an essential drive...
-
04-28
2025
Generative flow networks as entropy-regularized reinforcement learning
Speaker: Alexey Naumov HSE Time: 2025-04-28 10:30-2025-04-28 12:00 Venue: FIT 1-222 Abstract: The recently proposed generative flow networks (GFlowNets) are a method of training a policy to sample ...