Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Announce Announcements <[log in to unmask]>
Reply To:
Announce Announcements <[log in to unmask]>
Sat, 20 Apr 2019 17:03:36 +0300
text/plain (5 kB) , text/html (8 kB)
*** First 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

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

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


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

You can unsubscribe for this list at any time through this link:;