Program of WADT

  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
Mark-Oliver Stehr, Pavel Naumov, José Meseguer

Basic Inference Rules for Reasoning about (Co) Algebraic Data Types
Peter Padawitz

Programs, Proofs and Parametrized Specifications
Iman Poernomo, John N. Crossley, Martin Wirsing

Concurrency I

A Synchronous Extension of Conditional Equational Programming
Jérémie Blanc, Rachid Echahed

Formal Combination of the CCS Process Algebra with the CASL Algebraic Specification Language
Gwen Salaün, Michel Allemand, Christian Attiogbé

An Algebraic Interpretation of CTL*
Michel Allemand, Jean-Claude Royer

12.45
14.45
Lunch
14.45
16.45
Institutions

Combining Logics: Parchments Revisited
C.Caleiro, P.Mateus, J.Ramos, A.Sernadas

Bridges of Logic via Maps
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler

A Higher-Order Behavioural Institution for ASL
Nikos Mylonakis

Presentations for Abstract Context Institutions
Wieslaw Pawlowski

Applications/Case studies

Geometric Modeling with CASL
Frank Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand

Verifying a Microprocessor Using Maude
N. A. Harman

CASL Based Specification Methods
C. Choppy, G. Reggio

16.45
17.45
Coffee
17.45
19.15
Higher-order and parameterized specifications

Specifying Array Structures
Magne Haveraaen

Specification of Parameterized Data Types
Yngve Lamo, Michal Walicki

A Transformation System for Equational Higher-Order Algebraic Specifications
Walter Dosch, Sönke Magnussen

Static analysis

Abstract Interpretation: An Algebraic Approach
Alexandre Boisseau, Michel Bidoit

Towards Trustworthy Specifications I: Consistency Checks
Markus Roggenbach, Lutz Schröder

Expressing Anna Constructions in Casl Extended Abstract
Jean-Michel Hufflen

  Tuesday 3/4
10.45
12.45
Architecture I

Amalgamation via Enriched CASL signatures
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki

Semantics of Architectural Specifications in CASL: Implementation Issues
Bartek Klin

Institution Independent Static Analysis for CASL
Till Mossakowski, Bartek Klin

Verifying Architectural Specifications
Piotr Hoffman

Graph and transformation rules

Interactive Rule Based Specification with an Application to Visual Language Definition
Roswitha Bardohl, Martin Grosse-Rhode, Marta Simeoni

GS-Lambda Theories: A Syntax for Higher Order Graphs
Matteo Coccia, Ugo Montanari

Tight, Loose, and Open Semantics for Transformational Systems
Hartmut Ehrig, Fernando Orejas

On Compatibility of Model and Class Transformations
Maike Gajewsky, Francesco Parisi-Presicce

12.45
15.00
Lunch
17.45
19.15
Concurrency II

An Institution for SB-CASL
Hubert Baumeister

Canonical Institutions of Behaviour
Félix Costa, Hugo Lourenço

Object Behaviors: A Rewriting Logic Based Approach Approach
M. Maouche, M. Bettaz

Architecture II

Algebraic Run-Time Software Architecture Reconfiguration
Michel Wermelinger, José Fiadeiro, Antónia Lopes

Higher-Order Connectors
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro