08171 Abstracts Collection – Beyond the Finite: New Challenges in Verification and Semistructured Data

Muscholl, Anca; Ramanujam, Ramaswamy; Rusinowitch, Michaël; Schwentick, Thomas; Vianu, Victor

doi:10.4230/DagSemProc.08171.1

Document

08171 Abstracts Collection – Beyond the Finite: New Challenges in Verification and Semistructured Data

Authors Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8171
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-07-23

PDF

File

PDF

DagSemProc.08171.1.pdf

Filesize: 186 kB
14 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08171.1
URN: urn:nbn:de:0030-drops-15606

Subject Classification

Keywords

Infinite state systems
data values
verification
semistructured data

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

From 20.04. to 25.04.2008, the Dagstuhl Seminar 08171 ``Beyond the Finite: New Challenges in Verification and Semistructured Data'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.

Cite As Get BibTex

Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, and Victor Vianu. 08171 Abstracts Collection – Beyond the Finite: New Challenges in Verification and Semistructured Data. In Beyond the Finite: New Challenges in Verification and Semistructured Data. Dagstuhl Seminar Proceedings, Volume 8171, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008) https://doi.org/10.4230/DagSemProc.08171.1

Author Details

Anca Muscholl

Ramaswamy Ramanujam

Michaël Rusinowitch

Thomas Schwentick

Victor Vianu

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail