News

At LUCI Lab, logic is primarily a research mindset. We are inspired by, and seek to contribute to, the most pressing questions arising in science and technology.  We are extremely lucky to be witnessing the coming of age of data-intensive and AI-driven science. They are redefining the very meaning of scientific knowledge, how it is produced, and how it is transferred to society. At LUCI Lab, we ask what should follow from this kind of knowledge while it is still in the making.

  • Talk by L. Ceragioli at Carl Friedrich von Weizsäcker Colloquium

    Leonardo Ceragioli will present joint work with G. Pirmiero “A Proof-Theoretic Approach to Bias” at the Carl Friedrich von Weizsäcker Colloquium (University of Tübingen, Germany) on April 30rd, 2025. Abstract. Although widely applied, ML systems are at most as reliable as the data they are trained with. Among other reasons, biases may arise because causal…

  • Talk by Ina Jäntgen at LUCI seminar

    Title: Standardizing mean differences: A cautionary tale from a rational choice perspective Abstract: In applied areas of science such as education research or medicine, researchers often report the effect sizes of tested interventions to inform people aiming to decide between these interventions. For continuous outcome variables (such as depression or literacy skills), researchers measure an…

  • Talk by Fernando Raymundo Velazquez Quesada at LUCI seminar

    Title: Partial Communication (and, if time allows, Arbitrary Partial Communication) Abstract: While the paradigmatic dynamic epistemic logic (DEL) allows us to reason about agents receiving information from an external source (Public Announcement Logic as well as the Action Models framework), communication within groups of agents has lately become interesting for researchers in the area. This talk discusses…

  • Talk by Peter Grünwald at LUCI seminar

    Title: E is the New P Abstract: How much evidence do the data give us about one hypothesis versus another? The standard way to measure evidence is still the p-value,  despite a myriad of problems surrounding it. In this talk I will provide a gentle introduction to the e-value (wikipedia), a  recently popularized notion of  evidence which overcomes some…

  • Talk by Jon Williamson at LUCI seminar

    Title: The heuristic use of conditionalisation Abstract: This paper argues that Bayesian conditionalisation should not be viewed as a universal norm of updating, but rather as a heuristic principle that is helpful in some circumstances but fails in others. I go on to show that the heuristic use of conditionalisation can be validated by an…

  • Talk by Marianna Girlando at LUCI seminar

    Title: Conditional logics and labelled proof systems (an introduction) Abstract: Conditional logics, as introduced by David Lewis in 1973, enrich the language of classical propositional logic with a two-places modal operator, the conditional, suitable to represent fine-grained notions of conditionality. After introducing conditional logics and their semantics, that I will define in terms of neighborhood…

Follow us on social media

Follow us on social media to get the most up-to-date information on our activities throughout the year, watch recent seminars and lectures.