38th International Conference on Current Trends
in Theory and Practice of Computer Science
January 21–27, 2012

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.

SPECIAL EVENT: SESSION ON TURING MACHINES.
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, and reporting new developments related to models inspired by, for example, biology and physics. Authors who think their contribution could be appropriate for this session should submit it as a regular paper to track Foundations of Computer Science and tick the appropriate box in Title, Abstract and Other Information section when submitting their paper via EasyChair.

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.