
<html>

<head>

<title>HTML Message</title>

<meta name=generator content=Advanced HTML parser v2>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

</head>

<body>

<table border="0" width="100%" cellspacing="0" cellpadding="0">

<tr>

<td>

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

</td>

</tr>

</table>

<img src="http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTQwMAlMaXN0cwkxNTAJb3Blbglubwlubw==&url=" alt="LM Opening" height="1" width="1" />

</body>

</html>