Dagstuhl Seminar Proceedings, Volume 10252



Publication Details

  • published at: 2010-11-02
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
10252 Abstracts Collection – Game Semantics and Program Verification

Authors: Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz


Abstract
From 20th to 25th June 2010, the Dagstuhl Seminar "Game Semantics and Program Verification'' was held in Schloss Dagstuhl - Leibniz Center for Informatics. 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

Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz. 10252 Abstracts Collection – Game Semantics and Program Verification. In Game Semantics and Program Verification. Dagstuhl Seminar Proceedings, Volume 10252, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{mellies_et_al:DagSemProc.10252.1,
  author =	{Mellies, Paul-Andre and Murawski, Andrzej S. and Schalk, Andrea and Walukiewicz, Igor},
  title =	{{10252 Abstracts Collection – Game Semantics and Program Verification}},
  booktitle =	{Game Semantics and Program Verification},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10252},
  editor =	{Paul-Andre Mellies and Andrzej S. Murawski and Andrea Schalk and Igor Walukiewicz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10252.1},
  URN =		{urn:nbn:de:0030-drops-27945},
  doi =		{10.4230/DagSemProc.10252.1},
  annote =	{Keywords: Software verification, Semantics of programming languages, Game semantics, Static analysis, Model checking}
}
Document
10252 Executive Summary – Game Semantics and Program Verification

Authors: Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz


Abstract
The seminar took place from 20th until 25th June 2010. Its primary aim was to foster interaction between researchers working on modelling programs/proofs using games and the verification community. The meeting brought together 28 researchers from eight different countries, both junior and senior, for a systematic assessment of what the two areas have to offer to one another, critical evaluation of what has been achieved so far, with a view to establishing common research goals for the future.

Cite as

Paul-Andre Mellies, Andrzej S. Murawski, Andrea Schalk, and Igor Walukiewicz. 10252 Executive Summary – Game Semantics and Program Verification. In Game Semantics and Program Verification. Dagstuhl Seminar Proceedings, Volume 10252, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{mellies_et_al:DagSemProc.10252.2,
  author =	{Mellies, Paul-Andre and Murawski, Andrzej S. and Schalk, Andrea and Walukiewicz, Igor},
  title =	{{10252 Executive Summary – Game Semantics and Program Verification}},
  booktitle =	{Game Semantics and Program Verification},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10252},
  editor =	{Paul-Andre Mellies and Andrzej S. Murawski and Andrea Schalk and Igor Walukiewicz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10252.2},
  URN =		{urn:nbn:de:0030-drops-27938},
  doi =		{10.4230/DagSemProc.10252.2},
  annote =	{Keywords: Software verification, Semantics of programming languages, Game semantics, Static analysis, Model checking}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail