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

NO lezione venerdi' 10 ottobre

AVVISI per STUDENTI di LOGICA

V appello giovedi' 18 dicembre ore 16.30 (ultimo orario per entrare) - P200

Esiti positivi IV appello

Esiti positivi III appello

Esiti positivi II appello

Esiti positivi I appello

Esiti positivi con compitini

Ammessi al II compitino



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)