The goal of this Academy Colloquium is to establish a basic theory of dependence and independence underlying seemingly unrelated subjects such as bound variables in logic, database theory, the theory of social choice, random variables, Mendelian genetics, causality, and even parts of quantum physics.
There is an abundance of new results in this field demonstrating remarkable convergence. The concepts of (in)dependence in the different fields of humanities and sciences have surprisingly much in common and a common logic is starting to emerge.
Participation in the colloquium is by invitation only and will be limited to fifty invited scholars. Registration is closed.
Organisation
Dr. J.A. Väänänen
Presentations
Agents with Perfect and Truly Perfect Recall - Nils Bulling
Reasoning on Issues - Ivano Ciardelli
Labeled Directed Acyclic Graphs - Jukka Corander
Conditional Independence and Irrelevance - hand-out - Philip Dawid
Impossibility Theorems in Graph Aggregation - Ulle Endriss
Strongly First Order Dependencies in Team Semantics - Pietro Galliani
Team Semantics, Games, and Negation - Erich Grädel
Suppositional inquisitive semantics - Jeroen Groenendijk
A finite axiomatization of conditional independence and inclusion dependencies - Miika Hannula
Modal Dependence Logic - Tutorial - Lauri Hella
Independence in model theory - Asa Hirvonen
A Tutorial on Database Dependencies - Phokion G. Kolaitis
Complexity results on Dependence Logic - Juha Kontinen
Generalized atoms and quantiers - Antti Kuusisto
Dependence and Independence in Social Choice Theory - Eric Pacuit
(In)dependence Logic in Model Theory - Gianluca Paolini
The Expressive Power of Unany. Inclusion and Exclusion Atoms - Raine Rönnholm
Team semantics for natural language. The case of disjunction. - Floris Roelofsen
Axiomatizing modal dependence logic - Jonni Virtema
Team-based logics over Kripke structures - Heribert Vollmer
Axiomatizing propositional dependence logic - Fan Yang