4. Ershov Memorial Conference 2001: Novosibirsk, Russia

Memorial Session

Computing and Algorithms

Logical Methods


Program Transformation and Synthesis

Semantics & Types

Processes and Concurrency

UML Specification

Petri Nets


Software Construction

Data & Knowledge Bases

Logic Programming

Constraint Programming

Program Analysis

Language Implementation

maintained by Schloss Dagstuhl LZI at University of Trier