Giovedì 19 e venerdi 20 gennaio 2006, presso l’aula magna del Dipartimento di Matematica e Informatica dell’Università degli Studi di Catania, in occasione del 1° anniversario della scomparsa del prof. Giovanni Dantoni, si terrà un Convegno dal titolo “Problemi e ricerche negli ultimi 50 anni in Geometria Algebrica, Algebra, Logica Matematica e Didattica della Matematica”.

Il Convegno realizzato con il contributo dell’Università di Catania, della Facoltà di Scienze MFN dell’Università di Catania, della Facoltà di Ingegneria dell’Università di Catania e dell’Assemblea Regione Sicilia GNSAGA-INdAM, si svolgerà secondo il seguente programma:

Programma  

Giovedì 19 Gennaio 2006  

9:00 - 10:00 
Saluti delle autorità accademiche e politiche  

10:00 - 10:30 Coffee break  

10:30 - 13:00 

La figura di Giovanni Dantoni  

I Parte—Vita ed attività accademiche, C. Mammana,G. Cozzo, E. Rimini (Università di Catania)

 II Parte - Attività scientifica:

 a) Lavori giovanili; lavori di Geometria Proiettivae Cremoniana; lavori di Didattica, C. Mammana (Università di Catania)  

b) Lavori di Algebra, A. Ragusa (Università di Catania)  

c) Lavori di Geometria Algebrica, R. Strano(Università di Catania)

 d) Lavori di Algebre universali e logica, A. Ferro(Università di Catania)

 13:00-15:00 Lunch  

15:00 16:00 L'algebra nel XX secolo, C. De Concini(Università "La Sapienza" di Roma)  

16:00-17:00 La ricerca in didattica della matematica:sviluppi e problematiche attuali, C. Bernardi  (Università "La Sapienza" di Roma) 

17:00-17:30 Coffee break  

17:30-18:00 Varietà duali e luoghi discriminanti, A.Lanteri (Università di Milano)  

18:00-18:30 Il proof-verifier EtnaNova, D. Cantone(Università di Catania)  

20:00 Cena sociale  

Venerdì 20 Gennaio 2006  

9:00-10:00 Recenti sviluppi nello studio della geometria delle varietà proiettive, C. Ciliberto  (Università di Roma II)

 10:00-11:00 Strutture algebriche e logiche nel problemaP-NP, D. Mundici (Università di Firenze)  

11:00-11:30 Coffee break  

11:30-12:00 Curve spaziali e loro proiezioni piane:nodi da sciogliere, S. Greco (Politecnico di Torino)

 12:00-12:30 Identità polinomiali e metodi asintotici,A. Giambruno (Università di Palermo)  

12:30-13:00 Ricerche fondazionali per la didatticadella geometria condotte recentemente a Catania, C. Mammana (Università di Catania)

 13:00-15:00 Lunch  

15:00-15:30 Divisibilità locale e globale nei gruppi algebrici, R. Dvornicich (Università di Pisa)

 15:30-16:00 Algoritmi di partizionamento stabile:simulazioni e bisimulazioni, A. Policriti (Università di Udine)

 16:00-16:30 Storia e didattica: cosa ci insegnano leQuestioni di Enriques, U. Bottazzini (Università di Milano)

 16:30-17:00 Sulla dimensione di certi schemi parametrizzanti ideali di codimensione bassa, G.Valla (Università di Genova)  

17:00-17:30 Coffee break  

17:30-18:00 Verifica formale delle proprietà di simulazionie bisimulazioni, E.G. Omodeo ( Università di Trieste)

 18:00-18:30 On the k-unirationality of the cubic complex,A. Conte (Università di Torino)

 Comitato organizzatore: Alfredo Ferro, Carmelo Mammana, Biagio Micale, Giuseppe Paxia, Salvatore Pluchino, AlfioRagusa, Rosario Strano. 

Per informazioni:micale@dmi.unict.it pluchino@dmi.unict.it