
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class=""><b class="">*** Second Call for Papers ***</b></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class="">46th International Conference on Current Trends in Theory and</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class="">Practice of Computer Science (SOFSEM 2020)</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class="">Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class="">January 20-24, 2020</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class=""><a href="http://cyprusconferences.org/sofsem2020/" class="">http://cyprusconferences.org/sofsem2020/</a></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande';" class="">*** Submission Deadline: July 29, 2019 ***</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">(Proceedings to be published by Springer)</div><div style="margin: 0px; font-size: 18px; line-height: normal; font-family: 'Lucida Grande'; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">INVITED SPEAKERS (list incomplete)</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Mikolaj Bojanczyk, Poland</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="line-height: normal; font-family: 'Lucida Grande';" class="">• </span>Erol Gelenbe, UK</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="line-height: normal; font-family: 'Lucida Grande';" class="">• </span>Gunnar Klau, Germany</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="line-height: normal; font-family: 'Lucida Grande';" class="">• </span>Elias Koutsoupias, UK</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">SOFSEM (SOFtware SEMinar) is an annual international winter conference</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">devoted to the theory and practice of computer science. The first SOFSEM was</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">organized in 1974. SOFSEM consists of invited talks by prominent</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">researchers, of contributed talks selected from the submitted papers, and of</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">the Student Research Forum. The program is organized in plenary talks and</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">parallel tracks devoted to original research in the selected research areas.</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">SOFSEM has a long-standing tradition of facilitating discussions and collegial</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">interactions. It is well-known for its familiar and inspiring atmosphere and as</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">a meeting place for active and leading computer scientists. SOFSEM is a</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">track-based conference. It features the traditional track on foundations of</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">computer science and a number of other tracks that cover contemporary</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">important areas, such as artificial intelligence, cryptography, security,</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">verification, data science, knowledge engineering, social computing and</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">human factors, software and web engineering, etc. </div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">The Track Chairs are soliciting technical papers for presentation at the</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">conference and inclusion in the proceedings published by Springer in the</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">ARCoSS/LNCS series. The topics of the conference are organised in four</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">tracks and the (non exhaustive) list of topics for each track is as follows:</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Foundations of Computer Science</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Algorithms and data structures</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Automata and formal languages </div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Complexity theory</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Computability theory</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Cryptography and security</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Graphs and networks </div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Machine learning</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Non-classical models of computing</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Theory of databases, semi-structured data, and finite model theory</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Theory of programming languages</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Foundations of Software Engineering</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Methods and tools for improved software processes</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Software architecture of complex software-intensive systems</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Requirements Engineering</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Model-based software engineering methods and tools</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Data-driven improvement of methods, models, and tools</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Methods and tools for software engineering applications</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Empirical Software Engineering</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Foundations of Data Science</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Data Models and Query Languages</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Data Integration and Interoperability</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Query Processing and Optimization</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Distributed, Parallel, and P2P Data Processing and Management</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Data Semantics and Linked Data</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Spatial, Temporal, Multimedia Data</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Web- and Graph-based Data</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Probabilistic and Uncertain Data</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Information Extraction and Retrieval</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Data Privacy, Security, and Trust</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Foundations of Algorithmic Computational Biology</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Alignment and assembly of sequences</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Biological networks</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Cancer genomics</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Comparative genomics</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Gene expression</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Phylogenetics</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Sequence analysis</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• System biology</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">PAPER SUBMISSION</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">Detailed guidelines for submission will appear shortly on the conference</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">web site (<a href="https://cyprusconferences.org/sofsem2020/" class="">https://cyprusconferences.org/sofsem2020/</a>). Papers must be</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">submitted electronically via Easychair in standard Springer format (max 12</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">pages). Submitted papers will undergo a peer review process.</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class="">PROCEEDINGS</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva; min-height: 21px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class="">The proceedings will be published by Springer in the ARCoSS/LNCS series. </div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">IMPORTANT DATES</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• July 29th, 2019: Submission of abstracts</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• August 5th, 2019: Submission of full papers</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• September 30th, 2019: Notification of Acceptance/Rejection</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• November 25th, 2019: Camera Ready Papers, registration deadline</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• January 20-24, 2020: Conference Dates</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">ORGANISATION</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">General Chairs</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Yannis Manolopoulos, Open University of Cyprus, Cyprus</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• George A. Papadopoulos, University of Cyprus, Cyprus</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Steering Committee</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Barbara Catania, University of Genova, Italy</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Jan van Leeuwen, Utrecht University, Utrecht, Netherlands</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Tiziana Margaria-Steffen, University of Limerick, Ireland</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Branislav Rovan, Comenius University, Bratislava, Slovakia</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Petr Saloun, Technical University of Ostrava, Czech Republic</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class=""><span style="text-decoration: underline" class="">Tracks and Track Chairs</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Foundations of Computer Science: Christos Kapoutsis, Qatar</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Foundations of Data Science: Herodotos Herodotou, Cyprus</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">• Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande';" class="">and Florian Sikora, France</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="text-decoration: underline" class="">Student Research Forum Chair</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="line-height: normal; font-family: 'Lucida Grande';" class="">• </span>Theodoros Tzouramanis, Greece</div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: 'Lucida Grande'; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="text-decoration: underline" class="">Webadmin</span></div><div style="margin: 0px; font-size: 16px; line-height: normal; font-family: Geneva;" class=""><span style="line-height: normal; font-family: 'Lucida Grande';" class="">• </span>Kyriakos Georgiades, Cyprus</div><div class=""><br class=""></div></body></html>