Formal Methods and Verification Research Group
EKF

Conferences

Currently we write papers for ICAI 2014

The conference is oriented toward professional exchange of ideas in the field of Applied Informatics. The goal of the conference is to provide a forum for discussion of academic research. The location of the conference offers a unique atmosphere of an old medieval city in conjunction with Hungarian hospitality.

Read more from official EKF ICAI home page . . .