Cím: H-3300 Eger, Eszterházy tér 1.; Postacím: 3301 Eger, Pf.: 43.; Tel.: +36 36 / 520 400

Formális módszerek az informatikában

Utolsó módosítás: 2020. december 01.

Tudományos workshopot szervez online formában november 20-án – a Magyar Tudomány Ünnepének részeként – az Informatikai Kar.


Formális módszerek az informatikában

Időpont: 2020. november 20. 13:30-18:00

A workshopot a Microsoft Teams alkalmazás segítségével tartják.


Program:

13:30 – 13:40 Köszöntő: Juhász Tibor

Plenáris szekció
Chair: Kovásznai Gergely
13:40 – 14:10 Jenei Sándor, Pécsi Tudományegyetem: Algebrai módszerek a szubstrukturális logikák terén
14:10 – 14:40 Vaszil György, Debreceni Egyetem: A reakciórendszerek reverzibilitásáról
14:40 – 15:10 Nagy Benedek, Eastern Mediterranean University: Intervallum-értekű logika és számítások
15:10 – 15:20 Kérdések az előadókhoz

15:20 – 15:30 Szünet

I. szekció
Chair: Kusper Gábor
15:30 – 15:45 Lukács Dániel, Eötvös Loránd Tudományegyetem: Szoftver switch-ek statikus költségelemzése
15:45 – 16:00 Piller Imre, Miskolci Egyetem: Nyelvi értelmezők definiálása átvihető formában
16:00 – 16:15 Buday Gergely, Szent István Egyetem: Indukció Isabelle/HOL-ban
16:15 – 16:30 Tajti Tibor, Eszterházy Károly Egyetem: Short-cut kiértékelés fuzzy logikában
16:30 – 16:40 Kérdések az előadókhoz

16:40 – 16:50 Szünet

II. szekció
Chair: Biró Csaba
16:50 – 17:05 Fazekas Katalin, TU Wien: Formula egyszerűsítő inkrementális SAT szolverek
17:05 – 17:20 Kovásznai Gergely, Eszterházy Károly Egyetem: Szenzorhálózatok optimalizálása formális módszerekkel
17:20 – 17:35 Kusper Gábor, Eszterházy Károly Egyetem: A CSFLOC SAT szolver
17:35 – 17:50 Balla Tamás, Eszterházy Károly Egyetem: BaW 2.0 – probléma specifikus SAT szolver
17:50 – 18:00 Kérdések az előadókhoz

18:00 – A workshop zárása, kötetlen beszélgetés

 


< Vissza