4th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics