IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
SOFSEM 2020 : 46th International Conference on Current Trends in Theory and Practice of Computer Science
SOFSEM 2020 : 46th International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 2020 : 46th International Conference on Current Trends in Theory and Practice of Computer Science

Limassol, Cyprus
Event Date: January 20, 2020 - January 24, 2020
Abstract Submission Deadline: August 26, 2019
Submission Deadline: September 02, 2019
Notification of Acceptance: October 14, 2019
Camera Ready Version Due: October 28, 2019




Call for Papers

*** Call for Papers ***

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

http://cyprusconferences.org/sofsem2020/

*** Submission Deadline: August 26, 2019 ***

(Proceedings to be published by Springer)


INVITED SPEAKERS (list incomplete)

• Mikolaj Bojanczyk, 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.

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


PAPER SUBMISSION

Detailed guidelines for submission will appear shortly on the conference
web site (https://cyprusconferences.org/sofsem2020/). Papers must be
submitted electronically via Easychair in standard Springer format (max 12
pages). The submision link is:
https://easychair.org/my/conference?conf=sofsem2020 .
Submitted papers will undergo a peer review process.


PROCEEDINGS

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


IMPORTANT DATES

• August 26th, 2019: Submission of abstracts
• September 2nd, 2019: Submission of full papers
• October 14th, 2019: Notification of acceptance/rejection
• October 28th, 2019: Camera ready papers & author registration
• November 25th: Early (non author) registration
• January 20th - 24th, 2020: Conference dates


ORGANISATION

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

Webadmin
• Kyriakos Georgiades, Cyprus



Credits and Sources

[1] SOFSEM 2020 : 46th International Conference on Current Trends in Theory and Practice of Computer Science


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL

OTHER DATA SCIENCE EVENTS

ICHCSC 2025: 4th International Conference on Human-Centric Smart Computing (ICHCSC 2025)
Jaipur, India
Oct 10, 2025
ICITA 2025: ICITA 2025 Summer symposium
Sydney, Australia
Aug 11, 2025
ICITA 2026: ICITA 2026: 20th International Conference on Information Technology and Applications
Sydney, Australia
Jul 2, 2026
CoGamy 2025: 1st Workshop on Computational Gastronomy: Data Science for Food and Cooking
Washington D.C.
Nov 12, 2025
DASFAA 2026: The 31st International Conference on Database Systems for Advanced Application
Jeju, South Korea
Apr 27, 2026
SHOW ALL