Conference Details

46th International Conference On Current Trends In Theory And Practice Of Computer Science

  • Computer and Information Technology
  • Conference
  • Jan 20, 2020 - Jan 24, 2020
  • Atlantica Miramare 4* Beach Hotel
  • Limassol, Cyprus
  • Rating:
Paper Submission Date
Registration Date
Acceptance Notification Date


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.

List of Main Topics

  • Foundations of Computer Science
  • Foundations of Software Engineering
  • Foundations of Data Science
  • Foundations of Algorithmic Computational Biology


Mikolaj Boyanczyk, Poland

Erol Gelenbe, UK

Gunnar Klau, Germany

Elias Koutsoupias, UK

Submission Instructions


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.

Submission Dates

Abstract Date
Paper Date

Registration Fee and Instructions

450-550 EUR

Additional Information

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