Seminari

Seminari pubblicati o validi:

Dal
Al

Single cell analysis

This minicourse aims to provide knowledge and understanding of algorithms and advanced programming tools for managing single-cell data. Unlock the potential of single-cell data analysis as we answer pressing biological questions where cell-specific c
symbol send-by

Da RosalbaGiugno

Data inizio: 07/10/24 alle 10.00

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

In the 1960s, Joachim Lambek pioneered an approach to substructural logics that unifies proof theory and category theory, motivated by linguistics. 'Substructural' means here that some basic principles like "A implies true," "A
symbol send-by

Da Peter MichaelSchuster

Data inizio: 21/10/24 alle 11.30

Regularity Theory for Minimizing Harmonic Maps

The abstract is attached as a pdf file. Schedule: Monday, 21st 12.30-13.30 Meeting Room (CV 2, 2nd floor) Tuesday, 22nd 8.30-10.30 Room T.02 (CV 3) Wednesday, 23rd 15.30-17.30 Meeting Room (CV
symbol send-by

Da GiacomoCanevari

Data inizio: 21/10/24 alle 12.30

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

Infectious disease modeling plays a crucial role in understanding the spread and control of outbreaks. This study explores numerical and data-driven techniques for simulating the transmission dynamics of infectious diseases and enhancing surveillance
symbol send-by

Da GiacomoAlbi

Data inizio: 22/10/24 alle 10.30

The proof theory of skew logics

I will talk about skew logics. By skew logics I mean substructural logics defined by categories with various types of skew structure: skew monoidal categories and variations like skew closed or prounital closed categories, skew monoidal closed catego
symbol send-by

Da Peter MichaelSchuster

Data inizio: 23/10/24 alle 16.00