2025年5月3日至8日
加拿大汉密尔顿

ETAPS 2025年
国际联合会议
论软件理论与实践

ETAPS 2025由麦克马斯特大学组织

关于ETAPS

欢迎参加学术和工业研究人员主题工作的主要欧洲论坛与软件科学有关。ETAPS成立于1998年，是一个四年一次的联盟ESOP、FASE、FoSSaCS和TACAS会议，以及卫星研讨会。

ETAPS国际软件理论与实践联合会议

负责这些网页：

扬·科弗洛
数学和物理学院
捷克共和国查尔斯大学
电子邮件：firstname.lastname[地址]d3s.mff.cuni.cz
电话：+420 951 554 285