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

First Call for Papers

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 to professionals from academia and industry, working in leading areas of computer science.

The SOFSEM program consists of Invited Talks by prominent researchers, Contributed Talks selected by the Program Committee from submitted papers, 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.

Original papers in the respective areas are solicited. Papers bridging the gap between theory and applications are highly encouraged. Proceedings containing the invited and contributed papers are published in the Lecture Notes in Computer Science series by Springer Verlag. Student papers of sufficient high quality but not accepted for the regular track, will be accepted to the SOFSEM 2011 Student Research Forum which will give the students the opportunity to present their paper to the main SOFSEM audience and also to get the paper published in the local SOFSEM proceedings.

The general chair of SOFSEM 2011 is Juraj Hromkovič (ETH Zurich)

The chairs of tracks of SOFSEM 2011 are:

  • PC chair Rastislav Královič (Comenius UNiversity, Bratislava)
  • Foundations of Computer Science   chair Ivana Černá (Masaryk University, Brno)
  • Software, Systems, and Services   chair Tibor Gyimothy (University of Szeged)
  • Processing Large Datasets   chair Keith Jeffery (STFC Rutherford Appleton Laboratory, Didcot)
  • Cryptography, Security, and Trust   chairs Stefan Wolf (ETH Zurich), and Marko Vukolic (IBM Research)

An integral part of SOFSEM 2011 is the Student Research Forum, organized with the aim to publish and discuss student research projects in the field of theory and practice of Computer Science. The forum offers students a unique opportunity to receive feedback on both the originality of their results and the work in progress. The papers will be reviewed and selected by the SOFSEM 2011 Program Committee as regular papers, so those accepted for the LNCS proceedings will be presented in regular sessions with possibility to have additional presentation in poster session of the Student Research Forum. Papers accepted for the local SRF proceedings will be provided with considerable space for presentation in the half day Student Research Forum session.

The chair of Student research forum is Mária Bieliková (Slovak University of Technology, Bratislava)

SOFSEM is a unique meeting place for academic and industrial research in informatics, and an ideal conference for discussions, for establishing personal contacts with new colleagues, and for exchanging ideas. At SOFSEM 2011 all participants and lectures will be accommodated in the Atrium Hotel, Nový Smokovec (Slovakia), an attractive winter resort. SOFSEM is well-known for its familiar and inspiring atmosphere, and especially suited for both young and experienced computer scientists.

Important dates:
Deadline for abstracts: September 5, 2010
Deadline for papers: September 10, 2010
Acceptance notification: October 25, 2010
Camera-ready version: November 1, 2010
Conference: January 22-28, 2011

Detailed description of the tracks:

Foundations of Computer Science

The track is devoted to the recognized core areas forming the heart of computer science, and covering many different fields. Contributions are typically distinguished by an emphasis on mathematical background techniques, but quite often with significant impact on practical applications and systems. In other words, contributions that illustrate the value of fundamental research for applications are especially welcome. Such contributions have traditionally received a lot of attention at SOFSEM conferences, since its birth in 1974. The list of topics include (but is not limited to):

  • algorithms and data structures, including sequential, parallel, distributed, approximation, and number-theoretic algorithms
  • automata theory and languages
  • complexity theory, both computational and structural
  • concurrency theory
  • discrete mathematics related to computer science
  • grammars and formal models
  • program semantics, logic, and verification

Software, Systems, and Services

The track is devoted to the application of novel and innovative technologies and principles to software construction including service-based approaches. Topics include (but are not limited to):

  • modelling, construction and management of hybrid service based systems
  • model driven architecture (MDA, MDD)
  • formal methods for system development
  • software specification, architecture, design
  • software evolution
  • progrm comprehension
  • SOA approaches in embedded systems
  • system migration
  • interoperability
  • software specification, architecture, design
  • software qulity models
  • open source developments
  • testing
  • methodologies and tools

Processing Large Datasets

The increasing price-performance of data storage, computational power and networking speeds makes possible the collection, storage, management, analysis and display of large datasets. Research facilities such as the Large Hadron Collider at CERN produce petabytes of data per year. However, also in industry and commerce there are vast volumes of data. The data from supermarket check-outs, from control systems in manufacturing, from traffic control systems, from telecommunications companies and from banking transactions are just some examples. The size of these datasets demands new approaches including management of streamed datasets during collection and challenges fundamentals of database theory and practice. It is increasingly common to move the program code to the data rather than the data to the program, and to utilise parallel distributed processing architectures. The effort of data and systems administration is increased so that cost reduction requires automation of these functions. The move towards services using an e-infrastucture of GRIDs or CLOUDs demands new methods of software development and systems design.

The list of topics includes (but is not limited to):

  • Novel database management techniques
  • New systems development techniques caused by large datasets
  • Data and Systems management of large datasets
  • Management of networks of sensors and detectors - their processing and their data
  • Virtualisation of services in GRIDs and CLOUDs
  • e-infrastructure architectures

Cryptography, Security, and Trust

In this track, contributions are welcome on all aspects of cryptography, information security, and trust. Possible topics range from theoretical cryptography to applied security. Examples of topics include (but are not limited to):

  • Authentication and Identification
  • Cloud Computing Security
  • Distributed Systems and Storage Security
  • Identity Management
  • Information-Theoretic Security
  • Interactive Proofs
  • Intrusion and Malware Detection
  • Mobile and Wireless Security
  • Multi-Party Computation
  • Privacy and Anonymity
  • Private-Key Cryptography
  • Public-Key Cryptography
  • Quantum Protocols
  • Software and Network Security
  • Trust Management
  • Trusted Hardware and Virtualized Architectures

For more information visit the SOFSEM 2011 web page http://www.sofsem.sk

Proceedings



Created using Fluid 960 Grid, and Sofsems' webs. © Faculty of Mathematics, Physics, and Computer Science, Comenius University, 2010