4. Ershov Memorial Conference 2001: Novosibirsk, Russia

Memorial Session

Computing and Algorithms

Logical Methods

Verification

Program Transformation and Synthesis

Semantics & Types

Processes and Concurrency

UML Specification

Petri Nets

Testing

Software Construction

Data & Knowledge Bases

Logic Programming

Constraint Programming

Program Analysis

Language Implementation