Dr. Cipriano Junior Cioffo (University of Pisa) will give a seminar on Tuesday 3 June 2025 at 11:00 in room P18, DipMat. Title: A taxonomy of categories for relations. Abstract: In this talk, we present a taxonomy of categorical structures that abstract the category of relations. The study is conducted through a Read more
Matías Menni (Univeristy of La Plata) will teach a short course in Salerno on Axiomatic Cohesion. Further details are given below. An introduction to Axiomatic Cohesion. Brief description of the course The seminal paper reprinted in [L5] proposes to axiomatize the “distinctive internal connectedness of a topos that models all spaces Read more
This summer, from the 1st to the 5th of September we will host the Scuola Estiva di Logica at our campus. Further information is available at the school web page. We look forward to meeting you there!
Prof. Tommaso Moraschini (University of Barcelona) will give a seminar on Thursday 15 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Implicit operations in algebra and logic. Abstract: It is well known that the partial operation of taking inverses in monoids is preserved under homomorphisms and, moreover, is definable by a first-order Read more
Prof. Giuseppina Terzo (Università degli Studi di Napoli) will give a seminar on Wednesday 14 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Fields with(out) generic derivations. Abstract: We explore the existence of generic derivations in field expansions. We provide examples of field expansions that admit a generic derivation. Additionally, we show Read more
Dott. Sara Ugolini (Artificial Intelligence Research Institute, Spanish National Research Council (IIIA-CSIC)) will give a seminar on Wednesday 7 May 2025 at 11:30 in Sala Riunioni, DipMat. Title: Almost natural semirings with difference. Abstract: In this talk, we begin by considering the semiring of the natural numbers with (truncated) difference, N = (N, +, x, Read more