40th International Conference on
Current Trends in Theory and Practice of Computer Science

January 25-30, 2014
Hotel Atrium, Nový Smokovec, High Tatras, Slovakia


SOFSEM 2014 is over.

The organizers thank all participants for attending the conference.

SOFSEM (SOFtware SEMinar) is an annual international conference devoted to the theory and practice of Computer Science. Its aim is to get together professionals from academia and industry working in various areas of Computer Science. Proceedings containing the invited and contributed papers will be published by the Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series: LNCS 8327.

The program consists of a number of Invited Talks, given by prominent researchers, Contributed Talks selected by the Program Committee from submitted papers, Working Sessions discussing work-in-progress, and the Student Research Forum.

Plenary Invited Talks and selected Contributed Talks organized in parallel tracks give a unique opportunity to obtain quickly a representative overview of the topic areas. Three topics are stable, namely "Foundations of Computer Science", "Software & Web Engineering", and "Data, Information, and Knowledge Engineering". This year's fourth track is devoted to "Cryptography, Security, and Verification."

An integral part of SOMSEM 2014 are two satellite events:

SOFSEM provides an ideal framework for discussions and meetings, establishing personal contacts. In order to help people socialize and exchange new ideas, SOFSEM is organized as a single-building-conference. That is, accommodation for all participants, full-board meals, together with all lecture rooms will be in Atrium Hotel, Nový Smokovec, High Tatras, Slovakia. Atrium Hotel is easy to reach. The stop of the local tram is just in front of the hotel.

Program Committee Chair:

  • Branislav Rovan, Bratislava, Slovakia

Conference Tracks:

  • Foundations of Computer Science
    track chair: Viliam Geffert, Košice, Slovakia
  • Software & Web Engineering
    track chair: A Min Tjoa, Wien, Austria
  • Data, Information, and Knowledge Engineering
    track chair: Július Štuller, Praha, Czech Republic
  • Cryptography, Security, and Verification
    track chair: Bart Preneel, Leuven, Belgium
  • Student Research Forum
    track chair: Roman Špánek, Praha, Czech Republic