Friday
(registration: 9:30-9:50)
- 10:00-10:45 Byrski: invited talk
- 10:45-11:05 Horpácsi: Asynchronous Extern Functions in Programmable Software Data Planes
- 11:05-11:25 Kamel: A Secure NAT Traversal Approach for Constrained IoT
(coffee break)
- 12:00-12:20 Soós, Majkut: Differential privacy-based anonimization using k-anonimity
- 12:20-12:40 Gyarmati: On secret sharing on graphs of small girth
- 12:40-13:00 Futóné Papp: Towards Detecting Trigger-based Behavior In Binaries: Uncovering the Correct Environment
- 13:00-13:20 Bak: Clustering IoT Malware Samples based on Binary Similarity
(lunch)
- 14:30-15:15 Turek: invited talk
- 15:15-15:35 Maidics: Automatic big data SQL execution engine selection based on machine learning
- 15:35-15:55 Poór: Refactorings towards an efficient functional code
(coffee break)
- 16:30-16:50 Thompson: A language-independent framework for refactoring
- 16:50-17:10 Takáts, Ligeti: Finite geometry constructions in secret sharing
- 17:10-17:30 Bereczky: Towards a Proof-Assistant-Based Formalization of Erlang
- 17:30-17:50 Kaposi: Canonicity from injectivity
(dinner)
Saturday
- 10:00-10:45 Popov : invited talk
- 10:45-11:05 Földvári: Machine Learning Supported System Identification for CPS Control
- 11:05-11:25 Kilián: Applying Graph-Based Qualitative Abstraction in Machine Learning Systems
(coffee break)
- 12:00-12:20 Németh: Towards Mechanically Verified Refactorings
- 12:20-12:40 Dobos-Kovács: Formal verification driven test generation
- 12:40-13:00 Boros: Towards a Proof System for Mechanically Verified Refactorings
- 13:00-13:20 Erdenebat: Adoption of cloud and containerization technology in Mongolia
- 13:20-13:30 Closing
(lunch)
R+D+I-management workshop: patenting and IPR
(14:30-16:00)
- Rátai: Your idea can be worth millions! (How can you protect your intellectual property?)
- Lazányi: Software-related IPR
- Hosszú: Supporting innovation at ELTE
(dinner)