Invited Speakers


Pablo Barceló (Universidad de Chile, Chile): Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.
Alessandra Palmigiano (TU Delft, The Netherlands): Proof systems for the logics for social behaviour.
Sonja Smets (University of Amsterdam, The Netherlands): Informational Cascades: A Test for Rationality?
Andres Villaveces (Universidad Nacional de Colombia, Colombia): Sheaves of Metric Structures.
Dana Bartošová (University of Toronto, Canada): Ultrafilters in dynamics and Ramsey theory.
Johann A. Makowsky (Technion - Israel Institute of Technology, Israel): Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.