Workshop on Application Domain Specific Highly Reliable IT Solutions

2020.02.25.
Workshop on Application Domain Specific Highly Reliable IT Solutions

 

National Excellence Program, Industry and Digitalisation                       

Interim Progress Reports

2020. január 16-18. Zamárdi

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

Előadások és előadók

Előadások és előadók

0

/

0

0

/

0