Avviso seminari 16/01, 17/01, 29/01, 30/01

Pubblicato il da Manager Didattico. Scadenza .

Il giorno 16/01/2019 alle ore 16:00 nell’Aula D2 di Palazzo Albani si terrà la prima delle quattro parti del seminario intitolato Geometric Automated Theorem Proving.

Il seminario si articolerà come segue:
Talk 1: Geometric Automated Theorem Proving: Introduction and Synthetic Methods (16/01);
Talk 2: Geometric Automated Theorem Proving: Algebraic Methods & Semi-synthetic Methods (17/01);
Talk 3: Formalization and Mechanical Geometric Formula Derivation (29/01);
Talk 4: Geometric Knowledge Management and Computational Tools (30/01).