2023. április 18., kedd 14 óra, földszint, 114-es terem
Zsűritagok:
Dr. Csendes Tibor SZTE - zsűrielnök
Dr. Takács Márta, ÓE
Dr. Hegyháti Máté, SOE
Dr. Szabó László Ferenc, ELTE
Győrfi Ágnes - tagozati titkár
Tuef Zsuzsanna - moderátor
Pályamunkák
| Sorszám | Szerzők | Pályamunka | Intézmény | Konzulens tanárok |
| 1 | Ádám Zsófia | Absztrakció-alapú trace generálás formális verifikációs eszközök szemantikájának validációjára | BME - VIK | Dr. Micskei Zoltán (egyetemi docens) |
| 2 | Bajczi Levente | Ellenpélda-alapú absztrakció finomítás alkalmazásai párhuzamos programokon | BME - VIK | Dr. Molnár Vince (egyetemi adjunktus) |
| 3 | Gyarmati László | Kvázi-független csoportok összefűzése páros összehasonlítási módszerekkel néhány összekapcsoló információ segítségével | PE - MIK | Dr. Mihálykóné Dr. Orbán Éva (egyetemi docens) |
| 4 | Ipkovich Ádám | Non-negative Matrix Factorization for Many-objective Decision Support | PE - MK | Dörgő Gyula (Senior üzleti modellező specialista), Dr. Abonyi János (egyetemi tanár) |
| SZÜNET | ||||
| 5 | Jámbor Zsanett | Bilineáris leképezés alkalmazása | DE - IK | Dr. Bertók Csanád (egyetemi adjunktus), Dr. Pintér-Huszti Andrea (egyetemi docens) |
| 6 | Kiss Dorina Hedvig | Kvantált neurális hálók implemetálása formális verifikáció céljából | EKKE - IK | Dr. Kovásznai Gergely (tanszékvezető, egyetemi docens) |
| 7 | Telbisz Csanád Ferenc | Részleges rendezés redukció többszálú programok absztrakcióalapú formális verifikációjának támogatásához | BME - VIK | Bajczi Levente (doktorandusz), Dr. Vörös András (egyetemi docens), Szekeres Dániel (doktorandusz) |
| 8 | Zászlós Márton György | Matching Logic Proof System in Coq | ELTE - IK | Dr. Horpácsi Dániel (egyetemi adjunktus) |
2023. április 16-19. Marosvásárhely
