DiMaI - Dipartimento di Matematica e Informatica "Ulisse Dini"

Il Professor Dan Zaffran, KAIST (South Korea)

terra' un seminario dal titolo

"Euler's formula and (much) more"

il giorno Venerdi' 21 Gennaio 2011 , ore 10.00 precise, nell'aula seminari
del Dipartimento di Matematica Applicata G. Sansone.

Abstract: A cube has F=6 faces, E=12 edges and V=8 vertices. A pyramid with
a square base has F=5 faces, E=8 edges and V=5 vertices. Euler discovered in
1750 that for these two cases, or for any other polyhedron, F-E+V=2. He
published the result, but he confessed that he was not able to prove it!
This celebrated "Euler's formula" is the starting point of many results and
conjectures in higher dimensions. I will explain some of them, and focus on
the surprising methods that have been used to solve these problems:
topological manifolds and their algebraic topology, algebraic geometry...

Il dott. Claudio Sacerdoti Coen dell'Universita' di Bologna terra' un seminario dal titolo

Alcuni risultati di topologia formale in Matita

giovedi' 13 gennaio alle ore 14:30 nella Sala Conferenze "F.Tricerri".

Abstract:
Matita e' un dimostratore interattivo di teoremi sviluppato a Bologna dal gruppo di ricerca diretto dal Prof. Asperti. Esso e' basato sull'isomorfismo di Curry-Howard e implementa una variante del Calcolo delle Costruzioni (Co-)Induttive. In particolare, la prossima versione del sistema rendera' possibile la formalizzazione di risultati in Matematica Costruttiva e Predicativa (ove, cioe', la collezzione dei sottoinsiemi di un insieme dato forma una classe propria).

In questo talk mostreremo la formalizzazione in Matita di un importante risultato di topologia formale che proviene dall'ambito della Basic Picture, una nuova astrazione della topologia ad opera di Giovanni Sambin fortemente basata sulla Matematica Costruttiva e Predicativa. Il risultato asserisce l'esistenza di un funtore (full & faithful) fra due categorie di spazi topologici generalizzati. E' stato quindi necessario formalizzare in Matita alcune definizioni base di teoria delle categorie in logica costruttiva e predicativa.

Il dott. Simon Chiossi (Politecnico Torino) terra' un seminario dal titolo
"Varieta' Kaehleriane con foliazioni olomorfe"
il giorno Venerdi 10 Dicembre 2010 alle ore 11.30 nella Sala Conferenze "F.Tricerri".
================
Abstract: Si intende descrivere come ottienere la classificazione delle foliazioni complesse omotetiche di curve su varieta' Kaehleriane. Lo scopo e', tra l'altro, costruire metriche almost Kaehler e Ricci-piatte con curvatura speciale.

Il Prof. Sergey IVASHKOVYCH (Université Lille) terra' un seminario dal titolo

"Vanishing cycles in holomoprhic foliations by curves and foliated shells".

il giorno 10 Dicembre 2010 alle ore 11.00 nella Sala Conferenze "F.Tricerri".

======================

Abstract

The purpose of this talk is the study of vanishing cycles in holomorphic foliations by complex curves on compact complex
manifolds. The main result consists in showing that a vanishing cycle comes together with a much richer complex geometric object - we call this object a "foliated shell".