Cím: H-5100 Jászberény, Rákóczi út 53. Tel.: +36 57 / 502 400

FORMÁLIS MÓDSZEREK AZ INFORMATIKÁBAN

Utolsó módosítás: 2020. november 16.

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. 14:00-18:00

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


Program:

  • Jenei Sándor, PTE: Algebrai módszerek a szubstrukturális logikák terén
  • Fazekas Katalin, TUWIEN: Formula egyszerűsítő inkrementális SAT szolverek
  • Kusper Gábor, EKE: A CSFLOC SAT szolver
  • Kovásznai Gergely, EKE: Szenzorhálózatok optimalizálása formális módszerekkel
  • Lukács Dániel, ELTE: Szoftver switch-ek statikus költségelemzése
  • Piller Imre, ME: Nyelvi értelmezők definiálása átvihető formában
  • Balla Tamás, EKE: BaW 2.0 – probléma specifikus SAT szolver
  • Tajti Tibor, EKE: Short-cut kiértékelés fuzzy logikában
  • Biró Csaba, EKE: Kvantum logikai kapuk

További részletek az eseményről: https://mtu2020.uni-eszterhazy.hu/hu/mtu2020/egri-campus/informatikai-kar 


< Vissza