Diary Entry: 2007-11-18 00:00:00 - 2007-11-19 00:00:00

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

Our group organises the 2nd International Workshop on Process and Data at Gregynog. Below are some photos of the event where the following presentations were made :-

Speaker: Andy Gimblett
Title: "The static semantics of CSP-CASL"
Abstract: We present the static semantics of CSP-CASL using Natural Semantics, following the style of the CASL Reference Manual.

Speaker: Gift Samuel
Title: "Semantics of Stable Revivals Models in CSP Prover"
Abstract: In talk, I explain the semantics function of the stable revivals model. Then I will explain how I implemented it in CSP Prover. Finally I discuss about the type correctness(well definedness) and how it is used.

Speaker: Liam O'Reilly
Title: "Three Different Implementation Possibilities for a CSP-CASL-Prover"
Abstract: During this talk I will outline what are deep, semi-deep and shallow encodings in the setting of CSP-CASL-Prover and how these lead to three different possibilities for implementing a CSP-CASL-Prover. Also discussed is the implications of the encoding which HETS produces and what a deep encoding might look like.

Speaker: Markus Roggenbach
Title: "A bit of propositional logic - Part I "
Abstract: We define the language of propositional logic, give its semantics, and define a calculus for it. This gives rise to the question if the calculus captures the defined semantics.

Speaker: Markus Roggenbach
Title: "A bit of propositional logic - Part II"
Abstract: We study how the calculus relates to the semantics defined. It turns out, that the calculus is sound and complete. Full proofs will be given.

Speaker: Temesghen Kahsai
Title: "A year full of Refinement"
Abstract: In this talk I will illustrate some notions of refinement in Algebraic Specification by giving concrete examples. Moreover I will show the decomposition of CSP-CASL refinement, and what kind of examples are we trying to capture using "refinement + hiding " in CSP-CASL.