1. On the jubilee of Rimma Ivanovna Podlovchenko’s birth

   Announcement Pages: 189 - 189

2. Towards verification of C# programs: A three-level approach

   • V. A. Nepomniaschy
   • I. S. Anureev
   • A. V. Promsky

   OriginalPaper Pages: 190 - 202

3. Estimation of dynamical characteristics of a parallel program on a model

   • V. P. Ivannikov
   • S. S. Gaisaryan
   • V. A. Padaryan

   OriginalPaper Pages: 203 - 214

4. Optimal schema hierarchies in searching semistructured databases by conjunctive regular path queries

   • S. S. Gorelov

   OriginalPaper Pages: 215 - 227

5. Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language

   • V. V. Ovchinnikov

   OriginalPaper Pages: 228 - 242