9:05

Alexy Márta

Scientific and practical experiences of precision livestock projects - from the start of on-farm research to publication in an interdisciplinary collaboration

9:25

Elek István

Summary of Giwer development

9:45

Molnár Bálint

Formal and semi-formal approaches to the design of high-reliability information system services

10:05

Orosz Tamás

Human centric SAP development and analytics 

10:25

break

10:45

Melinda Tóth, István Bozó

RefactorErl project summary

11:05

Simon Thompson

Trustworthy Refactoring

11:25

Horpácsi Dániel

Interactive proofs in matching logic

11:45

Tejfel Máté

Analysis and refactoring of P4 programs

12:05-13:00

lunch break

13:00

Laki Sándor

Towards more flexible network infrastructures with programmable data planes

13:20

Vörös Péter

Adaptive Network Traffic Reduction with Programmable Data Planes

13:40

Gombos Gergő

Network Quality of Service on big scale

14:00

Varga László

Design and Security of Distributed Autonomous Systems

break

14:40

Thorsten Altenkirch

The Münchhausen method for type theory

15:00

Ambrus Kaposi

Lambda calculus is equal to combinatory logic

15:20

András Kovács

Staged Compilation with Two-Level Type Theory

15:40

Lóczi Lajos

Discretization, approximation and optimalization algorithms