Submitted papers must be in IEEE CS Press 2-column format (see instruct.pdf at ftp://pubftp.computer.org/Press/Outgoing/proceedings/). The cover page must contain an abstract of no more than 60 words (not 130 as in the IEEE instruct file), the corresponding author's physical and e-mail addresses, as well as phone and FAX numbers.

The page limitation is strict, and it applies both to the submitted papers and to the final versions of the accepted papers. The limit is 10 pages for regular papers, and 4 pages for tool description papers.

The submission will be handled electronically as described on the conference web site. Accepted papers will be published by IEEE Computer Society Press. A selection of six papers (including one with "Best paper award") will be considered further (after expansion and revision) for possible publication in a special issue of the Journal "Fundamenta Informaticae" (IOS Press, Netherlands).