为加强国内外数理逻辑专家学者之间的学术交流,第23届德尔塔逻辑学工作坊将于2025年3月14日至16日在浙江科技大学理学院召开。欢迎大家参会!
时 间:2025年3月14日至16日
地 点:杭州华辰圣希罗酒店
承 办:浙江科技大学理学院
支 持:中国数学会数理逻辑专业委员会
联 系:章腾(zhangteng@zust.edu.cn)
3月14日:报到 |
3月15日:开会 |
Morning Session (09:00-12:00) |
时间 |
报告人 |
题目 |
主持人 |
09:00-09:50 |
张镇涛 (复旦大学) |
The dfg components for definable groups over p-adics |
宋诗畅 (北京交通大学) |
09:50-10:40 |
段奎元 (中国科学院) |
Homomorphic decryption on exponents of cyclotomic rings |
11:10-12:00 |
胡一帆 (武汉大学) |
The finitary partitions with n non-singleton blocks of a set |
Afternoon Session (14:30-17:20) |
14:30-15:20 |
张笑言 (中国科学院) |
Computable oneway functions on the reals |
申国桢 (武汉大学) |
15:20-16:10 |
李锋 (南开大学) |
Extremely amenable automorphism groups of countable structures |
16:30-17:20 |
杨远哲 (北京大学) |
Varying-domain first-order modal logic with fallible assignment operators |
3月16日:讨论 |
报告摘要英文版见附件