University NOVA of Lisbon

4 Sep, 2022 - 9 Sep, 2022
Large-scale computer assistance of mathematics and science is our inevitable future. The AITP conference will be co-located with a meeting of WG5 of Cost Action European Research Network on Formal Proofs.
Upcoming
TBC
gen-logo
Sign in to your account