Day 1: June 25 |
08:30 | Registration |
| |
| |
09:00 | Opening |
| | by László Mucsi (dean of Faculty of Science and Informatics) | |
| |
| |
09:15 | Session 1: Artificial Intelligence | | Session 2: Static Analysis |
| | session chair: Márk Jelasity | | | session chair: Judit Jász |
| | (Szőkefalvi-Nagy room) | | | (Vályi room) |
09:15 | | Gergely Pap, Tamás Grósz and László Tóth | Semi-Supervised Training of Cell-Classifier Neural Networks | | | | Péter Gál and Edit Pengő | Primitive Enthusiasm: A Road to Primitive Obsession | |
09:35 | | László Tóth | Preliminary Concepts for Requirements Mining and Classification using Hidden Markov Model | | | | András Kicsi and Viktor Csuvik | Feature Level Metrics Based on Size and Similarity in Software Product Line Adoption | |
09:55 | | Yangyuan Li and Tien Van Do | Long Short-term Memory Recurrent Neural Networks Models to Forecast the Resource Usage of MapReduce Applications | | | | Edit Pengő, Zoltán Ságodi and Ervin Kóbor | Who Are You not gonna Call? A Definitive Comparison of Java Static Call Graph Creator Tools | |
10:15 | | Ádám Budai and Kristóf Csorba | Deep Reinforcement Learning: A Study of the CartPole Problem | | | | Tibor Brunner, Péter Szécsi and Zoltan Porkolab | Bug Path Reduction Strategies for Symbolic Execution | |
| | | |
| 10:35Break |
11:00 | Session 3: Cloud Computing I. | | Session 4: Testing |
| | session chair: Richárd Farkas | | | session chair: Ákos Kiss |
| | (Szőkefalvi-Nagy room) | | | (Vályi room) |
11:00 | | Biswajeeban Mishra | Evaluating Performance of MQTT Brokers | | | | Dániel Lukács, Gergely Pongrácz and Máté Tejfel | Keeping P4 Switches Fast and Fault-free through Automatic Verification | |
11:20 | | Yangyuan Li and Tien Van Do | Regression Models to Predict the Resource Usage of MapReduce Applications | | | | Gabriella Tóth and Máté Tejfel | Axiom-based Property Verification for P4 Programs | |
11:40 | | András Márkus and Attila Kertész | Multi-Cloud Management Strategies for Simulating IoT Applications | | | | Nadera Aljawabrah and Tamás Gergely | Visualization of Test-to-code Relations to Detect Problems of Unit Tests | |
12:00 | | Binh Lam Van Thanh | Should we Ignore the Practical Aspects in Modelling Server Clusters? | | | | Gábor Horváth, Réka Kovács and Péter Szécsi | Towards Proper Differential Analysis of Static Analysis Engine Changes | |
12:20 | | Ádám Belákovics, Arnold Czémán and Imre Szeberényi | Designing and Testing VM Allocation Algorithms for the CIRCLE Cloud Manager | | | | | | |
| | | |
| |
12:20 | Lunch |
| | At the conference site. | |
| |
| |
14:00 | Plenary Talk |
| | (Bolyai room) |
| | Bálint Daróczy | Riemann manifolds and hierarchical structures | |
| |
| 14:50Break |
15:10 | Session 5: Cloud Computing II. | | Session 6: Image Processing I. |
| | session chair: Tamás Vinkó | | | session chair: Gábor Németh |
| | (Szőkefalvi-Nagy room) | | | (Vályi room) |
15:10 | | Andrea Huszti and Norbert Oláh | Identity-Based Cloud Authentication Protocol | | | | Judit Szűcs and Péter Balázs | Strip Constrained Binary Tomography | |
15:30 | | Zoltán Richárd Jánki and Vilmos Bilicki | Full-stack FHIR-based MBaaS with Server- and Client-side Caching Capable WebDAO | | | | Gábor Lékó, Péter Balázs and László Varga | Projection Selection with Sequential Selection Methods using Different Evaluation Measures | |
15:50 | | Zoltán Szabó and Vilmos Bilicki | FHIR-based Healthcare System Backend with Deep Cloud Side Security | | | | Ákos Tóth and Roland Kunkli | An Approximative and Semi-automated Method to Create MPEG-4 Compliant Human Face Models | |
16:10 | | Attila Selmeci and István Orosz. | Software as a Service Operation Model in Cloud Based ERP Systems | | | | Csaba Bálint and Gábor Valasek | Operations on Signed Distance Functions | |
| | | |
| 16:30Break |
16:50 | Session 7: Education | | Session 8: Image Processing II. |
| | session chair: József Dániel Dombi | | | session chair: Péter Balázs |
| | (Szőkefalvi-Nagy room) | | | (Vályi room) |
16:50 | | Sándor Balázs Domonkos and Tamás Németh | Use data mining methods in quality measurement in the education systems | | | | György Kalmár, Alexandra Büki, Gabriella Kékesi, Gyöngyi Horváth and László G. Nyúl | Feature Extraction and Classification for Pupillary Images of Rats | |
17:10 | | Chaman Verma, Veronika Stoffová, Zoltán Illés and Sanjay Dahiya | Gender classification Model of European school student’s towards Computer Learning | | | | Márton Véges and Viktor Varga. | Monocular Estimation of 3D Poses from a Distance | |
17:30 | | Enikő Ilyés | Agile method in education | | | | Viktor Varga and Márton Véges | Exploiting Temporal Context in 2d to 3d Human Pose Regression | |
17:50 | | | | | | | Máté Csákvári and András Sárkány | Towards the Understanding of Object Manipulations by Means of Combining Common Sense Rules and Deep Networks | |
| | | |
| 18:10Free program |
19:00 | Reception |
-21:00 | | At the Rector's Building, ground floor right hall. | |
| |
|
Day 2: June 26 |
09:00 | Registration |
| |
| |
09:15 | Session 9: Optimization |
| | session chair: Boglárka Gazdag-Tóth |
| | (Szőkefalvi-Nagy room) |
09:15 | | Viktor Homolya | Graph-based Analysis of Influence Spread | |
09:35 | | Péter Hudoba and Péter Burcsi | Multi Party Computation Motivated by the Birthday Problem | |
09:55 | | Abigél Mester, Emilia Heinz, Balázs Bánhelyi, Elvira D. Antal, Edit Mikóné Jónás, József Horváth and Tibor Csendes | Decision Support Heuristic for Dairy Farms | |
10:15 | | Zsolt Mihály, Zsombor Sentes and Zoltán Lelkes | Ant Colony Optimization Based Algorithm For Solving Scheduling Problems with Setup Times on Parallel Machines | |
| |
| 10:35Break |
11:00 | Session 10: Algorithms |
| | session chair: Gábor Gosztolya |
| | (Szőkefalvi-Nagy room) |
11:00 | | Ilku Krisztián János and Judit Tamás. | Topology-based Classification Error Calculation based on IndoorGML Document | |
11:20 | | Kitti Gelle and Szabolcs Iván | Lookahead can Help in Maximal Matching | |
11:40 | | Dénes Bartha | Reconstruction of Rooted Directed Trees | |
12:00 | | Dávid Nagy, Tamás Mihálydeák and László Aszalos | Different Types of Search Algorithms for Rough Sets | |
12:20 | | Szabolcs Szekér and Ágnes Vathy-Fogarassy | Measuring the Similarity of two Cohorts in the n-dimensional Space | |
12:40 | | Abrar Hussain and József Dombi | Enhanced Adaptivity Fuzzy Control Using a New Type of Membership Function | |
| |
| |
13:00 | Lunch |
| | At the conference site. | |
| |
| |
14:00 | Plenary Talk |
| | (building of Hungarian Academy of Sciences, Somogyi utca 7.) |
| | Michael Mackey | Understanding, treating and avoiding hematological disease: Better medicine through mathematics? | |
| |
| 14:50Free program |
15:00 | Social Program |
-19:00 | | Visit the ELI-ALPS facility. | |
| |
| |
19:00 | Gala Dinner |
-22:00 | | At the Rector's Building, 2nd floor ceremonial hall. | |
| |
|
Day 3: June 27 |
09:00 | Registration |
| |
| |
09:15 | Session 11: Programming Languages |
| | session chair: Árpád Beszédes |
| | (Szőkefalvi-Nagy room) |
09:15 | | Sándor Bácsi and Gergely Mezei | Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages | |
09:35 | | Zsolt Parragi and Zoltán Porkoláb. | Instantiation Context Aware Types in C++ | |
09:55 | | Norbert Luksa and Tamás Kozsik | Parallelisation of Haskell Programs by Refactoring | |
10:15 | | Péter Gál. | JavaScript-only Parallel Programming of Embedded Systems | |
| |
| 10:35Break |
11:00 | Plenary Talk |
| | (Bolyai room) |
| | Massimiliano Di Penta | Empirical assessment of software engineering research: Pitfalls and solutions | |
| |
| 11:50Break |
12:00 | Session 12: Evaluation |
| | session chair: Zoltán Gingl |
| | (Szőkefalvi-Nagy room) |
12:00 | | Tibor Kovács, Gábor Simon and Gergely Mezei | Benchmarking Graph Database Backends: What Works Well with Wikidata? | |
12:20 | | Róbert Adrian Rill and Kinga Bettina Farago | Gaze-based Cursor Control Impairs Performance in Divided Attention | |
12:40 | | Zsombor Paróczi | LZ Based Compression Benchmark on PE Files | |
| |
| |
13:00 | Lunch |
| | At the conference site. | |
| |
| |
14:00 | Session 13: Business Process |
| | session chair: András London |
| | (Szőkefalvi-Nagy room) |
14:00 | | Dora Mattyasovszky-Philipp and Bálint Molnár | Cognitive Enterprise and Cognitive Information Systems | |
14:20 | | Khawla Bouafia and Bálint Molnár | Dynamic Business Process: Comparative Models and Workflow Patterns | |
14:40 | | László Pusztai, Balázs Kocsi, István Budai and Lajos Nagy | Industrial Process Modelling with Operations Research Method | |
| |
| |
15:00 | Closing |
| | by László G. Nyúl (head of Institute of Informatics, University of Szeged) | |
| |
|