37th International Conference on Current Trends in Theory and Practice of Computer Science
=: SOFSEM := (Software Seminar) is an 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 are published in the Lecture Notes in Computer Science series 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 2010 offers in addition three, outstanding tracks: Software, Systems, and Services, Processing Large Datasets, and Security and Trust
SOFSEM is a unique meeting place of various fields of academic and industrial research, and and ideal conference for discussions, for establishing personal contacts with 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 young computer scientists.
Important dates
| abstracts deadline | September 5, 2010 |
| full papers deadline | September 10, 2010 |
| notification of acceptance | October 25, 2010 |
| camera ready version deadline | November 1, 2010 |
| early registration deadline | TBA |
| conference | January 22 - 28, 2011 |
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
All submissions (contributed papers in LNCS proceedings and student research forum papers in local proceedings) should be in PDF format, not exceeding 12 pages in the
LNCS style. The use of LaTeX in conjunction with the template
provided by Springer is a
recomended way to prepare the submissions.
For camera-ready version the typographical conventions of the LNCS will be enforced.
When submitting a paper, please indicate its eligibility to Student Research Forum (SRF). To be eligible, all authors of the paper must be students (except possibly their advisors).
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.
For the submission and reviewing process, the EasyChair Conference System system is used. For a paper submission,
at least the abstract must be entered to the system by September 5, 2010. The complete paper has to be present in the system by September 10, 2010.
Please note that the EasyChair Conference System requires registration, therefore if you don't have an account yet, we suggest you to obtain a new account in advance.
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
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.
Steering Committee of Sofsem
| Chair | Július Štuller | Institute of Computer Science, Czech Republic |
| Mária Bieliková | Slovak University of Technology, Slovakia | |
| Bernadette Charron-Bost | Ecole Polytechnique, France | |
| Keith Jeffery | CCLRC, United Kingdom | |
| Antonín Kučera | Masaryk University Brno, Czech Republic | |
| Jan van Leeuwen | Utrecht University, The Netherlands | |
| Branislav Rovan | Comenius University in Bratislava, Slovakia | |
| Petr Tůma | Charles University in Prague, Czech Republic |
High Tatras Mountains
The most compact mountains of alpine type in Europe are located on Slovakia’s northern border with Poland, both countries are members of European Union. The mountains also gave the name to the town of Vysoke Tatry, formed by several smaller settlements. Starý Smokovec, Štrbské Pleso and Tatranská Lomnica are best known of these. The unique, high mountain climate of High Tatras and its beneficial efects on the human body have been the main factors in the development of the region since the 19th century. Till today, the sanatoria, therapeutic institutions and spa hotels specialize in treatment of non-specific diseases of air-passages. The transport gateway to the mountains is the city of Poprad, with Poprad-Tatry airport and railway station, while the Electric Railway and public bus line connects the Tatra settlements. During winters, the area is visited by tourists enjoying numerous skiing opportunities.
Nový Smokovec
Founded in 1876 as a curative
settlement, Nový Smokovec (1018m) was the first one in High Tatras operated also during winters.
Soon it became the most luxurious spa of its period, and tourist services were
added. Notable is buildings are villa Szontágh (1876), local church (1887), sanatorium Palace (1934).
A number of new hotels were opened close before the World Ski Championship in 1970, among them also the former Park hotel, lately rebuilt into the hotel Atrium.
Atrium Hotel (formerly Park Hotel)
The hotel built at the foothill of the peak Slavkovský štít (2452m) enthralls the visitors with its unusual circular architecture. From the hotel rooms one has a beautiful view of the Tatra peaks or of the Sub-Tatra basin. Hotel facilities include bowling track, wine cellar, and a wide range of wellness programs. Only 50 m from the hotel is Jakubkova lúka (Jacob's Meadow), a well-known ski center ideal for children and starter skiers. Hrebienok, a sought-after ski center, is located about 200 m from the hotel. Next to the Hrebienok funicular railway there is the start of a unique attraction of the High Tatras – a 3 km long sledding track with the possibility of unforgettable night sledding. There is also an open ice area located about 150 m from the hotel.
getting there
The entry point for the High Tatras area is the railway station in the city of Poprad. The nearest airport is Poprad, however only a few flights land there. So we recommend flying to Bratislava, Košice or Vienna (Austria). From these points you can take a direct IC express or a fast train to Poprad. There is a direct connection by IC express or fast trains to Poprad from the following cities:
| Bratislava (4 hours, departures approximately every 2 hours) |
| Košice (2 hours, departures approximately every 2 hours) |
| Vienna (Austria) (6 hours, 2 direct trains a day, but approximately every 2 hours with changing trains in Bratislava) |
| Prague (7-9 hours, there are 4 direct trains a day, three of them being overnight trains with sleeping wagons, and several other connections with changing trains either in Bratislava or in Žilina). |
From Poprad take a direct connection from the Poprad railway station by Tatra's Electrical Railways (a mountain narrow-gauge train). The access to the platform for this train is upstairs from the hall in the railway station building. Take the trains directed to Štrbské Pleso. When you get to the station Starý Smokovec, prepare yourself for getting off at the next stop, which is Nový Smokovec (New Smokovec). After getting off, you will find yourself 50 meters from the entrance to the Atrium hotel.
When travelling by car, please note that in Slovakia, you need to have a highway-toll ticket, which can be bought at every petrol station. Moreover, because of low winter temperatures (−25°C to 10°C) and snow, you must have tires for winter season and also chains for the tires.
| Coming from the west by Road E50 or D1, i.e. from Žilina, you have to follow E50 up to Tatranská Štrba where you turn to the left in the direction to Štrbské Pleso. Then drive in the direction to Starý Smokovec/Smokovce. After passing by the sign announcing the city limits of Nový Smokovec/Smokovce you will see the Atrium hotel on your left after some 500 meters. |
| Coming from the east by Road E50, i.e. from Prešov or Košice, you will first pass through Poprad where you should watch for the signs navigating you to Starý Smokovec/Smokovce. After coming to Starý Smokovec/Smokovce and crossing the railroad, turn immediately to the left, follow the main street in Smokovce for about 1km and watch for the Atrium hotel on your right. |
| Coming from the north, i.e. from Poland, crossing the border in Lysa Polana/Javorina, follow the signs for Tatranská Lomnica and then to Starý Smokovec/Smokovce. After crossing the city limits of Horný Smokovec/Smokovce, follow the main street for about 2km and watch for the Atrium hotel on your right. |
hotel address
moving around
Should you like, in your free time, to begin a tour from a different point than Starý Smokovec, use Tatra's Electrical Railways which serve as a local transportation in the area of High Tatras. The nearest railway stop is Nový Smokovec and it is only some 50m away from the hotel entrance.
Proceedings
Organizers
Supported by
Created using Fluid 960 Grid, and Sofsems' webs. © Faculty of Mathematics, Physics, and Computer Science, Comenius University, 2010