Schedule

The celebration takes place Thursday, 18 January 2024 at the campus Gualtar, University of Minho, Braga, Portugal. The abstracts to the talks are found here.

10:50 - 11:00   Opening and Welcome

Lab4, Department of Mathematics

11:00 - 11:45   (Canceled) Ralph Matthes (IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse, France)

Univalent Foundations for working in category theory

Lab4, Department of Mathematics

11:00 - 11:45   (New Time) René Gazzari (CMAT, University of Minho, Portugal)

Some Ideas of Proof-Theoretic Semantics

Lab4, Department of Mathematics

12:30 - 14:30   Lunch Break

Campus Restaurant Panorâmico

14:30 - 15:30   José Francisco Meirinhos (University of Porto, Portugal)

A lógica de Pedro Hispano e a formação intelectual da Europa

Amphitheatre, School of Sciences

15:30   Goodbye and Closing

Amphitheatre, School of Sciences