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 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 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 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 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 Read more…
Dott. Luca Reggio (Università degli Studi di Milano) will give a seminar on Wednesday 30 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: (Ordered) compact Hausdorff spaces, axiomatically. Abstract: I will provide an overview of various approaches and results concerning the problem Read more…
Dott. Marco Abbadini (University of Birmingham) will give a seminar on Thursday 24 April 2025 at 10:00 in Sala Riunioni, DipMat. Title: An algebraic version of Herbrand’s theorem. Abstract: Herbrand’s theorem is a fundamental result of mathematical logic, which allows a reduction of Read more…
Dott. Luca Carai (Università degli Studi di Milano) will give a seminar on Wednesday 23 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Free algebras and coproducts in varieties of Gödel algebras. Abstract: Free algebras in varieties of Heyting algebras play an Read more…
Dott. Paolo Baldi (Università del Salento) will give a seminar on Wednesday 16 April 2025 at 11:30 in Sala Riunioni, DipMat. Title: Logical consequences for inferences with data. Abstract: Data is often used in science as a guide to discard erroneous scientific hypotheses. Read more…