Call for paper 〔OPEN〕

My Submissions

Registration 〔OPEN〕

My tickets




46th International Conference on Current Trends in Theory and

Practice of Computer Science (SOFSEM 2020)


Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus


January 20-24, 2020


*** Submission Deadline: July 29, 2019 ***


(Proceedings to be published by Springer)



INVITED SPEAKERS (list incomplete)


• 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.



General Chairs

• Yannis Manolopoulos, Open University of Cyprus, Cyprus

• George A. Papadopoulos, University of Cyprus, Cyprus


Steering Committee

• Barbara Catania, University of Genova, Italy

• Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland

• Jan van Leeuwen, Utrecht University, Utrecht, Netherlands

• Tiziana Margaria-Steffen, University of Limerick, Ireland

• Branislav Rovan, Comenius University, Bratislava, Slovakia

• Petr Saloun, Technical University of Ostrava, Czech Republic

• Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair


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


Student Research Forum Chair

• Theodoros Tzouramanis, Greece



• Kyriakos Georgiades, Cyprus

Call for paper

Important date

Abstract submission deadline
Draft paper submission deadline
Draft paper acceptance notification
Final paper submission deadline

The Track Chairs are soliciting technical papers for presentation at the

conference and inclusion in the proceedings published by Springer in the

ARCoSS/LNCS series. The topics of the conference are organised in four

tracks and the (non exhaustive) list of topics for each track is as follows:


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 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 Data Science

• Data Models and Query Languages

• Data Integration and Interoperability

• Query Processing and Optimization

• Distributed, Parallel, and P2P Data Processing and Management

• Data Semantics and Linked Data

• Spatial, Temporal, Multimedia Data

• Web- and Graph-based Data

• Probabilistic and Uncertain Data

• Information Extraction and Retrieval

• Data Privacy, Security, and Trust


Foundations of Algorithmic Computational Biology

• Alignment and assembly of sequences

• Biological networks

• Cancer genomics

• Comparative genomics

• Gene expression

• Phylogenetics

• Sequence analysis

• System biology





Detailed guidelines for submission will appear shortly on the conference

web site ( Papers must be

submitted electronically via Easychair in standard Springer format (max 12

pages). Submitted papers will undergo a peer review process.





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





• 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

• January 20-24, 2020: Conference Dates

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Jan 20



    Jan 24


  • Jul 29 2019

    Abstract Submission Deadline

  • Aug 05 2019

    Draft paper submission deadline

  • Sep 30 2019

    Draft Paper Acceptance Notification

  • Nov 25 2019

    Final Paper Deadline

Supported By
Contact Information
Scan the QR code×