Vai al contenuto
UniPD
Dipartimenti
Biblioteche
Contatti
Persone
Uniweb
Webmail
Moodle [en]
Area riservata
MENU
ENG
CHIUDI
Dipartimento
Presentazione
Organi collegiali
Organigramma
Contatti
Sedi e strutture
Aule e laboratori
Uffici
Persone
Qualità della ricerca
Amministrazione trasparente
Area riservata
Didattica
Corsi di Laurea
Dottorati di ricerca
MOOC
Formazione dei futuri insegnanti (60
CFU
)
Formazione insegnanti e Piano Lauree Scientifiche
Corsi di Inglese
Orario delle lezioni
Ricerca
Research Areas [en]
Dottorati di ricerca
Convegni e Scuole
Seminari e Colloquia
Bandi e concorsi
Qualità della ricerca
Codice di integrità della ricerca
Terza Missione
Presentazione
Documenti
Attività
News
Servizi
Supporto informatico
Biblioteca di Matematica
Sistema Bibliotecario di Ateneo
Link utili
Userlist
Home
News
Iniziative scientifiche
Colloquia
News
Informazioni
Informazioni - Archivio
Iniziative scientifiche
Colloquia
Colloquia - Archivio
Convegni
Convegni - Archivio
Periodi intensivi
Periodi intensivi - Archivio
Seminari
NumLab
NumLab - Archivio
Seminario Dottorato
Seminario Dottorato - Archivio
Studenti
Studenti - Archivio
Seminari - Archivio
Iniziative scientifiche - Archivio
Ricerca e didattica
Atti di concessione
Altre concessioni
Altre concessioni - Archivio
Borse di Dottorato di ricerca
Borse di Dottorato di ricerca - Archivio
Borse incoming
Borse incoming - Archivio
Borse outgoing
Borse outgoing - Archivio
Premi di studio
Premi di studio - Archivio
Premi tesi di Dottorato
Premi tesi di Dottorato - Archivio
Atti di concessione - Archivio
Bandi di concorso
Bandi didattica, ricerca e altre tipologie
Altre tipologie
Altre tipologie - Archivio
Didattica
Attività didattica integrativa
Attività didattica integrativa - Archivio
Avvisi di vacanza di insegnamento
Avvisi di vacanza di insegnamento - Archivio
Visiting professor
Visiting professor - Archivio
Didattica - Archivio
Ricerca
Assegni di ricerca
Assegni di ricerca - Archivio
Borse di ricerca
Borse di ricerca - Archivio
PNRR
PNRR - Archivio
Visiting scientist
Visiting scientist - Archivio
Ricerca - Archivio
Bandi didattica, ricerca e altre tipologie - Archivio
Incarichi esterni
Altre tipologie
Altre tipologie - Archivio
Attività a supporto della didattica
Attività a supporto della didattica - Archivio
Attività a supporto della ricerca
Attività a supporto della ricerca - Archivio
Incarichi esterni - Archivio
Reclutamento personale docente
Reclutamento personale docente - Archivio
Bandi di concorso - Archivio
Chiamate dirette
Chiamate dirette - Archivio
News didattica
News didattica - Archivio
News ricerca
Scadenze
Scadenze - Archivio
News ricerca - Archivio
Ricerca e didattica - Archivio
Terza Missione - Innovazione e cultura - Pari opportunità
Terza Missione - Innovazione e cultura - Pari opportunità - Archivio
News - Archivio
Colloquia - archivio
Colloquia
“Programming Language Foundations in Agda”
May 28, 2019, h 16:00 - Room 1A150 - Philip Lee Wadler (University of Edinburgh)
Leggi
«
‹
1
2
