[boost] [Fwd: Final CFP for PSI'03]

From: Sibylle Schupp (schupp_at_[hidden])
Date: 2003-01-13 07:59:36

There are not many conferences yet that support generic 
programming. Please consider a submission to PSI'03, which lists
generic programming explicitly as one of its conference topics.

Find below an excerpt of the Final Call for Papers. For more 
information see http://www.iis.nsk.su/PSI03.

Sibylle
(schupp_at_[hidden]) 

------Forwarded Message-----

From: Alexandre Zamulin <zam_at_[hidden]>
To: PSI03-PC_at_[hidden]
Subject: Final CFP for PSI'03
Date: 13 Jan 2003 15:34:17 +0600

---------------------------------------------------------------
                         FINAL CALL FOR PAPERS

            Andrei Ershov Fifth International Conference
                  PERSPECTIVES OF SYSTEM INFORMATICS

                   9 - 12 July 2003, Novosibirsk (Siberia), Russia

PROCEEDINGS: full papers will appear in Springer LNCS series, 
extended abstracts will be published in a local book.  

SUBMISSION DEADLINE (extended abstracts, 10 pages): February 2, 2003.

MAIN TOPICS:

        Semantics-Based Program Processing;
        Programming Methodology and Automated Software Engineering;
        Information Technologies.

KEYNOTE SPEAKERS:

        Kim Bruce (Williams College, USA)
        David Harel (The Weizmann Institute of Science, Israel)
        Tony Hoare (Microsoft Research, Cambridge, UK)
        Max Kanovich (University of Pennsylvania, USA) and 
        Jacqueline Vauzeilles (University Paris13, France)
        Bertrand Meyer (ETH Zurich, Switzerland)
        Joachim Schmidt (Technical University Hamburg-Harburg, Germany)

CONFERENCE TOPICS

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 and synthesis, 
- model checking.

              Programming Methodology and Automated Software Engineering
- object-oriented, aspect-oriented, component-based and generic 
programming,
- program and system construction for parallel and distributed 
computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- tools for software engineering,
- Web services in software engineering,
- program understanding and visualization.

                 Information Technologies
- database and information systems,
- knowledge-based systems and knowledge engineering,
- electronic commerce,
- digital libraries and Web publishing,
- natural language processing.