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

Program Committee of Sofsem 2011

General Chair: Juraj Hromkovič, ETH Zurich

PC Chair: Rastislav Královič, Comenius University, Bratislava

Foundations of Computer Science

chair: Ivana Černá, Masaryk University, Brno

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

PC members

  • Ivana Cerna, Masaryk University Brno (chair)
  • Vashti Galpin, University of Edinburgh
  • Ganesh Gopalakrishnan, University of Utah
  • Keijo Heljanko, Helsinki University of Technology TKK
  • Martin Leucker, TU Munich
  • Markus Lumpe, Swinburne University of Technology
  • Gerald Lüttgen, University of Bamberg
  • Eric Mercer, Brigham Young University
  • David Safranek, Masaryk University Brno
  • Jiri Sima, Academy of Sciences of the Czech Republic
  • Jiri Srba, Aalborg University
  • Jaco van de Pol, University of Twente
  • Tomas Vojnar, Brno University of Technology
  • Verena Wolf, Saarland University

Software, Systems, and Services

chair: Tibor Gyimothy, University of Szeged

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

PC members

  • Manfred Broy, TUM
  • Andrea De Lucia, University of Salerno
  • Massimiliano Di Penta, RCOST - University of Sannio
  • Peter Fritzson, Linköping University
  • Tibor Gyimothy, University of Szeged (chair)
  • Mark Harman, University College London
  • Mira Kajko-Mattson, Stockholm University and Royal Institute of Technology
  • Akos Kiss, University of Szeged
  • Ralf Laemmel, Universität Koblenz-Landau
  • Radu Marinescu, Politehnica University of Timisoara
  • Pavol Navrat, STU
  • Wilhelm Schaefer, University Paderborn
  • Tarja Systa, Tampere University of Technology
  • Arie van Deursen, Delft University of Technology
  • Daniel Varro, Budapest University of Technology and Economics
  • Andreas Winter, Carl von Ossietzky University

Processing Large Datasets

chair: Keith Jeffery, STFC Rutherford Appleton Laboratory, Didcot

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

PC members

  • Paolo Atzeni,Universita' Roma Tre
  • Juan Bicarregui,Science and Technology Facilities Council (UK)
  • Michael Brodie,Verizon
  • Keith Jeffery, STFC Rutherford Appleton Laboratory, Didcot (chair)
  • Michele Missikoff, IASI-CNR
  • Dimitris Plexousakis, Institute of Computer Science, FORTH
  • Jaroslav Pokorny, Charles University of Prague
  • Lutz Schubert, HLRS - University of Stuttgart
  • Arno Siebes, Universiteit Utrecht
  • Julius Stuller, Academy of Sciences of the Czech Republic
  • Patrick Valduriez, INRIA and LINA

Cryptography, Security and Trust

chair: Stefan Wolf, ETH Zurich, and Marko Vukolic, IBM Research

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

PC members

  • Gildas Avoine, UC Lueven
  • Jan Camenisch, IBM Research - Zurich
  • Yvo Desmedt, University College London
  • Matthias Fitzi, ETH Zurich
  • Helena Handschuh, Intrinsic-ID
  • Ruediger Kapitza, Universitaet Erlangen-Nuernberg
  • Engin Kirda, Eurecom
  • Corrado Leita, Symantec
  • Kirill Morozov, RCIS, AIST
  • Phong Nguyen, ENS
  • Jesper Buus Nielsen, Aarhus University
  • Krzysztof Pietrzak, CWI
  • Ahmad-Reza Sadeghi, Ruhr-Universitaet Bochum
  • Marco Serafini, Yahoo
  • Miroslava Sotakova
  • Paulo Verissimo, Universidade de Lisboa
  • Marko Vukolic, IBM Research - Zurich (co-chair)
  • Stefan Wolf, ETH Zurich (co-chair)
  • Juerg Wullschleger, University of Bristol

Student Research Forum

chair: Mária Bieliková, Slovak University of Technology, Bratislava

An integral part of SOFSEM 2011 is the Student Research Forum, organized with the aim to publish and discuss student 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. Paper accepted for local SRF proceedings will be provided with considerable space for presentation in the half day Student Research Forum session.

Proceedings



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