SOFSEM 2012 is over.

We are looking forward to meeting you at the next SOFSEM.

You can see SOFSEM 2012 photo gallery and SOFSEM 2012 presentations. NEW

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

SOFSEM (SOFtware SEMinar) is the annual international winter conference devoted to the theory and practice of computer science. Its aim is to present the latest developments in research for professionals from academia and industry, working in leading areas of computer science. Proceedings containing the invited and contributed papers will be published in the series Lecture Notes in Computer Science by Springer Verlag.

The SOFSEM program consists of Invited Talks by prominent researchers, Contributed Talks selected by the Program Committee from submitted papers, Poster Session and the Student Research Forum. SOFSEM is organized in plenary and parallel tracks, giving a unique opportunity to obtain an excellent overview of the selected research areas. All tracks are devoted to original research and leading developments.

By tradition, one track of SOFSEM is devoted to Foundations of Computer Science. SOFSEM 2012 offers in addition three, outstanding tracks: Software & Web Engineering, Cryptography, Security, and Verification, and Artificial Intelligence.

In memory of Alan Turing, whose 100th anniversary is celebrated in 2012, SOFSEM 2012 will host a session on Turing machines. The session will consist of invited and contributed talks on Turing machines as the basic model of computability and complexity.
SOFSEM 2012 is among the official Centenary Events of The Alan Turing Year.

SOFSEM is the ideal conference for discussions, for establishing personal contacts with colleagues, and for exchanging ideas. At SOFSEM 2012 participants and lectures will be accommodated in the OREA Hotel Horal ****, Špindlerův Mlýn – an attractive winter resort town. SOFSEM is well-known for its familiar and inspiring atmosphere and is especially suited for young computer scientists.

See you at SOFSEM 2012!

Georg Gottlob (PC Chair)
&    Július Štuller (Steering Committee Chair)

Hotel Exterior Hotel Hotel Hotel Hotel Krkonoše