08061 Executive Summary – Types, Logics and Semantics for State

2008/01/01 by Amal Ahmed, Nick Benton, Ahmed, Amal +5
Computer Science · #Logic, Reasoning, and Knowledge #Mutable State #Program Analysis #Program Logics #Semantics #Type Systems

paper · doi:10.4230/dagsemproc.08061.2

openalex publication_date 2008/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in many different aspects of modelling and reasoning about mutable state, met to present their current work and discuss ongoing projects and open problems.

Related

• 08061 Abstracts Collection – Types, Logics and Semantics for State
• 10351 Executive Summary – Modelling, Controlling and Reasoning About State
• 10351 Abstracts Collection – Modelling, Controlling and Reasoning About State
• 07351 Executive Summary – Formal Models of Belief Change in Rational Agents
• 04171 Abstracts Collection – Logic Based Information Agents