International Conference on

Theoretical and Applied Aspects of Program Systems Development

(TAAPSD’2004)

5-8 October, 2004, Kiev, Ukraine

Organized by Kyiv National Taras Shevchenko University,

National University “Kyiv-Mohyla Academy”, and

Institute of Software Systems of National Academy of Science of Ukraine

 

The purpose of the conference is to provide a forum for discussion of the most important achievements in both theoretical and applied aspects of programming, software engineering, and program systems construction. The main audience and participants at TAAPSD’2004 are expected researchers from educational, academic and industrial departments.

The program of the conference is expected to include:

-         invited talks and reports of the leading scientists of computer science and representatives of software industry,

-         section reports and posters on topics of the conference,

-         tutorials on advanced techniques in programming and software engineering,

-         panel discussion on modern directions in programming,

-         exhibition of software products.

Official languages at the conference are Ukrainian, Russian and English. Abstracts of reports will be published in proceedings and will be available at the conference.

TOPICS

Topics of particular interest include, but are not limited to:

-        Theory of programming

-        Formal methods of program systems development

-        Verification and testing of program systems

-        Logical technique of computer-knowledge processing

-        Intelligent information systems

-        Methodologies of constructing program systems

-        Models of applied domain and mathematical methods of their investigation

-        Technologies and modern tools for programming

-        Web-programming and e-commerce

-        Distributed informational computing systems and environments

-        Innovational methods and technologies for remote learning

-        Data and knowledge bases

 

 

PLACE OF THE CONFERENCE

The conference TAAPSD’2004 will be held at the Kyiv National Taras Shevchenko University (October 5-8, 2004).

 

 PROGRAMME COMMITTEE

V.N. Redko, the Chair (Ukraine)
-         A.V. Anisimov (Ukraine)

-         V.V. Bublik (Ukraine)

-         D.B. Buy (Ukraine)

-         N.N. Glybovets (Ukraine)

-         S.P. Gorlach (Germany)

-         S.S. Gorokhovsky (Ukraine)

-         A.E. Doroshenko (Ukraine)

-         K. Haensgen (Germany)-         G.A. Kiyashko (Ukraine)

-         V.P. Klimenko (Ukraine)

-         A.V. Lyaletski (Ukraine)

-         N.S. Nikitchenko (Ukraine)

-         I.N. Parasyuk (Ukraine)

-         O.L.Perevoschikova (Ukraine)

-         O.L. Sinyavsky (Ukraine)

-         S.S. Shkilnyak (Ukraine)

ORGANIZING COMMITTEE

O.K. Zakusylo, the Chair

-        N.N. Glybovets, the Vice-Chair

-        N.S. Nikitchenko, the Vice-Chair

-        S.M. Chichkan (secretary)

-        I.A. Antonova

-        G.A. Kiyashko

-        T.V. Panchenko (secretary)

-        V.V. Zubenko

 

ADDRESS FOR MAILING:

TAAPSD2004,

Department of the Theory of Programming,

Faculty of Cybernetics,

Kyiv National Taras Shevchenko University,

2, Glushkov avenue, building 6, 03022 Kyiv, Ukraine

Tel.:       +(38 044) 259 0519

Fax:       +(38 044) 266 9345

E-mail: TAAPSD2004@unicyb.kiev.ua

http://fcss.ukma.kiev.ua/~conf2004/conference.html

 

IMPORTANT DATES

June 30, 2004: deadline for submitting abstracts

July 15, 2004: notification of acceptance/rejection

October 5-8, 2004: conference

 

 

REGISTRATION FEE

A registration fee will cover the proceedings of the conference and coffee breaks. The fee is equal to $90 USD for foreign participants and must be paid on arrival.


CONTRIBUTIONS

Proceedings will include abstracts of accepted reports in one of the official languages. All speakers will also have a possibility to show their software products on computers.

SUBMISSIONS

 

Submissions should be sent by ordinary post or e-mail to the Programme Committee. Authors are invited to submit their abstracts before June 15, 2004 in the following format:

- language of submission is one of the three official languages;

- submitted abstracts should be no more than of 3 pages (format A4) and should be prepared in MS Word (not less than version 6.0) in Times New Roman fonts, size is equal to 11 pt;

- the first page should contain author(s) name(s), affiliation(s), e-mail(s), and title of abstract;

- authors from Ukraine should provide regular permission for publication.

 

Authors will be informed on acceptation/rejection before July 15, 2004. Authors of accepted papers may be requested to submit improvements of their abstracts after reviewing them by members of the Program Committee.

For participation at the conference, please send a registration form at the conference addresses.

 

PATTERN OF ABSTRACT

 

 

Peter Smith

Manchester Metropolitan University, MA 9999 Manchester, United Kingdom

E-mail: smith@mmu.ac.uk

FORMAL METHODS FOR CONSTRUCTION OF PROGRAM SYSTEMS

 

Abstracts should be written in English, Russian, or Ukrainian. Authors are invited to submit before June 15, 2004 in the following format:

- language of submission is one of the three official languages;

- submitted abstracts should be no more than of 3 pages of A4 and should be prepared in MS Word (not less than version 6.0) in Times New Roman fonts of size 11 pt.

The first page should contain author(s) name(s), affiliation(s), e-mail(s), and title of the abstract. Authors from Ukraine should provide regular permission for publication.

 

…………………………………………………………………………………………………..……………………………………………………………………………………

 

REFERENCES

 

1.        Smith P. Logical tools for data base systems // Lecture Notes in Computer Science, v. 2004, 2004, P. 77-88.