Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

3-5 March 2014, KNAW Colloquium on Dependence Logic

Date: 3-5 March 2014
Location: KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam
Deadline: 14 February 2014

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.

For more information, see https://www.knaw.nl/en/news/calendar/dependence-logic or https://www.knaw.nl/shared/resources/actueel/bestanden/.

Young researchers, PhD-students and research master students in dependence logic or related fields are cordially invited to send a proposal for a 20 minutes presentation of their research in the Academy Colloquium. Although the colloquium will be focused on dependence logic, the scope of the presentations is wider, and other aspects of mathematical, computer science and philosophical logic pertaining to dependence and independence concepts or team semantics will be accepted as well. Submission deadline: 14 February 2014.

Please note that this newsitem has been archived, and may contain outdated information or links.