Workshop 2023. február 18.
Workshop
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 |
|
10:25 |
break |
|
10:45 |
Melinda Tóth, István Bozó |
|
11:05 |
Simon Thompson |
Trustworthy Refactoring |
11:25 |
Horpácsi Dániel |
|
11:45 |
Tejfel Máté |
|
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ő |
|
14:00 |
Varga László |
|
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 |
|
15:40 |
Lóczi Lajos |