Seminar on Formal Methods and Applications

Formal methods are associated with techniques for describing and analyzing systems with the aim of enhancing their quality. Formal methods comprise fundamental research in computing, based on mathematical theories such as automata theory, logic etc. They have many applications like protocol analysis, web search, program verification, among others.


The Seminar on Formal Methods and Applications (SFMA), established in October 2008 at the Faculty of Organization and Informatics, University of Zagreb, aims to provide a forum for exchange of ideas and experience in the given topics. Occasionally, we also invite external researchers to present their work.