This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Novy Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification."

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.

The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24-30, 2004, ' in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapsk'ap? rehrada ("Slapy Dam") in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science - this year illustrated by the selection of the following 4 tracks: - Computer Science Theory (Track Chair: Peter Van Emde Boas) - Database Technologies (Track Chair: Jaroslav Pokorny) ' - Cognitive Technologies (Track Chair: Peter Sin? c' ak) ? - Web Technologies (Track Chair: Julius ' Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science.

This volume presents the refereed proceedings of the East-European Conference on Advances in Databases and Information Systems and of the International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, held jointly in Prague, Czech Republic in September 2000.The 27 revised papers presented together with one invited paper and the abstract of an invited talk were carefully reviewed and selected from 115 submissions. The papers present new results on a variety of current issues in database research and design with a certain emphasis on advanced applications in various fields.