Tuesday, June 4, 2019


46th International Conference on Current Trends in Theory & Practice of
Computer Science (SOFSEM 2020)
20-24 JANUARY 2020, Limassol, Cyprus


• Mikolaj Boyanczyk, Poland
• Erol Gelenbe, UK
• Gunnar Klau, Germany
• Elias Koutsoupias, UK

SOFSEM (SOFtware SEMinar) is an annual international winter conference
devoted to the theory and practice of computer science. The first SOFSEM
was organized in 1974. SOFSEM consists of invited talks by prominent
researchers, of contributed talks selected from the submitted papers, and
of the Student Research Forum. The program is organized in plenary talks
and parallel tracks devoted to original research in the selected research
areas. 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. SOFSEM is a track-based conference. It features the traditional
track on foundations of computer science and a number of other tracks that
cover contemporary important areas, such as artificial intelligence,
cryptography, security, verification, data science, knowledge engineering,
social computing and human factors, software and web engineering, etc.

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

Foundations of Data Science
• 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

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

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

July 29th, 2019: Submission of abstracts
August 5th, 2019: Submission of full papers
September 30th, 2019: Notification of Acceptance/Rejection
November 25th, 2019: Camera Ready Papers, registration deadline

Please follow guidelines: https://cyprusconferences.org/sofsem2020. Papers
must be submitted electronically via Easychair in Springer format (max 12
pages). Submitted papers will undergo a peer review process.

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

General Chairs
• Yannis Manolopoulos, Cyprus
• George Papadopoulos, Cyprus

Tracks and Track Chairs
• Foundations of Computer Science: Christos Kapoutsis, Qatar
• Foundations of Data Science: Herodotos Herodotou, Cyprus
• Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece
• Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy
and Florian Sikora, France

Steering Committee
• Barbara Catania, Italy
• Miroslaw Kutylowski, Poland
• Tiziana Margaria-Steffen, Ireland
• Branislav Rovan, Slovakia
• Petr Saloun, Czech Republic
• Julius Stuller, Czech Republic, chair
• Jan van Leeuwen, Netherlands

Student Research Forum Chair
• Theodoros Tzouramanis, Greece

• Kyriakos Georgiades, Cyprus

* Contributions to be spread via DMANET are submitted to
* DMANET@zpr.uni-koeln.de
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/