Milly Maietti



    Official name: Maria Emilia Maietti
    Current position: Academic researcher
    Current address:
    Dipartimento di Matematica Pura ed Applicata
    Università di Padova
    via Trieste n.63 35121 Padova -Italy
    tel. + 39 049 8271478
    fax +39 049 8271499


    e-mail address : lastname @ math.unipd.it
    (substitute "lastname" with "maietti")



Main research interests: Constructive Mathematics, Type theory, Categorical Logic


Padova coordinator of European IRSES project CORCON



AVVISI per STUDENTI di LOGICA 2

scrivetemi per ricevere materiale del corso


AVVISI per STUDENTI di LOGICA


visione dei compiti del IV appello giovedi' 16 luglio ore 17.30 in 1BC45
(chi NON puo' venire puo' delegare un compagno
alla visione del suo compito)


Orario Ricevimento Studenti


Materiale del corso di Logica 2014



EVENTS:

2013 Foundation of Mathematics for Computer-Aided Formalization

2012 Fourth Workshop on Formal Topology

2008 Advances in Constructive Topology and Logical Foundations
in honor of the 60th birthday of Giovanni Sambin (+ APAL special issue)