Volume 5, Issue 6, June 2015

Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241) Britta Dorn, Nicolas Maudet, and Vincent Merlin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

Complexity of Symbolic and Numerical Problems (Dagstuhl Seminar 15242) Peter Bürgisser, Felipe Cucker, Marek Karpinski, and Nicolai Vorobjov . . . . . . . . . .

28

Sparse Modelling and Multi-exponential Analysis (Dagstuhl Seminar 15251) Annie Cuyt, George Labahn, Avraham Sidi, and Wen-shin Lee . . . . . . . . . . . . . . . . . . .

48

Logics for Dependence and Independence (Dagstuhl Seminar 15261) Erich Grädel, Juha Kontinen, Jouko Väänänen, and Heribert Vollmer . . . . . . . . . . .

70

D a g s t u h l R e p or t s , Vo l . 5 , I s s u e 6

ISSN 2192-5283

ISSN 2192-5283 Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at http://www.dagstuhl.de/dagpub/2192-5283 Publication date February, 2016

Aims and Scope The periodical Dagstuhl Reports documents the program and the results of Dagstuhl Seminars and Dagstuhl Perspectives Workshops. In principal, for each Dagstuhl Seminar or Dagstuhl Perspectives Workshop a report is published that contains the following: an executive summary of the seminar program and the fundamental results,

Bibliographic information published by the Deutsche an overview of the talks given during the seminar Nationalbibliothek (summarized as talk abstracts), and The Deutsche Nationalbibliothek lists this publicasummaries from working groups (if applicable). tion in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at This basic framework can be extended by suitable http://dnb.d-nb.de. contributions that are related to the program of the seminar, e. g. summaries from panel discussions or License open problem sessions. This work is licensed under a Creative Commons Attribution 3.0 DE license (CC BY 3.0 DE). In brief, this license authorizes each Editorial Board and everybody to share (to copy, Bernd Becker distribute and transmit) the work under the followStephan Diehl ing conditions, without impairing or restricting the authors’ moral rights: Hans Hagen Attribution: The work must be attributed to its Hannes Hartenstein authors. Oliver Kohlbacher The copyright is retained by the corresponding authors.

Stephan Merz Bernhard Mitschang Bernhard Nebel Bernt Schiele Nicole Schweikardt Raimund Seidel (Editor-in-Chief ) Arjen P. de Vries Michael Waidner Reinhard Wilhelm

Editorial Office Marc Herbstritt (Managing Editor) Jutka Gasiorowski (Editorial Assistance) Thomas Schillo (Technical Assistance)

Digital Object Identifier: 10.4230/DagRep.5.6.i

Contact Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dagstuhl Reports, Editorial Office Oktavie-Allee, 66687 Wadern, Germany [email protected] http://www.dagstuhl.de/dagrep