SOFSEM 2012 := Tracks & Topics
SOFSEM 2012 consists of four tracks covering major subareas of current computer science: the traditional track on Foundations of Computer Science and three tracks devoted to leading developments in contemporary areas. Original contributions are solicited, presenting new research results in the theory and practice of computer science in each subarea designated for SOFSEM 2012 (see below). Each track has its own program chair and program committee, for peer reviewing and feedback to authors. Please consider the appropriate track of SOFSEM 2012 and join in the pleasant and stimulating atmosphere of SOFSEM.
SOFSEM 2012 consists of the following 4 tracks:
For students, there is the:
- Student Research Forum
Track Chair: Roman Špánek (Institute of Computer Science, Academy of Sciences, Czech Republic 
)
Foundations of Computer Science
The track is devoted to recognized core areas providing foundations for computer science. Contributions are typically distinguished by an emphasis on mathematical techniques, but quite often with significant impact on practical applications. Contributions illustrating the value of fundamental research for applications have traditionally received a lot of attention at the SOFSEM conference series since its inception in 1974, and are especially welcome in this track.
SPECIAL EVENT: SESSION ON TURING MACHINES.
In memory of Alan Turing, whose 100th anniversary is celebrated in 2012, this track 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.
Topics include (but are not limited to):
- algebraic and categorical models,
- algorithmic game theory,
- algorithms and data structures, including sequential,
parallel, distributed, randomized, online and
approximation algorithms,
- automata theory, grammars, formal languages, rewriting,
- computability and the Church-Turing thesis,
- computational biology,
- computational complexity,
- computational geometry,
- computational learning theory,
- discrete mathematics related to computer science,
- quantum computing,
- logics and semantics of programs,
- theory of databases, semi-structured data, and finite
model theory,
- theory of programming languages,
- Turing Machines.
|
Track Program Committee:
- Isolde Adler (Frankfurt, Germany
 )
- Andris Ambainis (Riga, Latvia
 )
- Sourav Chakraborty (Chenai, India
 )
- Ferdinando Cicalese (Salerno, Italy
 )
- Bhaskar Dasgupta (Chicago, USA
 )
- Michael Elkin (Beer-Sheva, Israel
 )
- Martin Grohe (Berlin, Germany )
- Vince Grolmusz (Budapest, Hungary
 )
- Kristoffer Hansen (Aarhus, Denmark
 )
- Lisa Hellerstein (New York, USA )
- Juraj Hromkovič (Zurich, Switzerland
 )
- Daniel Král (Prague, Czech Republic )
- Rastislav Královič (Bratislava, Slovakia
 )
- Shachar Lovett (Rehovot, Israel )
- Frederic Magniez (Paris, France
 )
- Victor Mitrana (Tarragona, Romania
 )
- Ronald Ortner (Leoben, Austria
 )
- Daniel Reidenbach (Loughborough,
United Kingdom  )
- Branislav Rovan (Bratislava, Slovakia )
- Davide Sangiorgi (Bologna, Italy )
- Ulrich Schöpp (Munich, Germany )
- Daniel Štefankovič (Rochester, USA )
- Balazs Szorenyi (Szeged, Hungary )
- Sophie Tison (Lille, France )
- Elad Verbin (Aarhus, Denmark )
- Heribert Vollmer (Hannover, Germany )
- Marek Zaionc (Krakow, Poland
 )
- Wieslaw Zielonka (Paris, France )
- Stanislav Živný (Oxford, United Kingdom )
|
Software & Web Engineering
The track is devoted to the research of novel and innovative principles and technologies to software and web engineering, including both application and data engineering along with service-based approaches. As the World Wide Web is an important major platform for delivering software applications and services and a source of data, specific methods and engineering techniques are necessary to successfully create, maintain, and test such applications and/or the content they work with.
Topics include (but are not limited to):
Software and Web Applications Engineering
- engineering methodologies,
- agile development,
- modelling and model driven development,
- requirements engineering,
- architecture and design,
- components and reuse,
- program comprehension and visualization,
- testing,
- human–computer interaction,
- tools and development environments,
- software dependability, safety and reliability,
- web service-based architectures and applications,
- semantic web services,
- web service composition.
Software and Web Data Engineering
- data and information modelling,
- data and information semantics,
- data privacy and security,
- semantics discovery and representation,
- social web applications,
- context aware applications,
- web 2.0 technologies,
- personalized software and web applications,
- web mining,
- information extraction,
- information retrieval,
- mobile data and Information,
- linked data consumption, visualisation and exploration,
- future Internet applications.
|
Track Program Committee:
- Ioannis Anagnostopoulos (Lamia, Greece
 )
- Miklos Biro (Budapest, Hungary )
- Přemek Brada (Pilsen, Czech Republic )
- Sven Casteleyn (Valencia, Spain
 )
- Florian Daniel (Trento, Italy )
- Peter Dolog (Aalborg, Denmark )
- Johann Eder (Klagenfurt, Austria )
- Hele-Mai Haav (Tallinn, Estonia
 )
- Eelco Herder (Hannover, Germany )
- Pavel Herout (Pilsen, Czech Republic )
- Jan Hidders (Delft, The Netherlands
 )
- Marina Jirotka (Oxford, United Kingdom )
- Milos Kravcik (Aachen, Germany )
- Petr Kroha (Chemnitz, Germany )
- Michal Laclavík (Bratislava, Slovakia )
- Martin Lopez-Nores (Vigo, Spain )
- Leszek Maciaszek (Wroclaw, Poland )
- Jerzy Nawrocki (Poznan, Poland )
- Pavol Návrat (Bratislava, Slovakia )
- Ján Paralič (Košice, Slovakia )
- Jaroslav Pokorný (Prague, Czech Republic )
- Karel Richta (Prague, Czech Republic )
- Vojtěch Svátek (Prague, Czech Republic )
- Petr Šaloun (Ostrava, Czech Republic )
- Július Štuller (Prague, Czech Republic )
- Massimo Tisi (Nantes, France )
- Valentino Vranić (Bratislava, Slovakia )
- Vincent Wade (Dublin, Ireland
 )
- Manuel Wimmer (Wien, Austria )
- Jaroslav Zendulka (Brno, Czech Republic )
|
Cryptography, Security, and Verification
This track is devoted to all aspects of cryptography, trust, information security, software reliability, computer-aided verification, and model checking. Special emphasis is laid on novel research results on the correctness and security of software, which are the backbone of critical infrastructures and services. Furthermore, we focus on security architectures, cryptographic primitives and protocols suitable to protect sensitive digital data during storage or processing.
Topics include (but are not limited to):
- cryptographic protocols and primitives,
- trusted and trustworthy computing,
- trusted hardware and virtualization,
- cloud computing security,
- trust management,
- system security,
- privacy and anonymity,
- data centric security and content protection,
- software security and secure software engineering,
- software verification and model checking,
- formal methods in software security and reliability,
- program analysis, testing and runtime analysis.
|
Track Program Committee:
- Frederik Armknecht (Mannheim, Germany )
- Roderick Bloem (Graz, Austria )
- Levente Buttyan (Budapest, Hungary )
- Ivana Černá (Brno, Czech Republic )
- Johannes Kinder (Darmstadt, Germany )
- Klaus Kursawe (Eindhoven, The Netherlands )
- Miroslaw Kutylowski (Wroclaw, Poland )
- Václav Matyáš (Brno, Czech Republic )
- Marius Minea (Timisoara, Romania )
- Bart Preneel (Leuven, Belgium
 )
- Ahmad-Reza Sadeghi (Bochum, Germany )
- Radu Sion (New York, USA )
- Boris Skoric (Eindhoven, The Netherlands )
- Helmut Veith (Vienna, Austria )
|
Artificial Intelligence
This track is devoted to all aspects of Artificial Intelligence and Knowledge representation and reasoning. In addition to contributions of more theoretical nature – which are always welcome –, the PC would be particularly happy to receive submissions on successful new applications of AI, for example, successful applications of constraint processing, SAT solving, automated diagnosis and configuration, and recommender systems.
Topics include (but are not limited to):
- multiagent systems,
- uncertainty in AI,
- game playing,
- applied machine learning,
- knowledge representation,
- logic programming,
- knowledge acquisition,
- recommender systems,
- intelligent user interaction,
- automated diagnosis and configuration,
- constraint processing,
- satisfiability (SAT solving, etc.),
- intelligent search,
- automated reasoning and theorem proving,
- planning,
- scheduling,
- common-sense reasoning,
- fuzzy systems,
- intelligent information systems,
- artificial conversational entities,
- web intelligence,
- ontological reasoning,
- KR-related aspects of the Semantic Web.
|
Track Program Committee:
- Roman Barták (Prague, Czech Republic )
- Petr Berka (Prague, Czech Republic )
- Ivan Bratko (Ljubljana, Slovenia
 )
- Gerd Brewka (Leipzig, Germany )
- Ondřej Čepek (Prague, Czech Republic )
- Agostino Dovier (Udine, Italy )
- Uwe Egly (Vienna, Austria )
- Wolfgang Faber (Calabria, Italy )
- Andreas Falkner (Vienna, Austria )
- Johann Gamper (Bozen-Bolzano, Italy )
- Martin Gebser (Potsdam, Germany )
- Martin Homola (Bratislava, Slovakia )
- Dietmar Jannach (Dortmund, Germany )
- Przemyslaw Kazienko (Wroclaw, Poland )
- Petr Kosina (Brno, Czech Republic )
- Michal Laclavik (Bratislava, Slovakia )
- Viliam Lisý (Prague, Czech Republic )
- Tadeusz Morzy (Poznan, Poland )
- Pavol Návrat (Bratislava, Slovakia )
- Michal Pěchouček (Prague, Czech Republic )
- Reinhard Pichler (Vienna, Austria )
- Axel Pollerers (Galway, Ireland )
- Markus Stumptner (Adelaide, Australia
 )
- Olga Štěpánková (Prague, Czech Republic )
- Hans Tompits (Vienna, Austria )
- Franz Wotawa (Graz, Austria )
|
Student Research Forum
The Student Research Forum (SRF) is organized as an integral part of the SOFSEM 2012 with the aim to publish and discuss student projects in the SOFSEM 2012 tracks. The SRF will offer students the opportunity to receive valuable feedback on the originality and quality of their scientific work results. The papers will be reviewed by the corresponding SOFSEM 2012 Program Committee as regular contributed papers and those of high quality will be included in the main proceedings published by Springer Verlag in LNCS series.
Student papers not accepted for a regular track but of sufficiently high quality will be published in the SOFSEM 2012 Student Research Forum local proceedings. Authors of the papers selected for SRF will have a nice opportunity to present their ideas in front of the main SOFSEM 2012 audience and also during a poster session organized as a integral part of the conference.
All authors of a paper must be students (except for their advisors). Sufficient space for discussion and exchange of experience will be provided during the forum itself and will continue throughout the conference.
Best Student Paper and Best Student Presentation will be awarded during the conference.
