{"id":8,"date":"2018-11-27T09:28:53","date_gmt":"2018-11-27T09:28:53","guid":{"rendered":"http:\/\/cyprusconferences.org\/sofsem2020\/?page_id=8"},"modified":"2020-01-20T13:37:44","modified_gmt":"2020-01-20T13:37:44","slug":"program","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/sofsem2020\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”3.17.6″][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.6″]<\/p>\n

Program<\/h1>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row custom_padding=”27px|0px|0|0px|false|false” _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_divider divider_weight=”3px” _builder_version=”3.17.6″ filter_hue_rotate=”212deg”][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row make_fullwidth=”on” custom_padding=”5px|0px|27px|0px|false|false” _builder_version=”3.17.6″ module_alignment=”center”][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code _builder_version=”3.17.6″]<\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n <\/p>\n
\u00a0<\/td>\n

<\/p>\n

\n

Monday 20\/1<\/h4>\n<\/td>\n

<\/p>\n

\n

Tuesday 21\/1<\/h4>\n<\/td>\n

<\/p>\n

\n

Wednesday 22\/1<\/h4>\n<\/td>\n

<\/p>\n

\n

Thursday 23\/1<\/h4>\n<\/td>\n

\t <\/p>\n

\n

Friday 24\/1<\/h4>\n<\/td>\n

<\/tr>\n

<\/p>\n

8:00 \/ 8:30<\/strong><\/td>\n

<\/p>\n

Registration<\/td>\n

<\/p>\n

Registration<\/td>\n

<\/p>\n

Registration<\/td>\n

<\/p>\n

Registration<\/td>\n

\t <\/p>\n

The lecture halls will be reserved for participants to organize thematic meetings around the topics of the conference and discussions on related research problems. <\/td>\n

<\/tr>\n

<\/p>\n

8:30-9:00<\/strong><\/td>\n

<\/p>\n

Opening Session<\/td>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

\u00a0<\/td>\n

<\/tr>\n

<\/p>\n

9:00-10:30<\/strong><\/td>\n

<\/p>\n

Keynote 1: Erol Gelenbe<\/td>\n

<\/p>\n

Keynote 2: Ernesto Damiani<\/td>\n

<\/p>\n

Keynote 3: Gunnar Klau<\/td>\n

<\/p>\n

Keynote 5: Elias Koutsoupias<\/td>\n

<\/tr>\n

<\/p>\n

10:30-11:00<\/strong><\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

<\/p>\n

11:00-12:30<\/strong><\/td>\n

<\/p>\n

Session 1 (FCS): Context Free Languages and Orderings<\/td>\n

<\/p>\n

Session 2 (FDCE): Data Mining and Knowledge Discovery<\/td>\n

<\/p>\n

Session 7 (FCS): Paramaterized Complexity<\/td>\n

<\/p>\n

Session: Student Research Forum 1<\/td>\n

<\/p>\n

Session 12 (FDSE): Machine Learning Explanation and Applications<\/td>\n

<\/p>\n

Session: Student Research Forum 2<\/td>\n

<\/p>\n

Session 13 (FCS): Synthesis and Analysis of Programs<\/td>\n

<\/p>\n

Session 14 (FSE): Testing and Security Assessment<\/td>\n

<\/tr>\n

<\/p>\n

12:30-14:00<\/strong><\/td>\n

<\/p>\n

Lunch break<\/td>\n

<\/p>\n

Lunch break<\/td>\n

<\/p>\n

Lunch break<\/td>\n

<\/p>\n

Lunch break<\/td>\n

<\/tr>\n

<\/p>\n

14:00-15:30<\/strong><\/td>\n

<\/p>\n

Session 3 (FCS): Algorithms for Scheduling and Testing<\/td>\n

<\/p>\n

Session 4 (FDSE): Data Modeling and Applications<\/td>\n

<\/p>\n

Session 8 (FCS): Approximation Algorithms on Graphs, Crystals and Qubits<\/td>\n

<\/p>\n

Session 9 (FACB): Algorithms for Biological Sequences<\/td>\n

<\/p>\n

Keynote 4: Mikolaj Boja\u0144czyk\u00a0<\/td>\n

<\/p>\n

Session 15 (FCS): Games and Influence Spreading in Graphs<\/td>\n

<\/p>\n

Session 16 (FSE): Good Programming Practices<\/td>\n

<\/tr>\n

<\/p>\n

15:30-16:00<\/strong><\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/p>\n

Tour and Conference Dinner16:00-22:00<\/strong><\/td>\n

<\/p>\n

Coffee break<\/td>\n

<\/tr>\n

<\/p>\n

16:00-17:30<\/strong><\/td>\n

<\/p>\n

Session 5 (FCS): Algorithms on Strings<\/td>\n

<\/p>\n

Session 6 (FDSE): Natural Language Processing<\/td>\n

<\/p>\n

Session 10 (FCS): Aspects of Transducers, Tree Automata and Oritatami Systems<\/td>\n

<\/p>\n

Session 11 (FACB): Biological Networks<\/td>\n

<\/p>\n

Session 17 (FCS): Spanning, Covering and Visualizing Graphs<\/td>\n

<\/p>\n

Session 18 (FSE): Domain-specific Approaches in Software engineering<\/td>\n

<\/tr>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Welcome Reception 18:30-20:00<\/strong><\/td>\n

<\/p>\n

\u00a0<\/td>\n

<\/p>\n

Closing Session 17:30-18:00<\/strong><\/td>\n

\t <\/p>\n

\u00a0<\/td>\n

<\/tr>\n

<\/table>\n

[\/et_pb_code][\/et_pb_column][\/et_pb_row][et_pb_row make_fullwidth=”on” _builder_version=”3.17.6″ module_alignment=”center”][et_pb_column type=”1_5″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/program\/#mon” button_text=”Monday 20\/1″ button_alignment=”center” module_id=”#mon” _builder_version=”3.17.6″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/program\/#tue” button_text=”Tuesday 21\/01″ button_alignment=”center” module_id=”#tue” _builder_version=”3.17.6″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/program\/#wed” button_text=”Wednesday 22\/1″ button_alignment=”center” module_id=”#wed” _builder_version=”3.17.6″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/program\/#thu” button_text=”Thursday 23\/1″ button_alignment=”center” module_id=”#thu” _builder_version=”3.17.6″][\/et_pb_button][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/program\/#fri” button_text=”Friday 24\/1″ button_alignment=”center” module_id=”#thu” _builder_version=”3.17.6″][\/et_pb_button][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_text _builder_version=”3.17.6″]<\/p>\n

Detailed Program<\/h2>\n

[\/et_pb_text][et_pb_button button_url=”http:\/\/cyprusconferences.org\/sofsem2020\/wp-content\/uploads\/2019\/12\/SOFSEM2020_Analytic_program_13122019.pdf” button_text=”Download as a PDF” button_alignment=”center” disabled_on=”on|on|on” _builder_version=”3.17.6″ custom_margin=”0px||0px” custom_padding=”||”][\/et_pb_button][et_pb_text _builder_version=”3.17.6″]<\/p>\n

Last updated: 20 Jan, 2020<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code module_id=”mon” _builder_version=”3.17.6″]<\/p>\n

Monday, January 20<\/h3>\n

<\/p>\n

\n

[\/et_pb_code][et_pb_text _builder_version=”3.17.6″]<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
08:00<\/td>\nRegistration<\/td>\n<\/tr>\n
08:30- 09:00<\/td>\nOpening Session<\/td>\n<\/tr>\n
09:00-10:30<\/td>\nPlenary Session 1:
Keynote 1: Erol Gelenbe
<\/strong>Machine Learning for Cognitive Network to Optimize QoS, Minimize Energy Consumption and Maximize Security<\/em><\/p>\n

Chair: Apostolos Zarras<\/p>\n<\/td>\n<\/tr>\n

10:30-11:00<\/td>\nCoffee break<\/td>\n<\/tr>\n
11:00-12:30<\/td>\nSession 1 (FCS): Context Free Languages and Orderings
<\/strong>Chair: Shinnosuke Seki<\/td>\n		Session 2 (FDSE): Data Mining and Knowledge Discovery
<\/strong>Chair: Boris Novikov<\/td>\n<\/tr>\n
A Characterization of the Context-free Languages by Stateless Ordered Restart-Delete Automata<\/em><\/strong>\u00a0<\/strong>
Friedrich Otto<\/td>\n		The HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets<\/em><\/strong>
<\/em>\u00a0Xavier Ouvrard, Jean-Marie Le Goff and Stephane Marchand-Maillet<\/td>\n<\/tr>\n
Kernels of Sub-classes of Context-Free Languages<\/em><\/strong>\u00a0<\/strong>
Martin Kutrib<\/td>\n		POI Recommendation Based on Locality-specific Seasonality and Long-term Trends<\/em><\/strong>
Elena Stefancova and Ivan Srba<\/td>\n<\/tr>\n
The Order Type of Scattered Context-free Orderings of Rank One is Computable<\/em><\/strong>
Kitti Gelle and Scabolcs Ivan<\/td>\n		GRaCe: a Relaxed Approach for Graph Query Caching (short)<\/em><\/strong>
<\/strong>Francesco De Fino, Barbara Catania and Giovanna Guerrini<\/td>\n<\/tr>\n
12:30-14:00<\/td>\nLunch Break<\/td>\n<\/tr>\n
14:00-15:30<\/td>\nSession 3 (FCS): Algorithms for Scheduling and Testing
<\/strong>Chair: Rogerio Reis<\/td>\n		Session 4 (FDSE): Database Modeling and Applications
<\/strong>Chair: Bardia Hamedmohseni<\/td>\n<\/tr>\n
Approximating Weighted Completion Time for Order Scheduling with Setup Times<\/em><\/strong>
<\/em>\u00a0Simon Pukrop, Alexander M\u00e4cker and Friedhelm Meyer Auf der Heide<\/td>\n		Selection of Green Logical Data Warehouse Schema by Anti-Monotonicity Constraint<\/em><\/strong>
Issam Ghabri, Ladjel Bellatreche and Sadok Ben Yahia<\/td>\n<\/tr>\n
Bounds for the Number of Tests in Non-Adaptive Randomized Algorithms for Group Testing<\/em><\/strong>\u00a0<\/strong>
Nader Bshouty, Catherine Haddad-Zaknoon and George Haddad<\/td>\n		Inferring Deterministic Regular Expression with Unorder<\/em><\/strong>
<\/em>\u00a0Xiaofan Wang<\/td>\n<\/tr>\n
Online Scheduling with Machine Cost and a Quadratic Objective Function<\/em><\/strong>
Janos Csirik, Gyorgy Dosa and David Koszo<\/td>\n		Connecting Galaxies: Bridging the Gap between Databases and Applications (short)<\/em><\/strong>
Henrietta Dombrovskaya, Boris Novikov and Jeff Czaplewski<\/td>\n<\/tr>\n
15:30 16:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:00 17:30<\/td>\nSession 5 (FCS): Algorithms on Strings
<\/strong>Chair: Alexandru\u00a0 Popa<\/td>\n		Session 6 (FDSE): Natural Language Processing
<\/strong>Chair: Xavier Eric Ouvrard<\/td>\n<\/tr>\n
Minimal Unique Substrings and Minimal Absent Words in a Sliding Window<\/em><\/strong>\u00a0<\/strong>
Takuya Mieno, Yuki Kuhara, Tooru Akagi, Yuta Fujishige, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai and Masayuki Takeda<\/td>\n		Vietnamese Punctuation Prediction Using Deep Neural Network<\/em><\/strong>
Thuy Pham, Thao Nhu Nguyen, Quang Pham, Ky Han Cao and Binh Thanh Nguyen<\/td>\n<\/tr>\n
Faster STR-EC-LCS Computation<\/em><\/strong>
Kohei Yamada, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai and Masayuki Takeda<\/td>\n		Towards the Named Entity Recognition Methods in Biomedical Field<\/em><\/strong>
Anna \u015aniegula, Aneta Poniszewska-Maranda and \u0141ukasz Chom\u0105tek<\/td>\n<\/tr>\n
Parallel Duel-and-sweep Algorithm for the Order-preserving Pattern Matching<\/em><\/strong>
Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka and Ayumi Shino-hara<\/td>\n		Two-step Memory Networks for Deep Semantic Parsing of Geometry Word Problems (short)<\/em><\/strong>
Ishadi Jayasinghe and Surangika Ranathunga<\/td>\n<\/tr>\n
<\/td>\nAutomatic Text Generation in Slovak Language (short)<\/em><\/strong>
<\/em>Dominik Vasko, Samuel Pec\u00e1r and Mari\u00e1n \u0160imko<\/td>\n<\/tr>\n
18:30-20:00<\/td>\nWelcome Reception<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code module_id=”tue” _builder_version=”3.17.6″]<\/p>\n

Tuesday, January 21<\/h3>\n

<\/p>\n

\n

[\/et_pb_code][et_pb_text _builder_version=”3.17.6″]<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
08:00<\/td>\nRegistration<\/td>\n<\/tr>\n
09:00-10:30<\/td>\nPlenary Session 2:
\nKeynote 2: Ernesto Damiani
\n<\/strong>Certified Machine-Learning Models
\n<\/em>Chair: Herodotos Herodotou<\/td>\n<\/tr>\n
10:30-11:00<\/td>\nCoffee break<\/td>\n<\/tr>\n
11:00-12:30<\/td>\nSession 7(FCS): Parameterized Complexity<\/strong><\/p>\n

Chair: Mathias Weller<\/td>\n

Session SFR1: Foundations of Data Science, Software Engineering, Algorithmic Computational Biology
\n<\/strong>Chair: Theodoros Tzouramanis<\/td>\n<\/tr>\n
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs<\/em><\/strong>
\nNils Morawietz, Niels Gr\u03ccttemeier, Christian Komusiewicz and Frank Sommer<\/td>\n		Early Prediction of Test Case Verdict with Word Embeddings vs. Bag-of-Words <\/em><\/strong>Khaled Al-Sabbagh, Miroslaw Staron, Wilhelm Meding, and Miroslaw Ochodek<\/td>\n<\/tr>\n
Parameterized Dynamic Variants of Red-Blue Dominating Set <\/em><\/strong>Faisal Abu-Khzam, Cristina Bazgan and Henning Fernau<\/td>\nPointNet with Spin Images<\/em><\/strong>
\n<\/strong>Jakub St\u0159elsk\u00fd<\/td>\n<\/tr>\n
Parameterized Complexity of Synthesizing b-bounded (m,n)-T-systems<\/em><\/strong>
\nRonny Tredup<\/td>\n		An Extension of Linear-size Suffix Tries for Parameterized Strings<\/em><\/strong>
\n<\/strong>Katsuhito Nakashima, Diptarama Hendrian, Ryo Yoshinaka and Ayumi Shinohara<\/td>\n<\/tr>\n
 <\/td>\nData-Driven Powertrain Component Aging Prediction Using In-Vehicle Signals <\/em><\/strong>Andreas Sass, Enes Esatbeyoglu, and Till Iwwerks<\/td>\n<\/tr>\n
 <\/td>\nA Graph-Based Tool to Embed the \u03c0-Calculus into a Computational DPO Framework
\n<\/em><\/strong>\u00a0<\/em>Jakob Lykke Andersen, Marc Hellmuth, Daniel Merkle, Nikolai N\u00f8jgaard and Marco Peressotti<\/td>\n<\/tr>\n
12:30-14:00<\/td>\nLunch Break<\/td>\n<\/tr>\n
14:00-15:30<\/td>\nSession 8 (FCS): Approximation Algorithms on Graphs; Crystals; and Qubits<\/strong><\/p>\n

Chair: Henning Fernau<\/td>\n

Session 9 (FACB): Algorithms for Biological Sequences
\n<\/strong>Chair: Riccardo Dondi<\/td>\n<\/tr>\n
Approximating Shortest Connected Graph Transformation for Trees
\n<\/em><\/strong>Nicolas Bousquet and Alice Joffard<\/td>\n		Linearizing Genomes: Exact Methods and Local Search<\/em><\/strong>
\n<\/strong>Tom Davot, Annie Chateau, Rodolphe Giroudeau and Mathias Weller<\/td>\n<\/tr>\n
A Constructive Arboricity Approximation Scheme<\/em><\/strong>
\nMarkus Blumenstock and Frank Fischer<\/td>\n		Fast Indexes for Gapped Pattern Matching<\/em><\/strong>
\n<\/strong>Manuel Caceres, Simon Puglisi and Bella Zhukova<\/td>\n<\/tr>\n
On the Hardness of Energy Minimisation for Crystal Structure Prediction (short) <\/em><\/strong>
\nDuncan Adamson, Argyrios Deligkas, Vladimir V. Gusev and Igor Potapov<\/td>\n		The Maximum Equality-Free String Factorization Problem: Gaps vs. No Gaps<\/em><\/strong> Radu-Stefan Mincu and Alexandru Popa<\/td>\n<\/tr>\n
Practical Implementation of a Quantum Backtracking Algorithm (short)<\/em><\/strong>
\n<\/em>Maxime Remaud and Simon Martiel<\/td>\n		 <\/td>\n<\/tr>\n
15:30-16:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:00-17:30<\/td>\nSession 10 (FCS): Aspects of Transducers, Tree Automata, and Oritatami Systems
\n<\/strong>Chair: tba<\/td>\n		Session 11 (FACB): Biological Networks
\n<\/strong>Chair: Riccardo Dondi<\/td>\n<\/tr>\n
On the Average State Complexity of Partial Derivative Transducers <\/em><\/strong>Stavros Konstantinidis, Ant\u00f3nio Machiavelo, Nelma Moreira and Rog\u00e9rio Reis<\/td>\nScanning Phylogenetic Networks is NP-hard<\/em><\/strong>
\n<\/strong>Vincent Berry, Celine Scornavacca and Mathias Weller<\/td>\n<\/tr>\n
On the Difference Between Finite-State and Pushdown Depth<\/em><\/strong> Liam Jordon and Philippe Moser<\/td>\nA New Heuristic to Find Overlapping Dense Subgraphs in Biological Networks (short)
\n<\/em><\/strong>Mohammad Mehdi Hosseinzadeh<\/td>\n<\/tr>\n
On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching (short)<\/em><\/strong>
\n<\/em>\u0160t\u011bp\u00e1n Plach\u00fd and Jan Janousek<\/td>\n		 <\/td>\n<\/tr>\n
Counting Infinitely by Oritatami Co-transcriptional Folding (short)<\/em><\/strong>
\nKohei Maruyama and Shinnosuke Seki<\/td>\n		 <\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code module_id=”wed” _builder_version=”3.17.6″]<\/p>\n

Wednesday, January 22<\/h3>\n

<\/p>\n

\n

[\/et_pb_code][et_pb_text _builder_version=”3.17.6″]<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
08:30<\/td>\nRegistration<\/td>\n<\/tr>\n
09:00-10:30<\/td>\nPlenary Session 3:
\nKeynote 3: Gunnar Klau
\n<\/strong>Haplotype phasing or deciphering the scrolls from the four schools of Amathus
\n<\/em>Chair: Riccardo Dondi<\/td>\n<\/tr>\n
10:30-11:00<\/td>\nCoffee break<\/td>\n<\/tr>\n
11:00-12:30<\/td>\nSession 12(FDSE): Machine Learning Explanation and Applications
\n<\/strong>Chair: Bogdan Aman<\/td>\n		Session SFR2: Foundations of Computer Science
\n<\/strong>Chair: Theodoros Tzouramanis<\/td>\n<\/tr>\n
Explaining Single Predictions: A Faster Method<\/em><\/strong>
\n<\/strong>Gabriel Ferrettini, Julien Aligon and Chantal Soul\u00e9-Dupuy<\/td>\n		AOBA: An Online Benchmark tool for Algorithms in stringology<\/em><\/strong>
\n<\/strong>Ryu Wakimoto, Satoshi Kobayashi, Yuki Igarashi, Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka and Ayumi Shinohara<\/td>\n<\/tr>\n
Crowd Detection for Drone Safe Landing through Fully-Convolutional Neural Networks<\/em><\/strong>
\n<\/strong>Giovanna Castellano, Ciro Castiello, Corrado Mencar and Gennaro Vessio<\/td>\n		Bit-Layers Text Encoding for Efficient Text Processing<\/em><\/strong>
\nSimone Faro, Domenico Cantone, and Stefano Scafiti<\/td>\n<\/tr>\n
Modelling of the Fake Posting Recognition in On-line Media using Machine Learning (short)<\/em><\/strong>
\nKristina Machova, Gabriela Demkova and Marian Mach<\/td>\n		Fast-Insertion-Sort: a New Family of Efficient Variants of the Insertion-Sort Algorithm<\/em><\/strong>
\nSimone Faro, Stefano Scafiti, and Francesco Pio Marino<\/td>\n<\/tr>\n
 <\/td>\nGrammars and a Random Generator for Deterministic Chain Regular Expressions<\/em><\/strong> Xinyu Chu, Ping Lu, and Haiming Chen<\/td>\n<\/tr>\n
 <\/td>\nHybrid Analysis of BPEL Models with Grammars<\/em><\/strong>
\nErwin de Jager and Stijn de Gouw<\/td>\n<\/tr>\n
 <\/td>\n <\/td>\nExploration of MSC Trees Using Genetic Algorithms<\/strong><\/em>
\nJakub \u0158ada, Tom\u00e1\u0161 Musil, and V\u00edt F\u00e1bera<\/td>\n<\/tr>\n
12:30-14:00<\/td>\n <\/p>\n

Lunch Break<\/td>\n<\/tr>\n

14:00-15:30<\/td>\nPlenary Session 4:
\nKeynote 4: Mikolaj Bojanczyk
\n<\/strong>Polyregular functions<\/em><\/p>\n

Chair: George A. Papadopoulos<\/td>\n<\/tr>\n

16:00-22:00<\/td>\nTour & Conference Dinner<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code module_id=”thu” _builder_version=”3.17.6″]<\/p>\n

Thursday, January 23 <\/h3>\n

<\/p>\n

\n

[\/et_pb_code][et_pb_text _builder_version=”3.17.6″]<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
08:30<\/td>\nRegistration<\/td>\n<\/tr>\n
09:00-10:30<\/td>\nPlenary Session 5:
\nKeynote 5: Elias Koutsoupias
\n<\/strong>Incentive vulnerabilities of proof-of-work blockchains<\/em><\/p>\n

Chair: Yannis Manolopoulos<\/td>\n<\/tr>\n

10:30-11:00<\/td>\nCoffee break<\/td>\n<\/tr>\n
11:00-12:30<\/td>\nSession 13(FCS): Synthesis and Analysis of Programs<\/strong><\/p>\n

Chair: Martin Kutrib<\/td>\n

Session 14 (FSE): Testing and Security Assessment<\/strong><\/p>\n

Chair: Bogdan Aman<\/td>\n<\/tr>\n

On Synthesis of Specifications with Arithmetic<\/em><\/strong>
\nRachel Faran and Orna Kupferman<\/td>\n		Maintainability of automatic acceptance tests for web applications A Case Study Comparing two Approaches to Organizing Code of Test Cases <\/em><\/strong>Aleksander Sadaj, Sylwia Kopczy\u0144ska, Jerzy Nawrocki and Miros\u0142aw Ochodek<\/td>\n<\/tr>\n
Up-to Techniques for Branching Bisimilarity<\/em><\/strong>
\nRick Erkens, Jurriaan Rot and Bas Luttik<\/td>\n		A Light-weight Tool for the Self-Assessment of Security Compliance in Software Development \u2013 An Industry Case<\/em><\/strong>
\n<\/strong>Fabiola Moy\u00f3n, Christoph Bayr, Daniel Mendez, Sebastian D\u00e4nnart and Kristian Beckers<\/td>\n<\/tr>\n
A Calculus for Language Transformations (short)<\/em><\/strong>
\nBenjamin Mourad and Matteo Cimini<\/td>\n		Does Live Regression Testing Help? (short)<\/em><\/strong>
\n<\/strong>Karol R\u00e1sto\u010dn\u00fd and Marek Bruchat\u00fd<\/td>\n<\/tr>\n
12:30-14:00<\/td>\nLunch Break<\/td>\n<\/tr>\n
 <\/p>\n

 <\/p>\n

14:00 – 15:30<\/td>\n

Session 15 (FCS): Games and Influence Spreading in Graphs<\/strong><\/p>\n

Chair: Elias Koutsoupias<\/td>\n

Session 16 (FSE): Good Programming Practices<\/strong><\/p>\n

Chair: Miroslaw Ochodek<\/td>\n<\/tr>\n

A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity<\/em><\/strong>
\n<\/strong>Thomas Erlebach and Jakob Spooner<\/td>\n		Recommending Trips in the Archipelago of Refactorings<\/em><\/strong>
\n<\/strong>Theofanis Vartziotis, Apostolos Zarras, Anastasios Tsimakis and Panos Vassiliadis<\/td>\n<\/tr>\n
Two-player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium (short)<\/em><\/strong>
\nNaoka Fukuzono, Tesshu Hanaka, Hironori Kiya, Hirotaka Ono and Ryogo Ya-maguchi<\/td>\n		String Representations of Java Objects: An Empirical Study<\/em><\/strong>
\n<\/strong>Mat\u00fa\u0161 Sul\u00edr<\/td>\n<\/tr>\n
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs<\/em><\/strong>
\nShahin Kamali, Avery Miller and Kenny Zhang<\/td>\n		Do People Use Naming Conventions in SQL Programming?<\/em><\/strong>
\nAggelos Papamichail, Apostolos Zarras and Panos Vassiliadis<\/td>\n<\/tr>\n
15:30 – 16:00<\/td>\nCoffee Break<\/td>\n<\/tr>\n
16:00 – 17:30<\/td>\nSession 17 (FCS): Spanning, covering and Visualizing Graphs<\/strong><\/p>\n

Chair: Hirotaka Ono<\/td>\n

Session 18 (FSE): Domain-specific Approaches in Software Engineering<\/strong><\/p>\n

Chair: Apostolos Zarras<\/td>\n<\/tr>\n

Simple Distributed Spanners in Dense Congest Networks<\/em><\/strong>
\n<\/strong>Leonid Barenboim and Tzalik Maimon<\/td>\n		Employing Costs in Multiagent Systems with Timed Migration and Timed Communication<\/em><\/strong>
\nBogdan Aman and Gabriel Ciobanu<\/td>\n<\/tr>\n
Computing Directed Steiner Path Covers for Directed Co-Graphs (short)<\/em><\/strong>
\nFrank Gurski, Stefan Hoffmann, Dominique Komander, Carolin Rehs, Jochen Rethmann and Egon Wanke<\/td>\n		A Novel Hybrid Genetic Algorithm for the Two-stage Transportation Problem with Fixed Charges Associated to the Routes<\/em><\/strong>
\nOvidiu Cosma, Petrica Pop and Cosmin Sabo<\/td>\n<\/tr>\n
Simplified Emanation Graphs: A Sparse Plane Spanner with Steiner Points (short)<\/em><\/strong>
\nBardia Hamedmohseni, Zahed Rahmati and Debajyoti Mondal<\/td>\n		A Case Study on a Hybrid Approach to Assessing the Maturity of Requirements Engineering Practices in Agile Projects (REMMA) (short)<\/em><\/strong>
\nMiros\u0142aw Ochodek, Sylwia Kopczy\u0144ska and Jerzy Nawrocki<\/td>\n<\/tr>\n
Simultaneous FPQ-Ordering and Hybrid Planarity Testing (short)<\/em><\/strong>
\n<\/strong>Giuseppe Liotta, Ignaz Rutter and Alessandra Tappini<\/td>\n		<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”3.17.6″][et_pb_column type=”4_4″ _builder_version=”3.17.6″ parallax=”off” parallax_method=”on”][et_pb_code module_id=”fri” _builder_version=”3.17.6″]<\/p>\n

Friday, January 24 <\/h3>\n

<\/p>\n

\n

[\/et_pb_code][et_pb_text _builder_version=”3.17.6″ text_font=”||||||||” text_font_size=”16px” background_color=”#e8e8e8″ custom_padding=”5px||5px|5px”]<\/p>\n

The lecture halls will be reserved for participants to organize thematic meetings around the topics of the conference and discussions on related research problems.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

ProgramDetailed ProgramLast updated: 20 Jan, 2020 08:00 Registration 08:30- 09:00 Opening Session 09:00-10:30 Plenary Session 1: Keynote 1: Erol Gelenbe Machine Learning for Cognitive Network to Optimize QoS, Minimize Energy Consumption and Maximize Security Chair: Apostolos Zarras 10:30-11:00 Coffee break 11:00-12:30 Session 1 (FCS): Context Free Languages and Orderings Chair: Shinnosuke Seki Session 2 (FDSE): […]<\/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\/8"}],"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=8"}],"version-history":[{"count":41,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages\/8\/revisions"}],"predecessor-version":[{"id":682,"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/pages\/8\/revisions\/682"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/sofsem2020\/wp-json\/wp\/v2\/media?parent=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}