1 2 3 4 5 6 7 8 9
Informazioni per...
Orientarsi Iscriversi Studiare Studiare e Lavorare Laureandi e Laureati

Calendario

gio 27 nov 2025

Mathematical Oncology: Developing Multiscale Tools to Support Tumour Treatment (2 ECTS, SSD: MAT05)

Giada Fiandaca | INRIA, Marseille | h 10.30 Aula T.05

lun 1 dic 2025

Introduction to Category Theory (and Categorical Logic) [1 ECTS, SSD: Mat/01]

Matteo Spadetto | LS2N, University of Nantes | h 10.30 (see after abstract for timetable and venue)

lun 1 dic 2025

The homotopy theoretic point of view on dependent types

Matteo Spadetto | LS2N of the University of Nantes | h 16.30 Sala Verde

mer 3 dic 2025

Conservative Extensions of Intuitionistic Logic with Epsilon Terms over Predicate Abstraction

Elio La Rosa | MCMP at Ludwig-Maximilians-Universität München | h 15.00 Sala Verde

mar 9 dic 2025

A journey between sky and sea: recent research on transportation cybersecurity

Alessio Merlo//Giacomo Longo |  University School of Advanced Defense Studies (Roma) | h 14.00 Sala Verde (presenza)

mer 21 gen 2026

Perspectives on Law & Technology. Discussing Methods and Challenges

21 gennaio 2026

Convegno
Seminari
Convegni
Agenda di oggi

Highlights

Primo piano

Primo piano
Primo piano Didattica
Public Engagement
Formazione Continua
Condividi