The semantics of first order logic is defined with respect to an assignment of values to the free variables. A richer family of semantic concepts can be modelled if semantics is defined with respect to a set of such assignments. This is what is called team semantics. Examples of semantic concepts available in team semantics are the concepts of dependence and independence. This has given rise to the emergence of the so-called dependence logic, as well as independence logic, and other similar variants. It appears that teams appear naturally in several areas of sciences and humanities, e.g. database theory, computational complexity, natural language semantics, and quantum information, which has made it possible to use dependence logic and its variants to analyze phenomena in these areas. The workshop focuses on current developments in team semantics and its applications.
The language of the workshop is English.
The workshop will be held at the University of Helsinki City Centre Campus in the Main building (Fabianinkatu 33, 00170 Helsinki).
If you are interested in participating, please write to the