In the spotlight

新闻

Agenda

巴黎六大计算机科学实验室日志

2026-3-17
11:00 上午 : Compiling Higher-Order Bayesian Networks
Gabriele Vanoni (IRIF, Université Paris Cité)
# Seminar - APR
2026-3-19
2026-3-24
11:00 上午 : Towards Reliable and Efficient Numerical Code through Sound Optimizations
Anastasia Isychev (TU Wien)
# Seminar - APR
2026-4-3
2:00 下午 : [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
Emmanuel Zarpas (MoVe, LIP6)
# Seminar - MoVe
查看所有信息... Subscribe