Sunday 1/4 (Tutorial T1) | ||
9.30 11.00 |
A Gentle Introduction to CASL, Part 1
Michel Bidoit and Peter Mosses |
|
11.00 11.30 |
Coffee | |
11.30 13.00 |
A Gentle Introduction to CASL, Part 2
Michel Bidoit and Peter Mosses |
|
13.00 14.30 |
Lunch | |
14.30 16.00 |
Tools for CASL
Hélène Kirchner, Bernd Krieg-Brückner and Till Mossakowski |
|
16.00 16.30 |
Coffee | |
16.30 18.00 |
Specifying and Developing Reactive Systems
Egidio Astesiano, Heinrich Hussmann and Gianna Reggio |
|
Monday 2/4 | ||
11.15 12.45 |
Proofs
A Proof-Theoretic Approach to the HOL-Nuprl Connection with
Applications to Proof Translation
Basic Inference Rules for Reasoning about (Co) Algebraic
Data Types
Programs, Proofs and Parametrized Specifications
|
Concurrency I
A Synchronous Extension of Conditional Equational Programming
Formal Combination of the CCS Process Algebra with the CASL
Algebraic Specification Language
An Algebraic Interpretation of CTL*
|
12.45 14.45 |
Lunch | |
14.45 16.45 |
Institutions
Combining Logics: Parchments Revisited
Bridges of Logic via Maps
A Higher-Order Behavioural Institution for ASL
Presentations for Abstract Context Institutions
|
Applications/Case studies
Geometric Modeling with CASL
Verifying a Microprocessor Using Maude
CASL Based Specification Methods
|
16.45 17.45 |
Coffee | |
17.45 19.15 |
Higher-order and parameterized specifications
Specifying Array Structures
Specification of Parameterized Data Types
A Transformation System for Equational Higher-Order Algebraic
Specifications
|
Static analysis
Abstract Interpretation: An Algebraic Approach
Towards Trustworthy Specifications I: Consistency Checks
Expressing Anna Constructions in Casl Extended Abstract
|
Tuesday 3/4 | ||
10.45 12.45 |
Architecture I
Amalgamation via Enriched CASL signatures
Semantics of Architectural Specifications in CASL:
Implementation Issues
Institution Independent Static Analysis for CASL
Verifying Architectural Specifications
|
Graph and transformation rules
Interactive Rule Based Specification with an Application
to Visual Language Definition
GS-Lambda Theories: A Syntax for Higher Order Graphs
Tight, Loose, and Open Semantics for Transformational Systems
On Compatibility of Model and Class Transformations
|
12.45 15.00 |
Lunch | |
17.45 19.15 |
Concurrency II
An Institution for SB-CASL
Canonical Institutions of Behaviour
Object Behaviors: A Rewriting Logic Based Approach Approach
|
Architecture II
Algebraic Run-Time Software Architecture Reconfiguration
Higher-Order Connectors
|