1 2 3 4 5 6 7 8 9 10
Informazioni per...

Calendario

lun 7 ott 2024

Single cell analysis

Luciano Cascione | SIB Swiss Institute of Bioinformatics | h 10.00

lun 21 ott 2024

Regularity Theory for Minimizing Harmonic Maps

prof. Pierre Bousquet | Université Paul Sabatier - Toulouse III | h 12.30

lun 21 ott 2024

Substructural Logics à la Lambek: Proof Theory and Categorical Semantics (12 hours)

Tarmo Uustalu | Reykjavik University & Tallinn University of Technology | h 11.30 (see abstract for further dates)

mar 22 ott 2024

Numerical and data-driven techniques for infectious disease simulation and surveillance

Alexander Viguerie | GSSI L'Aquila and CDCP Atlanta US | h 10.30

mer 23 ott 2024

The proof theory of skew logics

Prof. Tarmo Uustalu | Reykjavik University (iceland) - Tallinn University of Technology (Estonia) | h 16.00 Sala Verde (solo presenza)

Condividi