Seminars
Seminars

Seminars

Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:45

What is 2-dimensional categorical algebra?

ALC Seminar | Speaker: Luca Mesiti (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | - | 11:00

On extensions of Cohen Structure Theorem

ALC Seminar | Speaker: Elena Caviglia (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:45

Duality of intersection and union types

ALC Seminar | Speaker: Silvia Ghilezan (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:00

Computer Assisted Mathematical Proofs: using the computer to verify proofs

ALC Seminar | Speaker: Herman Geuvers (…

Read more