SOFSEM 2021
47th International Conference on Current Trends in Theory and Practice of Computer Science
Bozen-Bolzano, Italy, January 25-28, 2021
http://sofsem2021.inf.unibz.it

--------------------------------------------------------------------
We all hope that in January 2021 the situation is back to normal and
that SOFSEM 2021 can be hold in Bozen-Bolzano. However, the PC will
monitor the situation, and for the case that the standard organization
is impossible, the conference will be virtual (as many other
conferences in these days). Therefore, the paper selection and
reviewing process will run as usual, and the accepted papers will be
published by Springer in the ARCoSS/LNCS series, independent of the
way the conference will be hold.
--------------------------------------------------------------------

--------------------------------------------------------------------
IMPORTANT DATES:
- abstract submission: July 27, 2020
- paper submission: August 3, 2020
- notification: September 21, 2020
- camera-ready copy: October 26, 2020
- submission site: http://sofsem2021.inf.unibz.it/submission.html
--------------------------------------------------------------------

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science, where the
latest results and developments in academic and industrial research in
leading areas of computer science are presented. SOFSEM has a
long-standing tradition of facilitating discussions and collegial
interactions. It is well-known for its familiar and inspiring
atmosphere and as a meeting place for active and leading computer
scientists. The program will consist of invited talks by prominent
researchers, contributed talks selected from the submitted papers, and
the Student Research Forum.

TRACKS

SOFSEM 2021 consists of four tracks covering major sub-areas of
computer science. Each track has its own program chair and program
committee for peer review and feedback to authors. Please select the
appropriate track of SOFSEM 2021 for your contribution.

Track: Foundations of Computer Science
--------------------------------------
- Algorithms and data structures
- Automata and formal languages
- Complexity theory
- Computability theory
- Cryptography and security
- Graphs and networks
- Machine learning
- Non-classical models of computing
- Theory of databases, semi-structured data, and finite model theory
- Theory of programming languages

Track: Foundations of Software Engineering
------------------------------------------
- Methods and tools for improved software processes
- Software architecture of complex software-intensive systems
- Requirements Engineering
- Model-based software engineering methods and tools
- Data-driven improvement of methods, models, and tools
- Methods and tools for software engineering applications
- Empirical Software Engineering
- Software architectures for self-adaptive and self-optimizing systems
- Methods and models for cloud and edge-cloud systems
- AI in modern software systems
- Trustworthiness and qualities of modern software systems

Track: Foundations of Data Science and Engineering
--------------------------------------------------
- Data Models and Query Languages
- Data Integration and Interoperability
- Query Processing and Optimization
- Spatial, Temporal, Multimedia Data
- Web- and Graph-based Data
- Probabilistic and Uncertain Data
- Information Extraction and Retrieval
- Data Privacy, Security, and Trust
- Distributed, Parallel, and P2P Data Processing and Management
- Data Semantics and Linked Data

Track: Foundations of Algorithmic Computational Biology
-------------------------------------------------------
- Alignment and assembly of sequences
- Biological networks
- Cancer genomics
- Comparative genomics
- Gene expression
- Phylogenetics
- Sequence analysis
- System biology

SUBMISSION GUIDELINES

We solicit papers that describe original research works that are
relevant to the tracks listed above and not published or under review
elsewhere. Papers must be submitted electronically via Easychair in
Springer format (max 12 pages). Submitted papers will undergo a peer
review process. Detailed submission guidelines are here:
https://sofsem2021.inf.unibz.it/submission.html

PROCEEDINGS

The proceedings will be published by Springer in the ARCoSS/LNCS series.

VENUE

The SOFSEM 2021 Conference will be hosted at the Free University of
Bozen-Bolzano, Italy. Bozen-Bolzano is the capital city of the
Province of South Tyrol located in the heart of the Alps. The city is
famous for the 5000 year old iceman "Ötzi" in the archaeological
museum and as an entrance to the Dolomites, a UNESCO World Heritage
Site.

We very much look forward to your submissions:

GENERAL CHAIRS
- Johann Gamper, Free University of Bozen-Bolzano, IT
- Claus Pahl, Free University of Bozen-Bolzano, IT

TRACK CHAIRS
Foundations of Computer Science:
- Tomasz Jurdziński, University of Wroclaw, PL
- Prudence Wong, University Liverpool, UK

Foundations of Software Engineering:
- Tomáš Bureš, Charles University Prague, CZ

Foundations of Data Science and Engineering:
- Giovanna Guerrini, University of Genua, IT

Foundations of Algorithmic Computational Biology:
- Riccardo Dondi, University of Bergamo, IT
- Florian Sikora, Université Paris-Dauphine, FR

STEERING COMMITTEE
- Julius Stuller, Academy of Sciences, Prague, CZ (chair)
- Barbara Catania, University of Genova, IT
- Miroslaw Kutylowski, Wroclaw University of Technology, PL
- Tiziana Margaria-Steffen, University of Limerick, IE
- Branislav Rovan, Comenius University, Bratislava, SK
- Petr Saloun, Technical University of Ostrava, CZ
- Jan van Leeuwen, Utrecht University, Utrecht, NL