{"id":6,"date":"2018-11-27T09:27:57","date_gmt":"2018-11-27T09:27:57","guid":{"rendered":"http:\/\/cyprusconferences.org\/sofsem2020\/?page_id=6"},"modified":"2020-01-31T12:01:25","modified_gmt":"2020-01-31T12:01:25","slug":"home","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/sofsem2020\/","title":{"rendered":"Home"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.17.6&#8243; background_color=&#8221;rgba(53,53,53,0.47)&#8221; background_image=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/02\/lim.jpg&#8221; background_blend=&#8221;multiply&#8221; custom_padding=&#8221;203px|0px|259px|0px|false|false&#8221;][et_pb_row _builder_version=&#8221;3.17.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.17.6&#8243; parallax=&#8221;off&#8221; parallax_method=&#8221;on&#8221;][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2018\/11\/logo_sofsem.png&#8221; align=&#8221;center&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;32%&#8221;][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.17.6&#8243; custom_padding=&#8221;50px|0px|50px|0|false|false&#8221;][et_pb_row _builder_version=&#8221;3.17.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.17.6&#8243; parallax=&#8221;off&#8221; parallax_method=&#8221;on&#8221;][et_pb_text _builder_version=&#8221;3.17.6&#8243; background_color=&#8221;#e09900&#8243; border_radii=&#8221;on|3px|3px|3px|3px&#8221; custom_padding=&#8221;6px||6px&#8221;]<\/p>\n<h3 style=\"text-align: center;\"><span style=\"color: #ffffff;\">Best Paper Award<\/span><\/h3>\n<p style=\"text-align: center;\"><span style=\"color: #ffffff;\">The Best Paper Award Nomination Committee consisting of the General and Program Chairs has decided that the paper:<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #ffffff;\"><strong><em>\u201cOn the Average State Complexity of Partial Derivative Transducers<\/em>\u201d\u00a0<\/strong><\/span><br \/><span style=\"color: #ffffff;\">Stavros Konstantinidis, Ant\u00f3nio Machiavelo, Nelma Moreira and Rog\u00e9rio Reis<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"color: #ffffff;\">will be awarded the SOFSEM\u20192020 Best Paper Award! Our warmest congratulations!<\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243; background_color=&#8221;#007fe8&#8243; border_radii=&#8221;on|3px|3px|3px|3px&#8221;]<\/p>\n<h4 style=\"text-align: center;\"><span style=\"color: #ffffff;\"><\/span><\/h4>\n<h4 style=\"text-align: center;\"><a href=\"http:\/\/cyprusconferences.org\/sofsem2020\/proceedings\"><span style=\"color: #ffffff;\"><span style=\"text-decoration: underline;\">The conference proceedings are available via SpringerLink for a limited time period, click for more information<\/span><\/span><\/a><\/h4>\n<p style=\"text-align: center;\"><span style=\"color: #ffffff;\">The page is password locked; if you misplaced the password please send us an email<\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243;]<\/p>\n<h2 style=\"text-align: center;\">Welcome to SOFSEM<\/h2>\n<p style=\"text-align: center; font-size: 20px;\">46th International Conference on Current Trends in Theory and Practice of Computer Science<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;3.17.6&#8243;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.17.6&#8243; parallax=&#8221;off&#8221; parallax_method=&#8221;on&#8221;][et_pb_divider divider_weight=&#8221;2px&#8221; height=&#8221;29px&#8221; _builder_version=&#8221;3.17.6&#8243; filter_hue_rotate=&#8221;210deg&#8221;][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;3.17.6&#8243;][et_pb_column type=&#8221;3_4&#8243; _builder_version=&#8221;3.17.6&#8243; parallax=&#8221;off&#8221; parallax_method=&#8221;on&#8221;][et_pb_text _builder_version=&#8221;3.17.6&#8243;]<\/p>\n<p style=\"font-size: 17px; text-align: justify;\">SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. It presents the latest results and developments in academic and industrial research in leading areas of the field. The first SOFSEM was organized in 1974.<\/p>\n<p style=\"font-size: 17px; text-align: justify;\">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 governed by the\u00a0<a href=\"http:\/\/cyprusconferences.org\/sofsem2020\/index.php\/committees\/\" data-toggle=\"modal\" data-target=\"#Steering\" rel=\"noopener noreferrer\">Steering Committee<\/a>.<\/p>\n<p style=\"font-size: 17px; text-align: justify;\">SOFSEM is a track &#8211; based conference. It features the traditional track on foundations of computer science and a number of other tracks that over the years have evolved to cover and address 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 proceedings\u00a0 are published in the prestigious ARCoSS (Advanced Research in Computing and Software Science) subseries of Springer&#8217;s Lecture Notes in Computer Science (LNCS) series.<\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243; background_color=&#8221;#0c71c3&#8243; border_radii=&#8221;on|4px|4px|4px|4px&#8221; border_width_all=&#8221;5px&#8221; border_color_all=&#8221;#0c71c3&#8243; disabled_on=&#8221;on|on|on&#8221;]<\/p>\n<h3><span style=\"color: #ffffff;\">Best Paper Award<\/span><\/h3>\n<p><span style=\"color: #ffffff;\">To support the authors an award of \u20ac1,000 in recognition of their outstanding work will be offered, graciously sponsored by\u00a0<a href=\"https:\/\/www.springer.com\/gp\/\" style=\"color: #ffffff;\">Springer.\u00a0<\/a><\/span><\/p>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243;]<\/p>\n<h3>Previous SOFSEMs<\/h3>\n<ul>\n<li><a href=\"https:\/\/beda.dcs.fmph.uniba.sk\/sofsem2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2019<\/a>\u00a0\u00a0\u00a0\u00a0January 27\u2013 30, 2019, Nov\u00fd Smokovec, Slovakia<\/li>\n<li><a href=\"https:\/\/sofsem2018.ocg.at\/\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2018<\/a>\u00a0\u00a0\u00a0\u00a0January 29\u2013 February 2, 2018, Krems an der Donau, Austria<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem17\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2017<\/a>\u00a0\u00a0\u00a0\u00a0January 17 \u2013 20, 2016, Lero \u2013 Limerick, Ireland<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem16\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2016<\/a>\u00a0\u00a0\u00a0\u00a0January 23 \u2013 28, 2016, Harrachov, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem15\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2015<\/a>\u00a0\u00a0\u00a0\u00a0January 24 \u2013 29, 2015, Pec pod Sn\u011b\u017ekou, Czech Republic<\/li>\n<li><a href=\"http:\/\/sofsem14.ics.upjs.sk\/Sofsem\/Home\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2014<\/a>\u00a0\u00a0\u00a0\u00a0January 25 \u2013 30, 2014, High Tatras, Slovak Repubic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem13\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2013<\/a>\u00a0\u00a0\u00a0\u00a0January 26 \u2013 31, 2013, \u0160pindler\u016fv Ml\u00fdn, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem12\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2012<\/a>\u00a0\u00a0\u00a0\u00a0January 21 \u2013 27, 2012, \u0160pindler\u016fv Ml\u00fdn, Czech Republic<\/li>\n<li><a href=\"https:\/\/web.archive.org\/web\/20110207171810\/http:\/\/kedrigern.dcs.fmph.uniba.sk\/kralovic\/sofsem2011\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2011<\/a>\u00a0\u00a0\u00a0\u00a0January 22 \u2013 28, 2011, High Tatras, Slovak Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem10\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2010<\/a>\u00a0\u00a0\u00a0\u00a0January 23 \u2013 29, 2010, \u0160pindler\u016fv Ml\u00fdn, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem09\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2009<\/a>\u00a0\u00a0\u00a0\u00a0January 24 \u2013 30, 2009, \u0160pindler\u016fv Ml\u00fdn, Czech Republic<\/li>\n<li><a href=\"http:\/\/ics.upjs.sk\/sofsem08\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2008<\/a>\u00a0\u00a0\u00a0\u00a0January 19 \u2013 25, 2008, High Tatras, Slovak Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem07\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2007<\/a>\u00a0\u00a0\u00a0\u00a0January 20 \u2013 26, 2007, Harrachov, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem06\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2006<\/a>\u00a0\u00a0\u00a0\u00a0January 21 \u2013 27, 2006, M\u011b\u0159\u00edn, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.sk\/sofsem05\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2005<\/a>\u00a0\u00a0\u00a0\u00a0January 22 \u2013 28, 2005, Liptovsk\u00fd J\u00e1n, Slovak Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem04\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2004<\/a>\u00a0\u00a0\u00a0\u00a0January 24 \u2013 30, 2004, M\u011b\u0159\u00edn, Czech Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem02\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2002<\/a>\u00a0\u00a0\u00a0\u00a0November 22 \u2013 29, 2002, Milovy, Czech Republic<\/li>\n<li><a href=\"http:\/\/web.archive.org\/web\/20070716100459\/http:\/www.sofsem.sk\/sofsem05\/\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2001<\/a>\u00a0\u00a0\u00a0\u00a0November 24 \u2013 December 1, 2001, Pie\u0161\u0165any, Slovak Republic<\/li>\n<li><a href=\"http:\/\/www.sofsem.cz\/sofsem00\" target=\"_blank\" rel=\"noopener noreferrer\">SOFSEM 2000<\/a>\u00a0\u00a0\u00a0\u00a0November 25 \u2013 December 2, 2000, Milovy, Czech Republic<\/li>\n<\/ul>\n<p>&nbsp;[\/et_pb_text][\/et_pb_column][et_pb_column type=&#8221;1_4&#8243; _builder_version=&#8221;3.17.6&#8243; parallax=&#8221;off&#8221; parallax_method=&#8221;on&#8221;][et_pb_text _builder_version=&#8221;3.17.6&#8243;]<\/p>\n<h2>HOST ORGANIZATIONS<\/h2>\n<p>[\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243;][\/et_pb_text][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2018\/11\/ucylogo.jpg&#8221; url=&#8221;http:\/\/www.ucy.ac.cy\/en\/&#8221; _builder_version=&#8221;3.17.6&#8243;][\/et_pb_image][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2018\/11\/1200px-Open_University_of_Cyprus_OUC.svg_.png&#8221; url=&#8221;http:\/\/www.ouc.ac.cy\/web\/guest\/home&#8221; _builder_version=&#8221;3.17.6&#8243;][\/et_pb_image][et_pb_divider _builder_version=&#8221;3.17.6&#8243;][\/et_pb_divider][et_pb_text _builder_version=&#8221;3.17.6&#8243;][\/et_pb_text][et_pb_text _builder_version=&#8221;3.17.6&#8243;]<\/p>\n<h2>SPONSORS<\/h2>\n<p>[\/et_pb_text][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/07\/Springer.png&#8221; url=&#8221;https:\/\/www.springer.com\/gp&#8221; url_new_window=&#8221;on&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;82%&#8221;][\/et_pb_image][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/02\/austrian_black.png&#8221; url=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/travel-information\/&#8221; url_new_window=&#8221;on&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;82%&#8221;][\/et_pb_image][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/01\/kot.png&#8221; url=&#8221;http:\/\/www.visitcyprus.com\/index.php\/el\/&#8221; url_new_window=&#8221;on&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;78%&#8221; module_alignment=&#8221;left&#8221;][\/et_pb_image][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/11\/Cyprus_PassionForSuccess_LogoFinal2-320&#215;190.jpg&#8221; url=&#8221;https:\/\/www.visitcyprus.com\/index.php\/en\/discovercyprus\/ccb&#8221; url_new_window=&#8221;on&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;80%&#8221;][\/et_pb_image][et_pb_image src=&#8221;http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/11\/Cyprus-Deputy-Ministry-of-Tourism.png&#8221; url=&#8221;https:\/\/www.visitcyprus.com\/index.php\/en\/&#8221; url_new_window=&#8221;on&#8221; _builder_version=&#8221;3.17.6&#8243; max_width=&#8221;76%&#8221; module_alignment=&#8221;left&#8221;][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.17.6&#8243;][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Best Paper Award The Best Paper Award Nomination Committee consisting of the General and Program Chairs has decided that the paper: \u201cOn the Average State Complexity of Partial Derivative Transducers\u201d\u00a0Stavros Konstantinidis, Ant\u00f3nio Machiavelo, Nelma Moreira and Rog\u00e9rio Reis will be awarded the SOFSEM\u20192020 Best Paper Award! Our warmest congratulations! The conference proceedings are available via [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages\/6"}],"collection":[{"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":54,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":685,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages\/6\/revisions\/685"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}