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



AVVISI per STUDENTI di LOGICA


Risultati I compitino (2 p.)

consegna elaborati I compitino lunedi' 17 giugno ore 13.30-15.00 LUM 250


I APPELLO + II compitino LOGICA venerdi' 21 giugno convocazione ore 16 - inizio ore 16.30 aula LUM 250
Iscrizione obbligatoria su uniweb


Orario Ricevimento Studenti


Materiale del corso di Logica 2013



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)