Scuola Estiva Perugia 2015 – Incontro Borsisti INdAM

 

Le attività della Scuola estiva prevedono:

  • Cicli di Conferenze e seminari tenuti da docenti universitari e ricercatori di enti di ricerca;
  • Colloqui informali fra corsisti e docenti;

 

 

Borsisti INdAM I anno:  23 - 26 agosto 2015

 

Corso Docente  
Funzioni di Hilbert Prof. Giuliana Fatabbi
Università di Perugia

Azioni di Gruppi Prof.ssa Paola Frediani
Università
 
Introduzione al Sistema di Dimostrazione assistita Coq Prof. Marco Maggesi
Università di Firenze

L’Insieme di Bersicovitch Prof.ssa Valentina Casarino
Università di Padova
 

 

Borsisti INdAM II anno:  23 - 28 agosto 2015

 

Corso Docente  
Le serie di Fourier
Prof.ssa Valentina Casarino
Università di Padova
 
Introduzione alla Teoria delle Curve Ellittiche Prof.ssa Paola Frediani
Università
 
Quaternioni e la loro formalizzazione nella Logica di Ordine Superiore Prof. Marco Maggesi
Università di Firenze
 
Una Introduzione alla Teoria della Dimensione Prof. Giuliana Fatabbi
Università di Perugia
 

Dotazione WIFI realizzata con il sostegno della Fondazione Cassa di Risparmio di Perugia