ETAPS 2026 is kicking off in Torino, with the highest number of submissions in total and for each member conference in 5 years. We are starting with Christel Baier's keynote on verification problems for dynamic Bayesian networks.
ETAPS 2026 is kicking off in Torino, with the highest number of submissions in total and for each member conference in 5 years. We are starting with Christel Baier's keynote on verification problems for dynamic Bayesian networks.