Program

2020. január 16. csütörtök

16:00-16:10

Horváth Zoltán

Workshop introduction-welcome and meeting objectives

16:10-16:30

Lőrincz András

Tools for Solving the Core Problem of Human-Machine Interaction

16:30-16:50

Kristian Fenech

Progress on skin lesion classification

16:50-17:10

Somfai Ellák

Tumor segmentation from MRI images

17:10-17:30

kávészünet

17:30-17:50

István Elek

Development of GeoImage Workflow Editing Resources

17:50-18:10

Török Zsolt Győző

Facing North: Learned Components of Spatial Orientation in Environmental Space

18:10-18:30

Albert Gáspár

Erosion protection and soil monitoring with precision terrain modeling

18:30-18:50

Kaposi Ambrus

Inductive types and free algebras

2020. január 17. péntek

9:00-9:20

Csetverikov Dmitrij

Industrial quality control: Automatic detection of defective labels

9:20-9:40

Andó Mátyás

Transformation to Digital Industry

9:40-10:00

Varga László Zsolt

Evaluating Routing Models for Autonomous Vehicles

10:00-10:20

kávészünet

10:20-10:40

Kovács Attila

Reliability and Quality

10:40-11:00

Ligeti Péter

Hierarchical secret sharing and finite geometry

11:00-11:20

Jordán Tibor

Mathematics and optimization: results and research directions

11:20-11:40

Király Tamás

Scheduling with resource constraints and coincidence constraints

11:40-12:00

Szeghy Dávid

Multiple view geometry

12:00-12:20

Fekete Imre

Adaptive time integration in residual networks

13:00-14:00

ebéd

14:00-14:20

Tóthmérész Lilla

Meeting points with the secret sharing community

14:20-14:40

Molnár Bálint-Tarcsi Ádám

Reliability of (Business/Enterprise) Information Systems

14:40-15:00

Melinda Tóth

RefactorErl - Towards secure coding in Erlang

15:00-15:20

István Bozó

Distributed process model for Erlang

15:20-15:40

kávészünet

15:40-16:00

Simon Thompson

HARP: Trusted Refactoring

16:00-16:20

Horpácsi Dániel

Towards a Proof Assistant Based Formalisation of Erlang

16:20-16:40

Marinus Jacobus Plasmeijer              

Lazy Interworking of Compiled and Interpreted Code for Sandboxing and Distributed Systems

16:40-17:00

Anna Reale

Multiclouds: managing service exposure in 5G Edge

17:00-17:20

Gombos Gergő

The Buffer Sizing Problem - the Good, the Bad and the PPV

17:20-17:40

kávészünet

17:40-18:00

Laki Sándor

Core-stateless QoS revisited in the era of softwarized networks

18:00-18:20

Vörös Péter

The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes

2020. január 18. szombat

8:00-10:00

Discussions on workplans 31 Jan-31 May//working groups