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.
@Article{abramsky_et_al:DagRep.3.2.45, author = {Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert}, title = {{Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)}}, pages = {45--54}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {2}, editor = {Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.45}, URN = {urn:nbn:de:0030-drops-40127}, doi = {10.4230/DagRep.3.2.45}, annote = {Keywords: Data structures, Algorithms, Complexity, Verification, Logic} }
Feedback for Dagstuhl Publishing