INFORMATICS'2009 – International Scientific Conference on Informatics

INFORMATICS'2009 – International Scientific Conference on Informatics is already 10th event, organized biannually.

Please notice added information about payment of registration fee. See section Registration Fee.

Deadline for full paper submission is extended to September 15st 2009.

Paper submission system is now open for receiving full papers! Please, see Paper submission section.

INFORMATICS'2009 is organized by

Faculty of Electrical Engineering and Informatics, Technical University of Košice

The 10th International Conference Informatics'2009 is an international forum for presenting original research results, sharing the experience and to exchange ideas from transferring theoretical concepts into real-life domains by scientists and experts working in Computer Science and Informatics.

Main themes of conference are as follows:

• Computer Systems and Networks
• Program and Information Systems
• Informatization and Information Society
• Applied Informatics, Simulation and Artificial Intelligence

Invited speech:

• Ivan Luković – From the synthesis algorithm to the model driven transformations in database design
• Pavel Satrapa – IPv6. Are we there yet? (IPv6 development and deployment)
• Ivan Plander – Development trends in informatics

Presentations:

• Oksana Shkilnyak – Composition nominative modal and temporal logics
• Mykola S. Nikitchenko, Stepan S. Shkilniak, and Irina A. Antonova  – Properties of Fixed Point Operators in Algebras of Partial Predicates