近日,我院师生团队合作完成的论文被国际计算机安全领域顶级学术会议、CCF-A类会议 The ACM Conference on Computer and Communications Security(CCS 2026)录用。论文作者将于2026年11月赴荷兰海牙出席会议并作口头报告。论文题为“Verifying Consensus Protocols from LLM-assisted TLA+: A Case Study of Byzantine Reliable Broadcast”,第一作者为山东大学密码科学与工程学院博士生曹书赫,通讯作者为山东大学助理研究...
2026年8月9日至13日,第32届ACM SIGKDD知识发现与数据挖掘大会(KDD 2026)在韩国济州国际会议中心举行。陈勐副教授团队围绕城市空间智能取得系列研究进展,4篇论文正式发表于大会Research Track论文集。其中,Beyond Routines: Adaptive Mobility Prediction via Sequential-Relational Fusion和UrbanExpert: Task-Conditioned Multi-Modal Fusion via Semantic Expert Routing for Urban Socioeconomic Prediction分别在“Urb...