2026-07-19T23:52:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4012 2024-03-06T10:25:58Z ddc:004 open_access

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) Abramsky, Samson Kontinen, Juha Väänanen, Jouko Vollmer, Heribert Data structures Algorithms Complexity Verification Logic This report documents the programme and outcomes of Dagstuhl Seminar 13071 "Dependence Logic: Theory and Applications". The seminar brought together researchers from different areas such as mathematical logic, quantum mechanics, statistics, social choice theory, and theoretical computer science. A key objective of the seminar was to bring together, for the first time, researchers working in dependence logic and in the application areas so that they can communicate state-of-the-art advances and embark on a systematic interaction. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Samson Abramsky and Juha Kontinen and Jouko Väänanen and Heribert Vollmer 2013 Is Part Of Dagstuhl Reports, Volume 3, Issue 2 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.3.2.45 urn:nbn:de:0030-drops-40127 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.45 eng https://creativecommons.org/licenses/by/3.0/legalcode