Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the invited and the contributed papers selected for p- sentation at SOFSEM 2007, the 33rd Conference on Current Trends in Theory and Practice of Computer Science, held January 20-26, 2007 in Hotel Skl´ a? r, Harrachov, in the Czech Republic. SOFSEM (originally SOFtware SEMinar) aims to foster cooperation among professionals from academia and industry working in all modern areas of c- puterscience. Developingovertheyearsfromalocaleventtoafullyinternational and well-established conference, contemporary SOFSEM continues to maintain the best of its original Winter School aspects, such as a high number of invited talks and an in-depth coverage of novel research results in selected areas within computerscience. SOFSEM2007wasorganizedaroundthefollowingfourtracks: - Foundations of Computer Science (Track Chair: Giuseppe F. Italiano) - Multi-Agent Systems (Track Chair: Wiebe van der Hoek) - Emerging Web Technologies (Track Chairs: Christoph Meinel, Harald Sack) - Dependable Software and Systems (Track Chair: Franti? sek Pl´ a? sil) TheSOFSEM2007ProgramCommitteeconsistedof69internationalexperts from 21 di?erent countries, representing the respective areas of the SOFSEM 2007 tracks with outstanding expertise and an eye for current developments. An integral part of SOFSEM 2007 was the traditional Student Research Forum (Chair: M´ aria Bielikov´ a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti?c results and on their work in progress. The papers presented at the Student Research Forum were published in a separate local proceedings.

Computer science --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- toegepaste informatica --- informatiesystemen --- database management --- software engineering --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages."

Computer science --- Computers