Seminar by Prof. Giuseppina Terzo

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…

Seminar by Dr. Sara Ugolini

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…

Seminar by Dr. Luca Reggio

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 of axiomatising theories that arise in everyday mathematics. A prototypical Read more…

Seminar by Dr. Marco Abbadini

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 first-order logic to propositional logic.In its simplest form, it asserts Read more…

Seminar by Dr. Luca Carai

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 important role in the study of superintuitionistic logics as they Read more…

Seminar by Dr. Paolo Baldi

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. The process is however far from trivial, since the rejection Read more…