Atlas home || Conferences | Abstracts | about Atlas
Host: Akademgorodok
Homepage: http://www.iis.nsk.su/PSI99/cfp.html
Email: psi99@iis.nsk.su
Organizers: Alexander Marchuk, Dines Bjorner, Manfred Broy, Alexandre Zamulin
Description:
The aim of the Conference is to provide a forum for the presentation and in-depth discussion of advanced
research directions in computer science. For a developing science, it is important to work out consolidating
ideas, concepts and models. Movement in this direction is one of the goals the Conference is to meet.
Improvement of the contacts and exchange of ideas between researchers from the East and West are further
goals.
Conference topics include: Semantics-Based Program Processing program specification, transformation, and verification, semantics, logic and formal models of programs, partial evaluation, mixed computation, and abstract interpretation, program analysis, understanding and visualization. Program Methodology and Information Technologies: object-oriented programming, generic programming, parallel and distributed computing, database and information systems. Artificial Intelligence: knowledge engineering, natural language processing, AI tools and applications constraint programming and multi-agent technology.
In addition to papers in the above list of topics, papers both bridging the gap between different directions and promoting mutual understanding of researchers in different directions are welcome. Papers defining the prospects of Computer Science in the whole and joint West-East papers are also encouraged.
Speakers: K. Apt (CWI, The Netherlands), V. Basili (University of Maryland, USA), M.-C. Gaudel (Universite Paris-Sud, France), N. Jones (DIKU, Denmark), D. Meri (INRIA-Nanci, France), R. Morrison (St. Andrews, Scotland), A. Narinyani (RIAI, Moscow), 8. D. Sannella (Edinburgh University, Scotland), "The common framework initiative for design specific
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.