Milly Maietti



    Official name: Maria Emilia Maietti
    Current position: Associate Professor
    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 elaborati IV appello:
mercoledi' 6 luglio 2016 ore 17.30 aula 2BC30
chi NON puo' venire alla visione puo' delegare un compagno
mandandomi una email-


V appello LOGICA
mercoledi' 7 settembre 2016 ore 16.30 convocazione ore ?? aula???
Iscrizione OBBLIGATORIA su UNIWEB



Orario Ricevimento Studenti


Materiale del corso di Logica 2015/16



EVENTS:

2015 Fifth workshop in Formal Topology 2015

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)