ciao a tutti,

vi segnalo i Seminari del Dottorato del Dipartimento di Matematica "Dini" di Firenze, che si tengono ogni lunedì alle ore 14:30, http://math.unifi.it/node/601

Se siete interessati a ricevere gli avvisi dei seminari, potete contattare la coordinatrice dei seminari, elena.angelini@math.unifi.it

ciao

---------- Forwarded message ---------- From: m04eleang@math.unifi.it

*SEMINARI DEL DOTTORATO*

Continuano i seminari del dottorato che, come sempre, si tengono *ogni lunedì alle ore 14:30 nell'aula Tricerri* del Dipartimento di Matematica U. Dini, in viale Morgagni 67/a, Firenze.

I membri del futuro Dipartimento di Matematica e Informatica U. Dini e gli altri interessati sono invitati a non perdere questa occasione di incontro con i dottorandi, visti gli interessanti argomenti matematici e di ricerca trattati.

Parte del materiale dei seminari passati è stato raccolto nel sito del dottorato all'indirizzo http://math.unifi.it/node/601 (chiunque voglia aggiungere un contributo relativo al proprio seminario può contattare il dott. Nicola Zamponi all'indirizzo nzamponi@unifi.it).

Prossimo appuntamento: lunedi' 26 novembre 2012 ore 14:30

Prof. Marco Maggesi Universita' di Firenze

TITLE: "Recenti sviluppi della Meccanizzazione della Matematica"

ABSTRACT: La formalizzazione della matematica al computer è una disciplina in rapida evoluzione. Dopo un'introduzione generale all'argomento verranno discussi alcuni risultati significativi recentemente ottenuti.

Programma seminari dell'anno:

01/10 - Prof. Rida T. Farouki, University of California, Davis, Minkowski geometric algebra of complex sets: theory, algorithms, and applications. 10/10 - Prof. Gabriele Vezzosi, Universita' di Firenze, Geometria algebrica derivata: introduzione e sviluppi recenti 15/10 - Pausa per esami di ammissione 29/10 - Dott. Maurizio Banchi, Università di Firenze, Apolarità e rango di forme cubiche 5/11 - Dott. Dominic Breit, LMU München, Mathematical problems in fluid mechanics 12/11 - Dott. Gianluca Frasca Caccia, Universita' di Firenze, Metodi ai volumi finiti e trattamento del problema "Wet-Dry" nelle equazioni delle "Shallow Water" 19/11 - Dott. Marco Pellegrini, Universita' di Firenze, Sulla distribuzione dei pesi dei codici hermitiani 26/11 - Prof. Marco Maggesi, Universita' di Firenze, Recenti sviluppi della Meccanizzazione della Matematica 03/12 Prof. Paolo de Bartolomeis, Universita' di Firenze, Il teorema di Frobenius e le deformazioni di distribuzioni integrabili di codimensione 1 10/12 - Dott. Daniele Angella, Universita' di Pisa, Non Kaehler geometry: towards the dark side of complex geometry 17/12 - Dott. Giovanni Mongardi, Universita' di Roma 3, tba 07/01/2013 - pausa per vacanze natalizie 14/01 - Dott. Mohamed Rabii Kadib, Universita' di Firenze, tba 21/01 - Prof. Luigi Barletti, Universita' di Firenze, Fluidodinamica quantistica 28/01 - Dott.ssa Irene Vignozzi, Universita' di Firenze, tba 29/04 - Prof. Philippe Toint, University of Namur, Belgium, tba

Cordiali saluti Elena Angelini, coordinatrice dei seminari del dottorato