Advanced Seminar on the Role of Semantics in Software Development
Concepts of Semantics with a View to Software Development
: Specification and Top Down Design of Distributed Systems.
The Role of Semantics in Language Design
John W. Backus
: From Function Level Semantics to Program Transformation and Optimization.
Colloquium on Trees in Algebra and Programming
Algorithms and Combinatorics
: Fast Searching in a Real Algebraic Manifold with Applications to Geometric Complexity.
: "Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.
: A Metric Characterization of Fair Computations in CCS.
: A Complete Modal Proof System for a Subset of SCCS.
Graph Grammars and Formal Languages
Johann A. Makowsky
: Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples (Extended Abstract).
, Josef Voss
: On the Implementation of Abstract Data Types by Programming Language Constructs.