Computer-assisted proofs, proof assistants and visualization in dynamical systems
18 June 2024 - 21 June 2024Registration
IMPORTANT NOTICE: registration deadline has passed! Those who wish to attend, may apply by e-mail to crm@crm.sns.it. Admission can be allowed, while assistance for organizing aspects cannot be ensured at this time.