Milly Maietti


    Official name: Maria Emilia Maietti

    Current position: Professor
    Current address:
    Dipartimento di Matematica "Tullio Levi-Civita"
    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")
Short CV      Publications      Logic Group in Padova
Main research interests: Constructive Mathematics, Type theory, Categorical Logic
Editorial duties:
Member of the Editorial Board of Mathematical Logic Quarterly
Member of the Editorial Board of The Journal of Logic and Analysis
European projects:
Padova coordinator of European RISE project CID (2017-2023)
Padova coordinator of European IRSES project CORCON (2014-2017)
Orario Ricevimento Studenti
-
EVENTS:
2024 Mini-workshop "Structure in Foundations of Mathematics
2024 Trimester: Prospects of formal mathematics, at Hausdorff Institute, Bonn
2024 Dagstuhl seminar: From Proofs to Computation in Geometric Logic and Generalization
2023 Oberwolfach Workshop: Mathematical Logic: Proof Theory, Constructive Mathematics
2023 CCC2023, Kyoto, Japan
2023 Constructive Mathematics: Foundations and Practice, Nis, Serbia
2023 Workshop On doctrines and fibrations, Padova
2023 MFPS 2023, Indiana University Bloomington, USA
2023 2nd International Conference on Homotopy Type Theory 2023
2023 Homotopy Type Theory Electronic Seminar Talks
2022 CCC2022, Padova
2022 CIE 2022, Swansea
2021 CCC2021, Birmingham
2021 The Topos Institute Colloquium
2021 Workshop on Predicativity
2020 Memorial Conference for Erik Palmgren
2020 Oberwolfach Workshop: Mathematical Logic: Proof Theory, Constructive Mathematics
2019 Mathematical Logic and Constructivity
2018 Toposes in Como
2018 Das Kontinuum - 100 years later
2018 Hausdorff Trimester Program "Types, Sets and Constructions"
2017 XXVI incontro dell'Associazione Italiana di Logica e sue Applicazioni
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)