Young informatics  2005 
Collection of papers of graduate students and young scientists

The knowledge system of informational Internetportal on scientific subjects 
Integrated environment SFP for visual functional programming 
Exception handling elimination while translating from C#light into C#kernel 
Implementation of a Closed Set of Boolean Operations over Polygonal Regions on a Discrete Grid 
Visual representation of running the algorithms of global interval optimization 
Translation of SDLspecifications with dynamic constructions to Coloured Petri Nets by Jensen 
Survey of Methods of Application of Ontology and Data Schemes to Integration of Distributed Heterogeneous Information Resources 
Extension of capabilities of the FinPlan system using structure models 
Analysis of timed Petri Nets based on testing equivalences 
Document processing methods based on expert knowledge 
Graphical metalanguage for translator specification 
Graph rewriting systems: leader selection and topology recognition in anonymous nets 