2026-07-21T23:46:41Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2793 2024-03-06T11:09:20Z ddc:004 open_access

10252 Executive Summary – Game Semantics and Program Verification Mellies, Paul-Andre Murawski, Andrzej S. Schalk, Andrea Walukiewicz, Igor Software verification Semantics of programming languages Game semantics Static analysis Model checking 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paul-Andre Mellies and Andrzej S. Murawski and Andrea Schalk and Igor Walukiewicz 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 10252, Game Semantics and Program Verification (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.10252.2 urn:nbn:de:0030-drops-27938 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10252.2 eng https://creativecommons.org/licenses/by/4.0/legalcode